Es sei R {\displaystyle {}R} ein kommutativer Ring und n R {\displaystyle {}n_{R}} das Nilideal von R {\displaystyle {}R} , das aus allen nilpotenten Elementen von R {\displaystyle {}R} besteht. Dann nennt man den Restklassenring R / n R {\displaystyle {}R/n_{R}} die Reduktion von R {\displaystyle {}R} .
