Es sei R {\displaystyle {}R} ein kommutativer Ring und sei a {\displaystyle {}{\mathfrak {a}}} ein Ideal mit dem Restklassenring