Gruppentheorie/Isomorphiesatz für Restklassengruppen/Fakt

Aus Wikiversity

Es 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