Minimal connected simple algebraic groups of odd type. (Q2466951): Difference between revisions

The Cherlin-Zilber conjecture states that simple groups of finite Morley rank should be algebraic. It is known that in such a group the Sylow-\(2\)-subgroups are conjugate, and either finite (degenerate case), infinite of bounded exponent (even type), or infinite Abelian virtually divisible (odd type). In this paper the author proves an identification theorem for small groups of odd type. Recall that a `Borel subgroup' is a maximal definable connected soluble subgroup. Theorem 1.1: Let \(G\) be a minimal simple group of finite Morley rank and odd type whose Sylow-\(2\)-subgroups have Prüfer rank \(1\). Suppose \(i\) is an involution and \(C_G(i)^0\) is not a Borel subgroup of \(G\). Then \(G\) is isomorphic to \(\text{PSL}_2(K)\), where \(K\) is an algebraically closed field of characteristic different from \(2\). The result had been shown by \textit{G. Cherlin, E. Jaligot} [J. Algebra 276, No. 1, 13-79 (2004; Zbl 1056.20020)] under the additional hypothesis of tameness, i.e.\ that no bad field be interpretable in \(G\). The generalization uses heavily Burdges' notion of unipotency in characteristic zero. In fact, the theorem has an additionnal hypothesis, namely that \(i\) be in some connected component of a Sylow-\(2\)-subgroup. However, \textit{A. Borovik, J. Burdges} and \textit{G. Cherlin} have shown that this is always the case [Sel. Math., New Ser. 13, No. 1, 1-22 (2007; Zbl 1185.20038)].