zbMATH — the first resource for mathematics

Non-simplicity of locally finite barely transitive groups. (English) Zbl 0904.20031
Let \(\Omega\) be an infinite set. The authors consider locally finite, transitive subgroups \(G\) of the full symmetric group \(\text{Sym}(\Omega)\) with the property that every orbit of every proper subgroup of \(G\) is finite. Firstly, the authors prove that such a group \(G\) cannot be simple. Secondly, they prove that if such a \(G\) is also a finitary subgroup of \(\text{Sym}(\Omega)\), then \(G\) is a minimal non-FC, \(p\)-group for some prime \(p\). Thirdly, in the latter case, \(G\) cannot be generated by countably many elements of order \(p\). Finally, given such a \(G\), if the stabilizer of a point is Abelian, then \(G\) is a meta-Abelian \(p\)-group for some prime \(p\) with \(G/G'\) a Prüfer group and \(G'\) elementary Abelian.

20F50 Periodic groups; locally finite groups
20B07 General theory for infinite permutation groups
20F24 FC-groups and their generalizations
20E07 Subgroup theorems; subgroup growth
PDF BibTeX Cite
Full Text: DOI
[1] Hartley, Algebra i Logika 13 pp 589– (1974) · Zbl 0319.20052
[2] DOI: 10.1017/S0305004100036379
[3] Belyaev, Algebra i Logika 32 pp 17– (1992)
[4] DOI: 10.1007/BF02261729 · Zbl 0819.20021
[5] DOI: 10.1017/S0305004100047721
[6] DOI: 10.1007/BF01191686 · Zbl 0694.20004
[7] Kuzucuoğlu, Rend. Sent. Mat. Univ. Padova 92 pp 79– (1994)
[8] DOI: 10.1112/plms/s3-62.2.301 · Zbl 0682.20020
[9] Kuzucuoğlu, Math. Proc. Cambridge Philos. Soc. 105 pp 417– (1989) · Zbl 0686.20034
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.