Kommutative Ringtheorie/Isomorphiesatz für Restklassenringe/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein kommutativer Ring und ein Ideal in mit dem Restklassenring . Es sei ein weiteres Ideal in , das umfasst.

Dann ist das Bild von in ein Ideal und es gilt die kanonische Isomorphie

Einen Beweis erstellen