Gruppenoperation/Gruppenverknüpfung/Untergruppe/Beispiel

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei eine Gruppe und eine Untergruppe. Dann liefert die Verknüpfung

eine

Gruppenoperation von auf . Die Bahnen dieser Operation stimmen mit den Rechtsnebenklassen zu dieser Untergruppe überein. Wenn endlich ist, so sind die Bahnen (nach dem Beweis zu Fakt) alle gleichmächtig, was bei einer beliebigen Gruppenoperation keineswegs der Fall sein muss.