On regular subgroups in \(\operatorname{Lim}(N) \) (Q6610187)

Let \(S(\mathbb{N})\) be the symmetric group on the natural numbers. The authors define a permutation \(g\in S(\mathbb{N})\) to be limited (often called bounded) if \(\omega (g):= \max_{\alpha \in \mathbb{N}}\left\vert \alpha -\alpha ^{g}\right\vert \) is finite. The set \(\mathrm{Lim}(\mathbb{N)}\) of all limited permutations is a subgroup of \(S(\mathbb{N})\) and contains the finitary group \(\mathrm{Lim}(\mathbb{N})\) consisting of all permutations with finite support. The authors are interested in the regular subgroups of \(\mathrm{Lim}(\mathbb{N})\) and prove the following.\N\NTheorem 1. If \(H\) is a regular subgroup of \(\mathrm{Lim}(\mathbb{N})\) and is not periodic then \(H\) is a finite extension of an infinite cyclic group; if, moreover, \(H\) is torsion-free then \(H\) is cyclic. (Theorem 2) Every countable locally finite group is isomorphic to a regular subgroup of \(\mathrm{Lim}(\mathbb{N})\). The authors conjecture that, conversely, every periodic regular subgroup of \(\mathrm{Lim}(\mathbb{N})\) is locally finite, but this remains open.