Über die Permutationsgruppe der natürlichen Zahlenfolge. (Q2624364)

Die Verf. untersuchen die Gruppe \(S_{\infty }\) der eineindeutigen Abbildung \(f(n)\) der natürlichen Zahlenreihe auf sich; der erste Teil der Arbeit beschäftigt sich mit der Kompositionsreihe, der zweite mit der Erzeugung von \(S_{\infty }\). Bezeichnet \(S\) die Gruppe der ``endlichen'' Permutationen, bei denen nur endlich oft \(f(n)\neq n\) ist, and \(A\) die Gruppe der ``endlichen'' geraden Permutationen, \(E\) die identische Permutation, so ist \[ S_{\infty }\supset S\supset A\supset E \] die einzige \textit{Jordan-Hölder}sche Kompositionsreihe von \(S_{\infty }\). Führt man als Abstand von \(f(n)\) und \(g(n)\) die Zahl \[ \sum _{n=1}^{\infty } 2^{-n}\biggl ( \frac {|f(n)-g(n)|}{1+|f(n)-g(n)|}+ \frac {|f^{-1}(n)-g^{-1}(n)|}{1+|f^{-1}(n)-g^{-1}(n)|}\biggr ) \] ein, so enthält \(S\) eine überall dichte Untergruppe, die durch drei Elemente erzeugt wird. Vgl. auch die Besprechung einer C. R.-Note der Verf. in F. d. M. \(59_{\text{I}}\), 152.