Kommutativer Ring/Ideal/Restklassenring/Fakt/Beweis

Beweis

Nach Fakt gibt es nur eine Gruppenstruktur auf ${}R/{\mathfrak {a}}$ derart, dass die kanonische Abbildung ein Gruppenhomomorphismus ist. Da ein Ringhomomorphismus insbesondere ein Gruppenhomomorphismus bezüglich der Addition ist, ist dies die einzige additive Struktur, die in Frage kommt.

Da die kanonische Abbildung die Multiplikation respektieren soll, kommt nur ${}{\overline {1}}\,$ als neutrales Element der Multiplikation und

${}{\overline {a}}\,{\overline {b}}\,={\overline {ab}}\,\,$

als Multiplikation in Frage. Wir müssen zeigen, dass diese Multiplikation wohldefiniert ist. Es seien zwei Restklassen mit unterschiedlichen Repräsentanten gegeben, also ${}{\overline {a}}\,={\overline {a'}}\,$ und ${}{\overline {b}}\,={\overline {b'}}\,$. Dann ist ${}a-a'\in {\mathfrak {a}}$ und ${}b-b'\in {\mathfrak {a}}$ bzw. ${}a'=a+x$ und ${}b'=b+y$ mit ${}x,y\in {\mathfrak {a}}$. Daraus ergibt sich

${}a'b'=(a+x)(b+y)=ab+ay+xb+xy\,.$

Die drei hinteren Summanden gehören zum Ideal, so dass die Differenz ${}a'b'-ab\in {\mathfrak {a}}$ ist.

Aus der Wohldefiniertheit folgen die anderen Eigenschaften und insbesondere, dass ein Ringhomomorphismus in den Restklassenring vorliegt.

Zur bewiesenen Aussage