Gruppentheorie/Isomorphiesatz für Restklassengruppen/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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

Zur bewiesenen Aussage