Gruppentheorie/Isomorphiesatz für Restklassengruppen/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei eine Gruppe und ein Normalteiler mit der Restklassengruppe . Es sei ein weiterer Normalteiler in , der umfasst.

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

Zum Beweis, Alternativen Beweis erstellen