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