Der Satz über die algebraische Struktur der Restklassenringe R / a {\displaystyle {}R/{\mathfrak {a}}} zu einem Ideal a ⊆ R {\displaystyle {}{\mathfrak {a}}\subseteq R} in einem kommutativen Ring R {\displaystyle {}R} .