Gruppe/Kommutativ/Restklassengruppe/Fakt

Es sei eine kommutative Gruppe, eine Untergruppe und die Quotientenmenge zur durch definierten Äquivalenzrelation auf mit der kanonischen Projektion

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