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\notin F$  ist und wenn $F$ maximal mit dieser Eigenschaft ist.