Kommutative Gruppe/Verträgliche Äquivalenzrelation/Untergruppe/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine kommutative Gruppe und eine Äquivalenzrelation auf . Zeige, dass genau dann mit der Verknüpfung verträglich ist, wenn es eine Untergruppe derart gibt, dass genau dann gilt, wenn

ist.