Some steps in the verification of the ordinary character table of the Monster group

Thomas Breuer,Kay Magaard,Robert A.Wilson

2024-12-12

Abstract: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".

Representation Theory

What problem does this paper attempt to address?

Verification of the ordinary character table of the Baby Monster

Thomas Breuer,Kay Magaard,Robert Wilson

DOI: https://doi.org/10.48550/arXiv.1902.07758

2019-05-20

Abstract:We prove the correctness of the character table of the sporadic simple Baby Monster group that is shown in the Atlas of Finite Groups.

Representation Theory
Constructing the ordinary character tables of some Atlas groups using character theoretic methods

Thomas Breuer

DOI: https://doi.org/10.48550/arXiv.1604.00754

IF: 0.6

2016-04-04

Representation Theory

Abstract: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)$, $2.{}^2E_6(2).2$, and $2.B$.
The Monster and black-box groups

Robert A. Wilson

DOI: https://doi.org/10.48550/arXiv.1310.5016

2013-10-18

Abstract: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 example to groups of `cross-characteristic' type.

Group Theory
Conjugacy class fusion from four maximal subgroups of the Monster

Anthony Pisani,Tomasz Popiel

2024-04-22

Abstract: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 question are $(\text{PSL}_2(11) {\times} \text{PSL}_2(11)){:}4$, $11^2{:}(5 {\times} 2\text{A}_5)$, $7^2{:}\text{SL}_2(7)$, and $\text{PSL}_2(19){:}2$. Our proofs are supported by reproducible calculations carried out using the Python package mmgroup, a computational construction of the Monster recently developed by Seysen.

Group Theory
Character Levels and Character Bounds

Robert M. Guralnick,Michael Larsen,Pham Huu Tiep

DOI: https://doi.org/10.1017/fmp.2019.9

2017-08-13

Abstract:We develop the concept of character level for the complex irreducible characters of finite, general or special, linear and unitary groups. We give characterizations of the level of a character in terms of its Lusztig's label and in terms of its degree. Then we prove explicit upper bounds for character values at elements with not-too-large centralizers and derive upper bounds on the covering number and mixing time of random walks corresponding to these conjugacy classes. We also characterize the level of the character in terms of certain dual pairs and prove explicit exponential character bounds for the character values, provided that the level is not too large.

Representation Theory,Group Theory
Some Properties of normal subgroups determined from character tables

Zeinab Akhlaghi,Maria Jose Felipe,Kelly Jean-Philippe

2024-04-26

Abstract:Gcharacter tables of a finite group G were defined before. These tables can be very useful to obtain certain structural information of a normal subgroup from the character table of G. We analyze certain structural properties of normal subgroups which can be determined using their Gcharacter tables. For instance, we prove an extension of the Thompsons theorem from minimal Ginvariant characters of a normal subgroup. We also obtain a variation of Taketas theorem for hypercentral normal subgroups considering their minimal G-invariant characters. This generalization allows us to introduce a new class of nilpotent groups, the class of nMIgroups, whose members verify that its nilpotency class is bounded by the number of irreducible character degrees of the group.

Group Theory
A computer-friendly construction of the monster

Martin Seysen

2024-05-01

Abstract: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 representation $\rho$ of $\mathbb{M}$ with matrix coefficients in $\mathbb{Z}[\frac{1}{2}]$. So these matrices may be reduced modulo any (not necessarily prime) odd number $p$, leading to representations of $\mathbb{M}$ in odd characteristic. The representation $\rho$ is based on representations of two maximal subgroups $G_{x0}$ and $N_0$ of $\mathbb{M}$. In ATLAS notation, $G_{x0}$ has structure $2_+^{1+24}.\mbox{Co}_1$ and $N_0$ has structure $2^{2+11+22}.( M_{24} \times S_3)$. Conway has constructed an explicit set of generators of $N_0$, but not of $G_{x0}$.

Group Theory
On $G$-character tables for normal subgroups

María José Felipe,María Dolores Pérez-Ramos,Víctor Sotomayor

2024-09-18

Abstract:Let $N$ be a normal subgroup of a finite group $G$. From a result due to Brauer, it can be derived that the character table of $G$ contains square submatrices which are induced by the $G$-conjugacy classes of elements in $N$ and the $G$-orbits of irreducible characters of $N$. In the present paper, we provide an alternative approach to this fact through the structure of the group algebra. We also show that such matrices are non-singular and become a useful tool to obtain information of $N$ from the character table of $G$.

Group Theory
Higher Congruences in Character Tables

Nate Harman,Joshua Mundinger

2024-05-16

Abstract:Motivated by recent work of Peluse and Soundararajan on divisibility properties of the entries of the character tables of symmetric groups, we investigate the question: For a finite group G, when are two columns of the character table of G congruent to one another modulo a power of a prime?

Representation Theory,Combinatorics,Group Theory
Explicit construction of the maximal subgroups of the Monster

Heiko Dietrich,Melissa Lee,Anthony Pisani,Tomasz Popiel

2024-11-19

Abstract: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 conjugacy class $C$ of maximal subgroups in $\mathbb{M}$, we construct explicit group elements in mmgroup and prove that these elements generate a group in $C$. Our generators and the computations verifying correctness are available in accompanying code. The maximal subgroups of $\mathbb{M}$ have been classified in a number of papers spanning several decades; our work constitutes an independent verification of these constructions. We also correct the claim that $\mathbb{M}$ has a maximal subgroup $\mathrm{PSL}_2({59})$, and hence identify a new maximal subgroup $59{:}29$.

Group Theory
Classification of subgroups isomorphic to PSL_2(27) in the Monster

Robert A. Wilson

DOI: https://doi.org/10.1112/S1461157013000247

2013-04-19

Abstract:We prove that the Monster does not contain any subgroup isomorphic to PSL_2(27).

Group Theory
Arithmetic in Group Extensions

Alexander Hulpke

2024-12-09

Abstract: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 matrix representations. We illustrate the use of such representations by constructing a maximal subgroup of the sporadic monster group and calculating its -- hitherto unknown -- character table.

Group Theory
Trivial source characters in blocks with cyclic defect groups

Shigeo Koshitani,Caroline Lassueur

DOI: https://doi.org/10.1016/j.jalgebra.2021.01.020

IF: 0.908

2021-05-01

Journal of Algebra

Abstract:We describe the ordinary characters of trivial source modules lying in blocks with cyclic defect groups relying on their recent classification in terms of paths on the Brauer tree by G. Hiss and the second author. In particular, we show how to recover the exceptional constituents of such characters using the source algebra of the block.

mathematics
Supercharacters for Normal Supercharacter Theory

Farid Aliniaeifard

DOI: https://doi.org/10.48550/arXiv.1603.08569

2016-03-28

Rings and Algebras

Abstract:In order to find a tractable theory to substitute for the wild character theory of the group of $n\times n$ unipotent upper-triangular matrices over a finite field $\mathbb{F}_q$, Andr\'e and Yan introduced the notion of supercharacter theory. In this paper, we construct a supercharacter theory from an arbitrary set $S$ of normal subgroups of $G$. We call such supercharacter theory the normal supercharacter theory generated by $S$. It is shown that normal supercharacter theories are integral, and a recursive formula for supercharacters of the normal supercharacter theory is provided. The normal supercharacter theory provides many substitutions for wild character theories. Also, we indicate that the superclasses of the normal supercharacter theory generated by all normal subgroups of $G$ are given by certain values on the primitive central idempotents. We study the connection between the finest normal supercharacter theory and faithful irreducible characters. Moreover, an algorithm is presented to construct the supercharacter table of the finest normal supercharacter theory from the character table. Finally, We justify that normal supercharacter theories cannot be obtained by preceding supercharacter theory constructions.
On the computation of character values for finite Chevalley groups of exceptional type

Meinolf Geck

DOI: https://doi.org/10.48550/arXiv.2105.00722

2021-05-10

Abstract:We discuss various computational issues around the problem of determining the character values of finite Chevalley groups, in the framework provided by Lusztig's theory of character sheaves. Some of the remaining open questions (concerning certain roots of unity) for the cuspidal unipotent character sheaves of groups of exceptional type are resolved.

Representation Theory
Methods and questions in character degrees of finite groups

Alexander Moretó

DOI: https://doi.org/10.48550/arXiv.2209.09221

2022-09-20

Abstract:We present some variations on some of the main open problems on character degrees. We collect some of the methods that have proven to be very useful to work on these problems. These methods are also useful to solve certain problems on zeros of characters, character kernels and fields of values of characters.

Group Theory
Character and class parameters from entries of character tables of symmetric groups

Alexander R. Miller

2023-12-12

Abstract:If all of the entries of a large $S_n$ character table are covered up and you are allowed to uncover one entry at a time, then how can you quickly identify all of the indexing characters and conjugacy classes? We present a fast algorithmic solution that works even when n is so large that almost none of the entries of the character table can be computed. The fraction of the character table that needs to be uncovered has exponential decay, and for many of these entries we are only interested in whether the entry is zero.

Representation Theory,Combinatorics
Character tables and the problem of existence of finite projective planes

Máté Matolcsi,Mihály Weiner

DOI: https://doi.org/10.1002/jcd.21611

IF: 0.773

2018-06-20

Journal of Combinatorial Designs

Abstract:We use the connection between positive definite functions and the character table of the symmetric group S6 to give a short new proof of the nonexistence of a finite projective plane of order 6. For higher orders, like 10 and 12, the method seems to be inconclusive as of now, but could be a basis of further research.

mathematics
Supercharacter Table of Certain Finite Groups

Hadiseh Saydi,Mohammad Reza Darefsheh,Ali Iranmanesh

DOI: https://doi.org/10.22342/jims.28.1.1089.97-106

2022-03-31

Journal of the Indonesian Mathematical Society

Abstract:‎Supercharacter theory is developed by P‎. ‎Diaconis and I‎. ‎M‎. ‎Isaacs as a natural generalization of the classical ordinary character theory‎. ‎Some classical sums of number theory appear as supercharacters which are obtained by the action of certain subgroups of GL_d(Z_n) on Z_n^d‎. ‎In this paper we take Z_p^d‎, ‎p prime‎, ‎and by the action of certain subgroups of GL_d(Z_p) we find supercharacter table of Z_p^d‎.

English Else

Some steps in the verification of the ordinary character table of the Monster group

Verification of the ordinary character table of the Baby Monster

Constructing the ordinary character tables of some Atlas groups using character theoretic methods

The Monster and black-box groups

Conjugacy class fusion from four maximal subgroups of the Monster

Character Levels and Character Bounds

Some Properties of normal subgroups determined from character tables

A computer-friendly construction of the monster

On $G$-character tables for normal subgroups

Higher Congruences in Character Tables

Explicit construction of the maximal subgroups of the Monster

Classification of subgroups isomorphic to PSL_2(27) in the Monster

Arithmetic in Group Extensions

Trivial source characters in blocks with cyclic defect groups

Supercharacters for Normal Supercharacter Theory

On the computation of character values for finite Chevalley groups of exceptional type

Methods and questions in character degrees of finite groups

Character and class parameters from entries of character tables of symmetric groups

Character tables and the problem of existence of finite projective planes

Supercharacter Table of Certain Finite Groups