A \(\{2,3\}\)-local shadow of O'Nan's simple group. (Q953080)

Let \(p\) be a prime. A group \(G\) is said to have characteristic \(p\) if for all \(p\)-subgroups \(1\neq N\) of \(G\) we have \(C_G(O_p(N_G(N)))\leq O_p(N_G(N))\), and Sylow \(p\)-subgroups are not cyclic. Among the finite simple groups groups of Lie type in characteristic \(p\) are generic examples. Most simple groups have just one characteristic. But there are exceptions as for example \(\text{PSp}(4,3)\cong\Omega^-(6,2)\), so this group has characteristic 2 and 3 as well. In the course of the revision of the classification of the finite simple groups the definition has changed to (restricted) even type and (weak) \(p\)-type. For these technicalities see [\textit{D. Gorenstein, R. Lyons, R. Solomon}, The classification of the finite simple groups. Math. Surv. Monogr. 40(1), AMS (1994; Zbl 0816.20016)] and the paper of the authors [J. Algebra 300, No. 2, 590-646 (2006; Zbl 1106.20008)]. The paper under review is a contribution to the revision project, in particular the revision of the classification of the groups with \(e(G)=3\). The general assumption is \(e(G)=3\) and \((H)\): if \(p\) is an odd prime such that the normalizer of some nontrivial 2-group contains an elementary Abelian subgroup of rank 3, then no elementary Abelian \(p\)-group of rank 3 centralizes an involution. Then the authors show that for a finite \(\mathcal K\)-proper simple group of restricted even type and weak \(p\)-type for some prime \(p\) satisfying \((H)\), the prime \(p\) is 3 and some technical conditions hold. This then together with the results from [loc. cit.] gives, that if \(G\) is as above it has to be isomorphic to \(A_{12}\) or has the centralizer of involution pattern as \(F_5\).