Kommutative Ringtheorie/Maximales Ideal/Primideal/Fakt

Es sei ${}R$ ein kommutativer Ring und ${}{\mathfrak {m}}$ ein maximales Ideal in ${}R$.

Dann ist ${}{\mathfrak {m}}$ ein Primideal.

Zum Beweis, Alternativen Beweis erstellen