Ein kommutativer Ring R {\displaystyle {}R} heißt lokal, wenn die Nichteinheiten von R {\displaystyle {}R} ein Ideal bilden.
