Gruppe/Normalteiler/Restklassengruppe/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei eine Gruppe und ein Normalteiler. Es sei die Menge der Nebenklassen (die Quotientenmenge) und

die kanonische Projektion.

Dann gibt es eine eindeutig bestimmte Gruppenstruktur auf derart, dass ein Gruppenhomomorphismus ist.

Zum Beweis, Alternativen Beweis erstellen