Endliche Permutation/Ordnung/KgV Ordnung bzgl. Elementen/Aufgabe

Sei ${}M$ eine endliche Menge und sei ${}\sigma$ eine Permutation auf ${}M$ und ${}x\in M$. Zeige, dass ${}{\left\{n\in \mathbb {Z} \mid \sigma ^{n}(x)=x\right\}}$ eine Untergruppe von ${}\mathbb {Z}$ ist. Den eindeutig bestimmten nichtnegativen Erzeuger dieser Untergruppe bezeichnen wir mit ${}\operatorname {ord} _{x}{\sigma }$. Zeige die Beziehung

${}\operatorname {ord} \,(\sigma )=\operatorname {kgV} {\left\{\operatorname {ord} _{x}{\sigma }\mid x\in M\right\}}\,.$

Eine Lösung erstellen