Es sei R{\displaystyle {}R} ein kommutativer Ring und m{\displaystyle {}{\mathfrak {m}}} ein maximales Ideal in R{\displaystyle {}R}.
Dann ist m{\displaystyle {}{\mathfrak {m}}} ein Primideal.