Über die Ordnung einer Permutation. (Q2624308)

Es seien \(m\) und \(n\) natürliche Zahlen, \(m>1, m|n\), ferner \(A_0, A_1,\dots A_{n-1}\) beliebige Elemente, die nach folgender Vorschrift permutiert werden: Man schiebe zwischen je zwei Elemente \(A_j, A_{j+1}\) \(\left (j=0,1,\dots, {\frac {n}{m}} -1\right )\) die Elemente \[ A_{i{\frac {n}{m}}+j}\qquad (i=1,2,\dots m-1) \] ein. Wiederholt man dies Verfahren bei der neuen Reihenfolge der Elemente und färt so fort, so kommt man, da es nur endlich viele Permutationen von \(n\) Elementen gibt, nach endlich vielen Schritten zur Ausgangsanordnung zurük. Verf. zeigen, daß für \(n=m^{\alpha }\) die Ordnung der genannten Permutation gleich \(\alpha \) ist. In einem Anhang zeigt \textit{H. Nakano} allgemein, daß die Ordnung der Permutation gleich dem Exponenten ist, zu dem \(m\;\text{mod}\;(n-1)\) gehört.