Zu einem kommutativen lokalen Ring R {\displaystyle {}R} nennt man den Restklassenkörper R / m {\displaystyle {}R/{\mathfrak {m}}} zum einzigen maximalen Ideal m {\displaystyle {}{\mathfrak {m}}} von R {\displaystyle {}R} den Restekörper von R {\displaystyle {}R} .
