On a parabolic system of type \(M_{24}\) (Q1178865)

Let \(\{P_ 1,P_ 2,P_ 3\}\) be a minimal parabolic system for a group \(G=\langle P_ 1,P_ 2,P_ 3\rangle\) such that: (i) \(S=\bigcap^ 3_{i=1}P_ i\in Syl_ 2(P_{ij})\) for all \(1\leq i<j\leq 3\); (ii) \(P_ i/O_ 2(P_ i)\cong S_ 3\) for \(i=1,2,3\); (iii) \(P_{12}/O_ 2(P_{12})\cong L_ 3(2)\); (iv) \(P_{13}/O_ 2(P_{13})\cong S_ 3\times S_ 3\); (v) \(P_{23}/O_ 2(P_{23})\cong \hat S_ 6\). Here, \(P_{ij}=\langle P_ i,P_ j\rangle\) for \(1\leq i,j\leq 3\). Under these conditions P. Rowley has shown that the order of \(S/O_ 2(G)\) is either \(2^ 9\) or \(2^{10}\) and that in both cases the composition series for \(P_{12}/O_ 2(G)\) and \(P_{23}/O_ 2(G)\) are determined. The author proves the following result: Let \(\{P_ 1,P_ 2,P_ 3\}\) be the minimal parabolic system for a group \(G\) as above. Furthermore, assume that \(O_ 2(G)=1\). Then \(G\cong M_{24}\) or \(G\cong He\) if \(| S|=2^{10}\). If \(G\cong 3^ 7\cdot Sp_ 6(2)\) in the case that \(| S|=2^ 9\) then \(G\) is determined up to isomorphism.\ ---\ U. Meierfrankenfeld has shown that such an extension exists.