Generalized Hall subgroups in soluble groups of finite Morley rank (Q5925800)

In this fairly technical paper, the author generalizes the Hall theory for \(\omega\)-stable groups of \textit{T. Altınel, G. Cherlin, L.-J. Corredor} and \textit{A. Nesin} [J. Lond. Math. Soc., II. Ser. 57, No. 2, 385-397 (1998; Zbl 0922.20042)] to include elements of infinite order. He also enlarges the class of groups under consideration: rather than working with definable subgroups and sections, he considers definable-by-(locally finite) ones. (One should note that elsewhere he has used the less cumbersome term ``locally closed'' instead.) If \({\mathcal P}^+\) denotes the set of primes together with \(\infty\) and \(\pi\subseteq{\mathcal P}^+\), put \(\pi^\perp={\mathcal P}^+-\pi\); if \(K\) is a definable-by-(locally finite) subgroup of a group \(G\) of finite Morley rank, \(\overline x\in N_G(K)\) and \(d(x)\) is the smallest definable subgroup of \(G\) containing \(x\), then \(\overline x\) is a \(\pi\)-element if \(d(x)K/K\) does not contain a \(p\)-element for all \(p\in\pi^\perp\). A \(\pi\)-subgroup is one consisting only of \(\pi\)-elements, and a Hall \(\pi\)-subgroup is a maximal \(\pi\)-subgroup; one notes that for \(\pi\subseteq{\mathcal P}\) we obtain the classical definitions. A system \(\{S_\pi:\pi\subseteq{\mathcal P}^+\}\) is a generalized Sylow basis if \(S_\pi\) is a Hall \(\pi\)-subgroup, and \(S_\pi\leq S_\rho\) for all \(\pi\subseteq\rho\subseteq{\mathcal P}^+\). Frécon shows that in a definable-by-(locally finite) section of a soluble group of finite Morley rank, Hall \(\pi\)-subgroups are conjugate for any \(\pi\subseteq{\mathcal P}^+\) (Théorème 4.18) and definable-by-(locally finite) (Corollaire 4.24); likewise generalized Sylow bases exist and are conjugate (Théorème 6.6). However, for theorems of Schur-Zassenhaus type, restrictions on \(\pi\) are necessary. One obtains: If \(R/K\) is a Hall \(\pi\)-subgroup of a definable-by-(locally finite) section \(H/K\) of a soluble group of finite Morley rank and \(\infty\notin\pi\), then (i) any \(\pi^\perp\)-subgroup of \(H/K\) is contained in a complement of \(R/K\), (ii) any complement of \(R/K\) contains a Hall \(({\mathcal P}-\pi)\)-subgroup of \(H/K\), (iii) if \(R/K\) has bounded exponent, then the complements of \(R/K\) in \(H/K\) are precisely the Hall \(\pi^\perp\)-subgroups (Théorèmes 5.1 and 5.3). Contrary to the earlier results not involving the ``prime'' \(\infty\), the proofs do not proceed via a Schur-Zassenhaus Theorem, but make heavy use of the author's earlier results on Carter subgroups [J. Algebra 229, No. 1, 118-152 (2000; Zbl 0984.20022)].