Ein kommutativer Ring R {\displaystyle {}R} heißt lokal, wenn R {\displaystyle {}R} genau ein maximales Ideal besitzt.
