Lie rank in groups of finite Morley rank with solvable local subgroups. (Q2443247): Difference between revisions

This paper is part of a series aiming to classify configurations of non-soluble locally soluble groups of finite Morley rank. A group \(G\) of finite Morley rank is \textit{\(*\)-locally\(^0_0\) soluble} (a finite Morley rank analogue to Thompson's \(N\)-groups) if \(N_G(A)^0\) is soluble for every non-trivial Abelian connected definable subgroup \(A\); its \textit{Prüfer \(p\)-rank} is the number of direct summands of the Prüfer \(p\)-group in a maximal Abelian divisible subgroup (a \textit{maximal \(p\)-torus}). The authors show the following theorem: Let \(G\) be a connected, non-soluble, \(*\)-locally\(^0_0\) soluble group of finite Morley rank and Prüfer \(p\)-rank at least \(2\), and \(S\) a maximal \(p\)-torus without exceptional elements of order \(p\) and whose definable connected supergroups proper in \(G\) are all soluble. Put \(B=\langle C_G(s)^0:s\in\langle S[p]\rangle\setminus\{1\}\rangle\). Then (1) either \(B<G\) and \(B\) is a Borel subgroup of \(G\); if \(S\) is a \(p\)-Sylow subgroup of \(N_{N_G(B)}(S)\), then \(N_G(B)\) is \(p\)-strongly embedded in \(G\); (2) or \(B=G\), and \(S\) and \(G\) have Prüfer \(p\)-rank \(2\). Here an element \(x\) is \textit{exceptional} if \(C_G(x)^0\) is non-soluble. According to the Cherlin-Zilber algebraicity conjecture, the Prüfer \(p\)-rank of a connected non-soluble \(*\)-locally\(^0_0\) soluble group of finite Morley rank should be \(1\); the configuration described thus should not exist at all.