Zum Inhalt springen

Gruppentheorie/Isomorphiesatz für Restklassengruppen/Fakt/Beweis

Aus Wikiversity
Beweis

Für die erste Aussage siehe Aufgabe. Damit ist die Restklassengruppe wohldefiniert. Wir betrachten die Komposition

Wegen

ist . Daher ergibt Fakt die kanonische Isomorphie