The maximal subgroups of the Monster

arXiv2304.14646MaRDI QIDQ6434623FDOQ6434623

Authors: Heiko Dietrich, Melissa Lee, Tomasz Popiel

Publication date: 28 April 2023

Abstract: The classification of the maximal subgroups of the Monster

m a t h b f M

is a long-standing unsolved problem in finite group theory. According to the existing literature, the classification is complete apart from the question of whether

m a t h b f M

contains maximal subgroups isomorphic to

m a t h r m P S L_{2} (13)

or

m a t h r m {P G L}_{2} (13)

. We answer this question, and thereby complete the classification of the maximal subgroups of

m a t h b f M

, by proving that

m a t h b f M

contains a unique conjugacy class of maximal subgroups isomorphic to

m a t h r m {P G L}_{2} (13)

, and no maximal subgroup isomorphic to

m a t h r m {P S L}_{2} (13)

. Our proof is supported by reproducible computations carried out using the publicly available Python package mmgroup for computing with

m a t h b f M

recently developed by M. Seysen. We provide explicit generators for our new maximal subgroup

m a t h r m {P G L}_{2} (13)

, and accompanying Python code that can be used to verify our result.

This page was built for publication: 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 Q6434623)