Vector stabilizers and subgroups of Leech lattice groups (Q1824028): Difference between revisions

The 24-dimensional Leech lattice \(\Lambda\), its automorphism group \(2\cdot Co_ 1\), and the maximal subgroups of \(Co_ 1\) are studied in detail by \textit{J. H. Conway} [Bull. Lond. Math. Soc. 1, 79-88 (1969; Zbl 0186.32304) and Invent. Math. 7, 137-142 (1969; Zbl 0212.070)]. The author now investigates the Leech lattice by reduction modulo 2. He gets a unified classification of the maximal nonlocal subgroups of \(Co_ 1\) and also of the maximal nonlocal subgroups of the sporadic simple groups contained in \(Co_ 1\). This puts together some results of \textit{L. Finkelstein} [J. Algebra 25, 58-89 (1973; Zbl 0263.20010)], \textit{S. Magliveras} [Bull. Am. Math. Soc. 77, 535-539 (1971; Zbl 0226.20012)], and the author [J. Algebra 84, 107-114 (1983; Zbl 0524.20007), J. Lond. Math. Soc., II. Ser. 32, 460-466 (1985; Zbl 0562.20006)]. Starting point of his proof is the observation, that a group fixing nontrivial vectors in a rational representation also fixes nontrivial vectors in any reduction modulo 2. So the author can use modular representation theory to identify a subgroup with the stabilizer of a certain set of vectors in \(\Lambda\) /2\(\Lambda\). From there he defines with geometric objects of \(\Lambda\) /2\(\Lambda\) certain graphs invariant under the subgroup, which in turn allow to identify the subgroup with a known group.