Gruppe/Normalteiler/Restklassengruppe/Fakt
Es sei eine Gruppe und ein Normalteiler. Es sei die Menge der Nebenklassen (die Quotientenmenge) und
Dann gibt es eine eindeutig bestimmte Gruppenstruktur auf derart, dass ein Gruppenhomomorphismus ist.
Es sei eine
Gruppe
und
ein
Normalteiler. Es sei
die Menge der
Nebenklassen
(die Quotientenmenge)
und
Dann gibt es eine eindeutig bestimmte Gruppenstruktur auf derart, dass
ein
Gruppenhomomorphismus
ist.