\(N\)-barely transitive permutation groups (Q6040796)

Let \(G\ \)be a group which acts faithfully and transitively on an infinite set \(\Omega \). Then Hartley defines \(G\ \)to be barely transitive (BT) if all orbits of each proper subgroup of \(G\) are finite (see [\textit{B. Hartley}, Proc. Camb. Philos. Soc. 74, 11--15 (1973; Zbl 0264.20031); \textit{M. Kuzucuoğlu}, Arch. Math. 55, No. 6, 521--532 (1990; Zbl 0694.20004)]). In the present paper, the authors define a wider class of groups: \(G\) is \(N\)-barely transitive (NBT) if each proper normal subgroup of \(G \) has all its orbits finite. More generally, an infinite abstract group \(G\) is said to be NBT if \(G\) has a subgroup \(H\) such that \(\mathrm{Core}_{G}(H)=1\) and \( \left\vert N\cap H\right\vert \) is finite for each proper normal subgroup \(N\) (consider the natural action of \(G\ \)on the set of \(H\)-cosets with \(H\) as a point stabilizer). Here are some examples of the results. Suppose that \(G\) is a non-perfect NBT-group with stabilizer \(H\), then: \begin{itemize} \item[(i)] \(G\) is locally finite with \( G/G^{\prime }\cong C_{p^{\infty }}\) for some prime \(p\); \item[(ii)] \(\left\vert G:H\right\vert \) is countably infinite; \item[(iii)] if \(H\) is soluble of length \(d\), then \(G\) is soluble of length \(\leq d+1\); and \item[(iv)] \(G\) is a BT-group if and only if each pair of proper subgroups of \(G\) generate a proper subgroup of \(G\). \end{itemize} On the other hand, if \(G\) is a perfect NBT-group and \(G\) is locally nilpotent, then \(G\) is a locally finite Fitting \(p\)-group for some prime \(p\). Conversely: \begin{itemize} \item[(i)] if \(G\) is an NBT-group which is a finitary permutation group, then \(G\) is perfect; and \item[(ii)] for each prime \(p\) there exists a perfect NBT-\(p\)-group which is finitary but not a BT-group. \end{itemize}