Kommutative Ringtheorie/Multiplikative Systeme/Ultrafilter/Definition

Ultrafilter

Es sei ${}R$ ein kommutativer Ring. Ein multiplikatives System ${}F\subseteq R$ nennt man einen Ultrafilter, wenn ${}0\not \in F$ ist und wenn ${}F$ maximal mit dieser Eigenschaft ist.