Zum Inhalt springen

Permutationen/Zyklendarstellung/Fakt/Beweis

Aus Wikiversity
Beweis

Es sei die Fixpunktmenge von und es seien diejenigen Teilmengen von mit mindestens zwei Elementen derart, dass die Elemente aus jedem zyklisch vertauscht. Dann ist die disjunkte Vereinigung aus und den . Zu , , sei der Zykel auf , der auf die Identität ist und auf mit übereinstimmt. Wir behaupten

Um dies einzusehen, sei beliebig. Bei ist ein Fixpunkt für alle und daher kommt links und rechts wieder raus. Es sei also kein Fixpunkt der Permutation. Dann gehört für genau ein . Für alle ist ein Fixpunkt von . Da

ebenfalls zu gehört, ist auch ein Fixpunkt von für alle . Wendet man daher die rechte Seite auf an, so wird auf abgebildet bis man zu kommt. Dieses bildet auf ab und die folgenden bilden auf ab, sodass die rechte Seite insgesamt auf schickt und daher mit übereinstimmt.