Kommutativer Ring/Ideal/Restklassenring/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein kommutativer Ring, ein Ideal und die Quotientenmenge zur durch definierten Äquivalenzrelation auf mit der kanonischen Projektion

Dann gibt es eine eindeutig bestimmte Ringstruktur auf derart, dass ein Ringhomomorphismus ist.

Zum Beweis, Alternativen Beweis erstellen