Related papers: Computing the Character Table of a 2-local Maximal…
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…
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 show the details of certain computations that are used in the paper "Verification of the conjugacy classes and ordinary character table of the Monster".
We show the details of certain computations that are described in [BMW19].
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…
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…
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…
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 describe an easy way how to find supercharacter theories for a finite group, if its character table is known. Namely, we show how an arbitrary partition of the conjugacy classes or of the irreducible characters can be refined to the…
We describe a generalization of the concept of a pc presentation that applies to groups with a nontrivial solvable radical. Such a representation can be much more efficient in terms of memory use and even of arithmetic, than permuattion and…
Let $\mathbb{M}$ be the Monster group, which is the largest sporadic finite simple group, and has first been constructed in 1982 by Griess. In 1985 Conway has constructed a 196884-dimensional rational epresentation $\rho$ of $\mathbb{M}$…
In this paper we calculate the character table of a sharply $5$-transitive subgroup of ${\rm Alt}(12)$, and of a sharply $4$-transitive subgroup of ${\rm Alt}(11)$. Our presentation of these calculations is new because we make no reference…
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…
As a contribution to an eventual solution of the problem of determination of the maximal subgroups of the Monster we show that there is a unique conjugacy class of subgroups isomorphic to $PSU_3(8)$. The argument depends on some…
Two groups are said to have the same character table if a permutation of the rows and a permutation of the columns of one table produces the other table. The problem of determining when two groups have the same character table is…
We classify all finite groups such that all irreducible character degrees appear with multiplicity at most $2$. As a consequence, we prove that the largest group with at most $2$ irreducible characters of the same degree is the Baby…
We prove the correctness of the character table of the sporadic simple Baby Monster group that is shown in the Atlas of Finite Groups.
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…
We compute the character tables of the following groups with character theoretic methods, using known information about the conjugacy classes and about the character tables of some subgroups and factor groups: $Th$, $J_4$, $2.{}^2E_6(2)$,…
It is well-known that special 2-groups can be described in terms of quadratic maps over fields of characteristic 2. In this article we develop methods to compute conjugacy classes, complex representations and characters of a real special…