The situation of \(Sp_ 4(4)\cdot 2\) in the sporadic simple group He (Q1115962)

The main result of this paper is that Held's simple group He contains a maximal subgroup \(Sp_ 4(4).2\). This has been known for a long time [see \textit{W. Gemmer}'s Diplomarbeit (Mainz 1974)], but the present paper appears to contain the first published proof. The proof is achieved by taking two maximal subgroups \(2^ 6:3S_ 6\) of He, intersecting in a group \(2^ 6:(S_ 3\times S_ 4)\), and restricting to two subgroups \(2^ 6:(3\times A_ 5)\) intersecting in \(2^ 6:(3\times A_ 4)\). These are then used to construct the (B,N)-pair for \(Sp_ 4(4)\), which is recognized by applying a suitable characterization theorem. The final section uses Sylow's theorem to show that the subgroup \(Sp_ 4(4)\), generated by the two groups \(2^ 6:(3\times A_ 5)\), extends to \(Sp_ 4(4).2\). For a complete determination of the maximal subgroups of He, see the paper by \textit{G. Butler} [J. Algebra 69, 67-81 (1981; Zbl 0457.20024)].