Gruppentheorie/Kommutativ/Äquivalenz zu Untergruppe/Eigenschaften/Fakt
Erscheinungsbild
Es sei eine kommutative Gruppe, eine Untergruppe und die durch auf definierte Relation.
Dann liegt eine Äquivalenzrelation vor, und die Äquivalenzklasse zu ist gerade .