Sur le groupe des permutations de la suite des nombres naturels. (Q2622705)

Die Gesamtheit der Transformationen \(f(n)\), die die Menge der natürlichen Zahlen eineindeutig auf sich selbst abbilden, bildet eine Gruppe \(\mathfrak {S}_\infty \), die als eine Verallgemeinerung der symmetrischen Gruppe angesehen werden kann. Jede abzählbare Gruppe ist einer Untergruppe von \(\mathfrak {S}_\infty \) isomorph. - \(\mathfrak {S}_\infty \) enthält nur zwei invariante Untergruppen, die Gruppe \(\mathfrak {S}\) aller Permutationen \(f\), für die \(f(n) = n\) für genügend großes \(n\) und die der alternierenden Gruppe entsprechende Untergruppe \(\mathfrak {P} \subset \mathfrak {S}\), die aus allen geraden Permutationen der Elemente besteht, für die \(f(n) \neq n\) ist. Die Kompositionsreihe sieht also anders aus als für die endliche symmetrische Gruppe. - Man kann durch drei Elemente von \(\mathfrak {S}_\infty \) eine Gruppe \(\Pi \) erzeugen, die folgende Eigenschaft hat: Wenn \( f \subset \mathfrak {S}_\infty \), dann gibt es für festes \(k\) immer ein \( g \subset \Pi \), so daß \(f(i) = g(i)\) für jedes \(i \leqq k\). Die Beweise der Sätze sollen an andrer Stelle veröffentlicht werden. Permutationsgruppen von abzählbar vielen Elementen sind übrigens - allerdings mit anderm Ziel - schon von \textit{L. Onofri} (1927, 1928; F. d. M. 53, 110 (JFM 53.0110.*); 54, 151) untersucht worden.