Gruppe/Operation/Fundamentalbereich/Untergruppe/Aufgabe
Erscheinungsbild
Es sei eine Gruppe, die auf einer Menge operiert und sei ein Fundamentalbereich für diese Operation. Es sei eine Untergruppe und sei ein Repräsentantensystem für die Nebenklassen . Zeige, dass
ein Fundamentalbereich der auf eingeschränkten Operation auf ist.