An identification of \(Co_1\). (Q948716): Difference between revisions

The main result of the paper under review is the following Theorem (Theorem 1.1 of paper): Theorem 1.1. Let \(G\) be a finite group and \(S\in\text{Syl}_3(G)\). Let \(H_1\) and \(H_2\) be two subgroups of \(G\) containing \(S\) such that (i) \(H_1=N_G(Z(O_3(H_1)))\), \(O_3(H_1)\) is an extraspecial group of order \(3^5\), \(H_1 /O_3(H_1)\cong\text{SP}_4(3):2\) and \(C_{H_1}(O_3(H_1))=Z(O_3(H_1))=\langle t\rangle\). (ii) \(O_3(H_2)\) is an elementary Abelian group of order \(3^6\) and \(H_2/O_3(H_2)\cong 2M_{12}\). (iii) \((H_1\cap H_2)/O_3(H_2)\) is an extension of an elementary Abelian group of order \(9\) by \(\text{GL}_2(3)\times Z_2\). -- Then \(G\) is isomorphic to \(Co_1\). For the proof of this Theorem, the author determines the structure of the centralizer of a \(2\)-central involution in the group \(G\). He finds an involution \(z\) in \(G\) such that \(C_G(z)\) is an extension of an extraspecial \(2\)-group of order \(2^9\) by \(\Omega_8^+(2)\) and the main results follow by applying Lemma 49.15 of the book of \textit{M. Aschbacher} [Sporadic groups. Cambridge Tracts in Mathematics 104. Cambridge: Cambridge University Press (1994; Zbl 0804.20011)].