A nonsoluble residually finite, locally finite group with a full prime-support Sylow basis
Year: 2026
Type: preprint
Abstract: We construct a countable residually finite, locally finite group \(G\) containing \(\operatorname{Sym}(5)\) and Sylow subgroups \(P_2,P_3,P_5\) such that \(G=\langle P_2,P_3,P_5\rangle\) and \(\langle P_p,P_q\rangle\) is a \(\{p,q\}\)-group whenever \(p\ne q\). Thus \(G\) has a full Sylow basis in Golberg's prime-support sense, although it is not locally soluble. The construction uses finite regular wreath products. A coordinate subgroup enlarges one selected \(p\)-subgroup while preserving the prime supports and intersections of the three pair joins; an element outside the selected subgroup then produces an element of another prime order. Iteration makes the three limit subgroups maximal. The construction and its stated properties are formalised in Lean 4.
Author: Jayadevan, Achyuth
Institution: Manipal Academy of Higher Education
Language: English
Topic: Finite Group Theory Research
Subfield: Discrete Mathematics and Combinatorics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7212377643
Cites:
Cited by:
Related to: