The classical involution theorem for groups of finite Morley rank (Q5949385)

The paper is part of the ongoing project of classification of infinite simple groups of finite Morley rank. The Cherlin-Zilber conjecture states that any such group is an algebraic group over an algebraically closed field. The main result of the paper is an analogue, for groups of finite Morley rank, of \textit{M. Aschbacher}'s characterization of Chevalley groups over fields of odd order [Ann. Math. (2) 106, 353-398, 399-468 (1977; Zbl 0393.20011); ibid. 111, 411-414 (1980; Zbl 0429.20020)]. Let \(G\) be a group of finite Morley rank. The group \(G\) is said to be a \(K^*\)-group if all its proper simple definable sections are algebraic groups; if the Cherlin-Zilber conjecture is false, a minimal counterexample to it is a \(K^*\)-group. The group \(G\) is called of odd type if its Sylow 2-subgroups are finite extensions of non-trivial divisible Abelian groups. The author deals with the problem of classification of simple \(K^*\)-groups of odd type. She proves that if such a group is ``generic'' in the sense of \textit{A.~V.~Borovik}'s trichotomy theorem [in: Finite and locally finite groups, NATO ASI Ser., Ser. C, Math. Phys. Sci. 471, 247-284 (1995; Zbl 0840.20021)] then it is one of the following algebraic groups over an algebraically closed field of characteristic different from 2: \(\text{PSL}_n\) for \(n\geq 5\), \(\text{PSp}_{2n}\) for \(n\geq 3\), \(\text{PSO}_n\) for \(n\geq 9\), \(E_6\), \(E_7\), \(E_8\), and \(F_4\).