Gruppentheorie/Kommutativ/Äquivalenz zu Untergruppe/Eigenschaften/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine kommutative Gruppe, eine Untergruppe und die durch auf definierte Relation.

Dann liegt eine Äquivalenzrelation vor, und die Äquivalenzklasse zu ist gerade .

Zum Beweis, Alternativen Beweis erstellen