Related papers: The uniqueness of $PSU_3(8)$ in the Monster
We determine the conjugacy class fusion from certain maximal subgroups of the Monster to the Monster, to justify the addition of these data to the Character Table Library in the computational algebra system GAP. The maximal subgroups in…
We describe computer calculations that were used in 2016 to classify subgroups of the Monster isomorphic to $PSL_2(8)$, containing $7B$-elements. It turns out that there is no such $PSL_2(8)$ in the Monster. These calculations confirm…
As a contribution to an eventual solution of the problem of the determination of the maximal subgroups of the Monster we show that there is no subgroup isomorphic to Sz(8). The proof is largely, though not entirely, computer-free.
The classification of the maximal subgroups of the Monster $\mathbf{M}$ is a long-standing problem in finite group theory. According to the literature, the classification is complete apart from the question of whether $\mathbf{M}$ contains…
The classification of the maximal subgroups of the Monster $\mathbf{M}$ is believed to be complete subject to an unpublished result of Holmes and Wilson asserting that $\mathbf{M}$ has no maximal subgroups that are almost simple with socle…
As part of the programme to re-compute the character tables of all the groups in the Atlas we re-compute the character table of $\mathbb M$, the Monster simple group. We operate under the uniqueness hypotheses of $\mathbb M$ and the…
We show the details of certain computations that are used in the paper "Verification of the conjugacy classes and ordinary character table of the Monster".
Several decades ago, John McKay suggested a correspondence between nodes of the affine E8 Dynkin diagram and certain conjugacy classes in the Monster group. Thanks to Monstrous Moonshine, this correspondence can be recast as an assignment…
Seysen's Python package mmgroup provides functionality for fast computations within the sporadic simple group $\mathbb{M}$, the Monster. The aim of this work is to present an mmgroup database of maximal subgroups of $\mathbb{M}$: for each…
We employ the recently developed hybrid and mmgroup computational models for groups to calculate the character table of $N(\rm{2B}^5) \cong 2^{5+10+20}.( \rm{S}_3 \times \rm{L}_5 {2} )$, a maximal subgroup of the Monster sporadic simple…
We prove the existence and uniqueness of a new maximal subgroup of the algebraic group of type $E_8$ in characteristic $3$. This has type $F_4$, and was missing from previous lists of maximal subgroups produced by Seitz and Liebeck--Seitz.…
We prove that the Monster does not contain any subgroup isomorphic to PSL_2(27).
We discuss ways in which the black-box model for computation is or is not applicable to the Monster sporadic simple group. Conversely, we consider whether methods of computation in the Monster can be generalised to other situations, for…
We determine the order of the largest of the twenty-six sporadic simple groups known as the Monster, using a straightforward computational approach. The Monster is here defined as a subgroup of the symmetry group of the 196884-dimensional…
We use uniqueness of a VOA (vertex operator algebra) extension of $(V_{EE_8}^+)^3$ to a Moonshine type VOA to give a new existence proof of a finite simple group of Monster type. The proof is relatively direct. Our methods depend on VOA…
In this article we give a classification of the sub-groups in PSL(2,Z) and of the conjugacy classes of these sub-groups by the mean of an combinatorial invariant: some trivalent diagrams (dotted or not). We give explicit formulae enabling…
We present a modular function-based approach to explaining, for primes larger than 3, the exponents that appear in the prime decomposition of the order of the monster finite simple group.
In this paper, we prove that if G is a finite simple group with the same-size conjugacy class set U(G) = U(PSL(2, 11)), then G is isomorphic to PSL(2, 11).
Axial algebras of Monster type are a class of non-associative algebras which generalise the Griess algebra, whose automorphism group is the largest sporadic simple group, the Monster. The $2$-generated algebras, which are the building…
Landau's theorem on conjugacy classes asserts that there are only finitely many finite groups, up to isomorphism, with exactly $k$ conjugacy classes for any positive integer $k$. We show that, for any positive integers $n$ and $s$, there…