On a certain infinite permutation group (Q1813657)

Let \(g\) be an element of infinite order in a group \(G\), and let \(C^*_ G(g)\) be the union of the centralizers \(C_ G(g^ m)\) for each \(m>0\). Similarly, let \(N^*_ G(g)\) be the set of elements \(t\) such that \(t^{-1}g^ mt=g^ n\) for some nonzero integers \(m,n\). Then both \(C^*_ G(g)\) and \(N^*_ G(g)\) are groups called the approximate centralizer or the approximate normalizer of \(\langle g\rangle\), respectively. In the paper under review, the group \(C^*_ S(\rho)\) is considered, where \(S\) is the symmetric group on a countably infinite set \(\Omega\), and \(\rho\) is a permutation of \(\Omega\) with an infinity of infinite cycles and no finite cycles, and it is proved that the group has the series \(1<K<L<M<C^*_ S(\rho)\) of normal subgroups such that (i) \(K\) is contained in every nontrivial normal subgroup of \(C^*_ S(\rho)\), and is countable, simple, and locally abelian-by-finite; (ii) \(M\) contains every proper normal subgroup of \(C^*_ S(\rho)\), so that \(C^*_ S(\rho)/M\) is simple, and \(C^*_ S(\rho)/M\) has the power of the continuum and a subgroup isomorphic to \(S/S_ 0\), where \(S_ 0\) is the group of permutations with finite support; (iii) \(M/K\) is a torsion free abelian group; (iv) \(L/K\) is the maximum divisible subgroup of \(M/K\) and has the power of the continuum; and (v) \(M/L\) is isomorphic to \(\hat\mathbb{Z}\), the profinite completion of the infinite cyclic group \(\mathbb{Z}\), and is central in \(C^*_ S(\rho)/L\). Some facts concerning the group \(N^*_ S(\rho)\) including two conjectures on it are added at the end of the paper.