Explicit construction of the maximal subgroups of the Monster

DOI10.1016/J.JALGEBRA.2025.10.016MaRDI QIDQ6858735zbMATH OpenFDO

Authors Heiko Dietrich, Melissa Lee, Anthony Pisani, Tomasz Popiel

Publication date 12 February 2026

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.JALGEBRA.2025.10.016

zbMATH Keywords

finite simple groupsmaximal subgroupsMonster groupsporadic simple groups

Mathematics Subject Classification ID

Simple groups: sporadic groups (20D08) Maximal subgroups (20E28)

Review text

The Monster group \(\mathbb{M}\) is the largest sporadic finite simple group. The maximal subgroups of \(\mathbb{M}\) have been classified in a number of papers spanning several decades, see [\textit{H. Dietrich} et al., Adv. Math. 469, Article ID 110214, 33 p. (2025; Zbl 1567.20042)]. The first result of the present paper is the following: \(\mathbb{M}\) has no subgroup \(PSL_2(59)\), but a unique class of subgroups \(59:29\), which are maximal subgroups. This result is in conflict with the main result of \textit{P. E. Holmes} and \textit{R. A. Wilson} [J. Lond. Math. Soc., II. Ser. 69, No. 1, 141--152 (2004; Zbl 1064.20017)] which claims that \(\mathbb{M}\) has a maximal subgroup \(PSL_2(59)\). Seysen's Python mmgroup software package (see \url{https://github.com/Martin-Seysen/mmgroup}) provides functionality for fast computations within \(\mathbb{M}\). The main aim of this paper is to present an mmgroup database of maximal subgroups of \(\mathbb{M}\): for each conjugacy class \(C\) of maximal subgroups in \(\mathbb{M}\), the authors construct explicit group elements in mmgroup format and prove that these elements generate a group in \(C\). The work constitutes an independent verification of the constructions of maximal subgroups in \(\mathbb{M}\).

Cites work

• A correction to the 41-structure of the Monster, a construction of a new maximal subgroup \(L_2(41)\) and a new Moonshine phenomenon.
• A fast implementation of the Monster group. The Monster has been tamed
• A NEW COMPUTER CONSTRUCTION OF THE MONSTER USING 2-LOCAL SUBGROUPS
• A new maximal subgroup of the Monster
• ANATOMY OF THE MONSTER: II
• Conjugacy class fusion from four maximal subgroups of the Monster
• Finding 47:23 in the Baby Monster
• scientific article; zbMATH DE number 3857362 (Why is no real title available?)
• scientific article; zbMATH DE number 3906699 (Why is no real title available?)
• scientific article; zbMATH DE number 4036057 (Why is no real title available?)
• scientific article; zbMATH DE number 1187236 (Why is no real title available?)
• scientific article; zbMATH DE number 2133330 (Why is no real title available?)
• scientific article; zbMATH DE number 3379174 (Why is no real title available?)
• Maximal 2-local subgroups of the Monster and Baby Monster
• Maximal subgroups of sporadic groups
• On subgroups of the Monster containing A₅'s.
• Presentations of the Groups SL(2,m) And PSL(2,m)
• PSL2(59) IS A SUBGROUP OF THE MONSTER
• The Magma algebra system. I: The user language
• The maximal subgroups of the low-dimensional finite classical groups.
• The maximal subgroups of the monster

Cited in

(1)

• Finite permutation groups with quasi-semiregular elements

This page was built for publication: Explicit construction of the maximal subgroups of the Monster

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6858735)