Gruppenoperation/Gruppenverknüpfung/Untergruppe/Beispiel

Es 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.