Verification of the ordinary character table of the Baby Monster
Thomas Breuer, Kay Magaard, Robert Wilson

TL;DR
This paper confirms the accuracy of the character table for the Baby Monster group, a large sporadic simple group, as presented in the Atlas of Finite Groups, ensuring its correctness for mathematical reference.
Contribution
It provides a rigorous proof verifying the correctness of the previously published character table of the Baby Monster group.
Findings
Confirmed the character table matches the Atlas data
Ensured the table's correctness for future research
Validated the structure of the Baby Monster group
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Verification of the Ordinary Character Table of the Baby Monster
Thomas Breuer and Kay Magaard and Robert A. Wilson
Abstract.
We prove the correctness of the character table of the sporadic simple Baby Monster group that is shown in the of Finite Groups.
MSC: 20C15,20C40,20D08
In memory of our friend and colleague Kay Magaard, who sadly passed away during the preparation of this paper.
1. Introduction
Jean-Pierre Serre has raised the question of verification of the ordinary character tables that are shown in the of Finite Groups [6]. This question was partially answered in the paper [5], the remaining open cases being the largest two sporadic simple groups, the Baby Monster group and the Monster Group , and the double cover of .
The current paper describes a verification of the character table of . The computations shown in [3] then imply that also the character table of is correct. As in [5], one of our aims is to provide the necessary data in a way that makes it easy to reproduce our computations.
The character table of the Baby Monster derives from the original calculation of the conjugacy classes and rational character table by David Hunt, described very briefly in [9]. The irrationalities were calculated by the CAS team in Aachen [11].
2. Strategy
We begin with a preliminary section, Section 3, whose aim is to prove that certain specified matrices do indeed generate copies of the Baby Monster. These matrices can then be used in the main computation. The presentation of the BiMonster implies a presentation for (see [10]), given that the Schur multiplier of the Monster has odd order. The Schur multiplier of the Monster was calculated by Griess [8]. We use the presentation to prove that three pairs of matrices, of dimension over the field with two elements and of dimension over the fields with three and five elements, respectively, generate the group , and, moreover, that mapping one pair of these generators to any other such pair defines a group isomorphism.
In Section 4 we compute a first approximation to the list of conjugacy class names, by establishing invariants, in terms of the above three matrix representations of , that in fact distinguish almost all conjugacy classes of cyclic subgroups of . These invariants are then used to determine the power maps between the specified unions of conjugacy classes.
In order to compute the conjugacy classes of and the corresponding centralizer orders, we apply the following general statement. For a group and an element , if power to then if and only if where ; moreover . This implies that it suffices to find the normalizers (or overgroups thereof) of prime order subgroups, and their character tables. Section 5 deals with the first problem, Section 6 with the second.
At this point, we know the conjugacy classes of , and their lengths. Some further calculations then match these up with the names listed in Section 4, by using the given invariants and some small extra arguments. Finally, the irreducible characters of are computed in Section 7, using character theoretic methods such as induction from several subgroups of .
3. Verifying a presentation for the Baby Monster
In this section we give words in the ‘standard generators’ for the Baby Monster, that represent the transpositions in the presentation. This provides a relatively straightforward test to prove that a given black-box group is in fact isomorphic to the Baby Monster.
3.1. The presentation
A presentation for the Baby Monster sporadic simple group was conjectured in the [6], and proved by Ivanov [10], subject to the Monster not having a proper double cover. This hypothesis has been proved by Griess [8].
The presentation is on generators (), satisfying the Coxeter relations for all , for , , , , , , , , , , and for otherwise. Adjoining one extra relation, , nicknamed the ‘spider relation’, gives a presentation for . To obtain a presentation for itself, we need two extra relations, and . Since the Coxeter diagram has three ‘arms’, of lengths , this presentation is known as the presentation.
Matrices generating a copy of the Baby Monster were first produced in the early 1990s [18]. These act on a vector space of dimension over the field of order . In order to prove, without relying on the character table, that these matrices do indeed generate the Baby Monster, a method was given for producing elements of this group that satisfy the presentation for the Baby Monster. However, actual words for these elements were not given in [18].
In this section we rectify this deficiency in [18], and hence enable the reader to check relatively easily that the matrices given in [21], that are claimed to generate the Baby Monster in various different representations, do in fact generate the Baby Monster. In addition to the representation over the field of order , already mentioned, we checked the representations over the fields of order and constructed in [14]. All three of these representations will be required later on, for determining certain class fusions and power maps.
We begin with the ‘standard generators’ in the sense of [19, 21], that is an element and an element such that has order and has order . The cited references explain how to find such generators in a group which is in fact isomorphic to the Baby Monster. All calculations described in this section were performed using the C Meataxe written by Michael Ringe [15], based on the original Meataxe of Richard Parker [13].
3.2. Finding the generators for the presentation
The calculations in this section were performed using the standard generators for (a group that is claimed to be) the Baby Monster in its -dimensional representation over the field of order , taken from [21]. Following the 10-step method described in [18], we proceed as follows. Steps 1–4 are devoted to finding generators for a particular subgroup . In Steps 5–8 we centralize successively the elements , , and to produce a small number of candidates for and . These candidates are tested in Step 9, at which point all the required generators have been found. Step 10 tests the relations.
Step 1
Take an arbitrary -element, and call it . Find .
The element has order , and powers to the involution . The centralizer of is generated by and .
Step 2
Find a subgroup inside .
We restrict the representation of to , find the composition factors using the chop program of the Meataxe, and extract a -dimensional irreducible representation of the quotient , in which the computational searches for steps 2–4 are performed. (This use of a small representation reduces the computation time by a factor of around .) The invariant is useful for identifying conjugacy classes. In particular, is an element of order in the outer half of , so powers to an involution , in the notation for conjugacy classes in . We calculate . As is an involution in the outer half and , we deduce that .
Similarly, has order and therefore powers to a -element , with , while has order and therefore powers to a -element , with . We then find that has order and powers to an element of order with . Hence is in class . Looking at a few groups generated by conjugates of and we quickly find that if then .
Step 3
Find a subgroup inside .
The elements and then generate the subgroup of index in , in which we find is an element of order powering to an element of -class . The element has order and is most likely to be in class in . Since there is no simple test for this, we proceed and hope for the best. Looking at conjugates of these elements we soon find a pair generating , as follows.
[TABLE]
Step 4
In find transpositions generating with the required Coxeter relations.
These transpositions can be taken as and for .
Step 5
Find .
This step has to be carried out in the dimensional representation. Standard dihedral group methods give the element that conjugates to , so that and generate the group .
Step 6
Find .
Again we restrict the representation of to , and extract a copy of the -dimensional representation, in which to carry out steps 6–8. Following the instructions in [18] we found two elements of the centralizer of to be and . Together with and , these are enough to generate .
Step 7
Find .
Similarly we found the following elements centralizing :
[TABLE]
These are sufficient to generate .
Step 8
Find the twelve [sic] transpositions in which commute with .
There is a slight error in [18] at this point. There are in fact transpositions in that centralize , rather than as stated there. They are the transpositions in a copy of . One is the central involution and the other are in the outer half. Together they generate a subgroup of index . Presumably the central involution was omitted from the original calculation. However, it commutes with neither nor , so is not a candidate for or .
First we looked for conjugates of that commute with , using the elements and , both of order , for the conjugation. Then the four conjugates , , and are sufficient to generate . The central involution is . Then and its conjugates by , , and are four transpositions mapping to the same involution in the quotient , so give the full set of after conjugating by and .
Step 9
Check these twelve [sic] transpositions for candidates for and . There is only one possibility up to an obvious inner automorphism.
This step was again carried out in the dimensional representation. The calculations that do not involve could have been done in dimensions, but the time saved would be of the order of one minute, so insignificant. Of the transpositions, the only one which commutes with and but not is . Hence this is the only possibility for . There are two that commute with but not , namely and . But conjugates one to the other, so without loss of generality we may take .
3.3. Verifying the presentation
We now have a straight line program for producing the elements from the elements . This program is given in Table 1 for convenience. It must be applied in every claimed representation of the Baby Monster, and then the relations of the presentation must be checked.
Step 10
Prove that satisfy all the required relations.
We check the Coxeter relations by finding the order of the elements for all . (The relations are implicit in the calculation, but were explicitly checked again.) Similarly the spider relation is checked by confirming that the element has order . Finally, we check that and have order . (In the particular representations we checked, this last check can be omitted, since it is straightforward to show in each case that the centre of the group is trivial. Indeed, Schur’s Lemma implies the centre consists of scalars, while the generators have determinant and the only scalar of determinant is .)
We verified the relations in the three representations from [21], that is in dimension over the field of order , and in dimension over the fields of orders and . The total computation time was under hours.
3.4. Reversing the process
To complete the proof that the matrices given in [21] generate the Baby Monster, we have to reverse the process, and find the Atlas standard generators in terms of the generators. First we make two elements of order and of order . These elements in fact generate the whole group, but it is not necessary to prove this at this stage. Now is an element in class . A random search produces the element in class . (Again, it is not necessary to prove that this involution is in class . However, we used the conjugacy class invariants in [20] to guide us, and found that this element has , which identifies the conjugacy class as .) Another random search gives a candidate pair of standard generators
[TABLE]
Finally, we use the chop program of the Meataxe to conjugate the matrices to a standard basis with respect to, first, the generators , and then, the generators . This calculation must, of course, be carried out in each representation that we wish to check. We found that in all three of the representations in [21], the resulting pairs of matrices are identical, proving that all claimed generating sets do indeed generate the same group. (This does not mean that are the same elements as , merely that the pair is equivalent to under an automorphism of the group, and therefore under conjugation.) The total computation time was under hours.
4. Conjugacy class invariants and power maps
in the Baby Monster
4.1. Introduction
In this section, we produce a list of easily computed conjugacy class invariants for a specified list of elements of the Baby Monster, which are in fact good enough to distinguish all conjugacy classes of cyclic subgroups except and . As a result, we have a splitting of the elements into small unions of conjugacy classes, and power maps between these unions of classes. The final splitting into conjugacy classes, and refinements of power maps, is done later.
In [20] (and also in [21]) there is a list of words in the Atlas standard generators of the Baby Monster, suitable powers of which are in fact representatives for the conjugacy classes. However, the proof given there depends on the accuracy of the character table of the Baby Monster, and in particular on the accuracy of the power map information. It is therefore necessary to provide a new proof, which does not depend on the character table. We can of course use the words, as long as we do not quote from [20] any of the properties of the corresponding elements of the Baby Monster. We assume that the three representations of the Baby Monster given in [21] do indeed represent the Baby Monster. This was proved in Section 3.
4.2. The words and their names
In [20] there is a list of words for elements of specified orders, that in fact lie in the classes of maximal cyclic subgroups. There are in fact classes of cyclic subgroups altogether, including the trivial group. We can therefore take suitable powers of the words as a further set of words defining elements of the group.
First we label the words with the names given in [20]. These names will later, of course, be identified with unions of conjugacy classes, but at this stage they are simply names. We calculate the orders of the elements, and hence verify that the numerical part of the name is indeed the order of the element. We define our other words and their labels as the obvious powers from the first line to the second line of each row of Table 2.
At this stage, we have a list of words which give elements of the specified orders in the Baby Monster. Our job now is to find invariants that distinguish the alphabetical part of the name.
4.3. Invariants
We compute only the invariants that [20] tells us are useful. Besides the order, the invariants we use for an element are of the following types:
- •
mod type: the trace and the rank of selected polynomials in , in the mod representation;
- •
mod type: the trace of selected powers of , in the mod representation;
- •
mod type: the trace of , in the mod representation.
The last two are expensive, and are only used when we know they will in fact be useful.
4.3.1. Odd-order elements
We find cyclic subgroups of odd-order elements. For orders , , , , , , , , , , , , , , and , the only invariant we shall need is the order. For the other orders, , , and , the trace in the dimensional representation mod distinguishes two names in each case:
[TABLE]
4.3.2. Elements of twice odd order
For elements of order , , or , no further invariant is required. In the remaining cases we compute the rank (or nullity) of on the dimensional representation over the field of order . This turns out to be a sufficient invariant to distinguish all cases except the elements of order and . The rank of is tabulated below: note that in the case the rank is given incorrectly in [20] as instead of .
[TABLE]
The cases and can be distinguished by the rank of , which is and respectively. The cases and can be distinguished by the rank of , which is and respectively.
4.3.3. Elements of order at least
For elements of order , , and , no further invariant is required. For elements of order and , the rank of is sufficient:
[TABLE]
For the remaining element orders, , , , and , we have the following values of the rank of :
[TABLE]
In particular, this invariant is of no help for elements of order or . All necessary cases can be separated by the trace mod of or or :
[TABLE]
[TABLE]
4.3.4. Elements of order and
The rank of distinguishes cases of elements of order . Three of these split into two, according to the trace on the -dimensional representation mod . An alternative invariant to distinguish from is the rank of in the mod representation.
[TABLE]
Similarly, for elements of order , the rank of distinguishes cases, one of which is split by the rank of , while the rank of splits two more:
[TABLE]
The trace modulo distinguishes the remaining cases
[TABLE]
4.3.5. Elements of order and
The rank of distinguishes cases of elements of order :
[TABLE]
[TABLE]
All except can be split using the trace mod . This last case would seem to require the trace mod .
[TABLE]
Similarly for elements of order , the rank of distinguishes cases
[TABLE]
Of these, we can distinguish with the rank of , which is and respectively, and with the rank of , which is and respectively. All the rest are distinguished by the trace mod , apart from the case , which seems to require the trace mod .
[TABLE]
4.3.6. Elements of orders
In these cases, the rank of distinguishes the following:
[TABLE]
[TABLE]
For the elements of order , the rank of distinguishes from , which are distinguished from each other by the trace mod :
[TABLE]
For the elements of order , the trace mod distinguishes , and separates from . Then can be separated with the rank of , and with the trace of mod .
[TABLE]
There would appear to be no easily computed invariant which distinguishes from .
4.4. Checking the approximate power maps
We power up each of the given words, to every relevant power (that is, every power dividing the element order), and compute the necessary invariants of the resulting elements. We therefore know the power maps approximately. In every case the power maps agree with the character table in the [6]. Indeed, some of the power maps form part of the definition of our set of class representatives, so the calculations in these cases can in fact be omitted. This includes the class , which is defined to be the square of the classes . Hence it is not necessary to find an invariant to distinguish from , in order to verify the power maps. All that remains in order to verify that the power maps are actually correct, is, firstly, to prove that the class list is correct, and secondly, to deal with any issues concerning algebraically conjugate classes. Details of the computations are given in [4].
5.
Centralizers of prime order elements in the Baby Monster
In this section we determine the classes of prime order elements, and the orders of their centralizers, in the Baby Monster. Much of this information comes from Stroth’s 1976 paper [16]. In cases where [16] does not give full information, our strategy is first to use a certified copy of the Baby Monster from [21] to give lower bounds on both the number of conjugacy classes and the orders of the respective centralizers, and then to use local arguments, together with information about the permutation representation on the -transpositions, to show these are also upper bounds. For technical reasons, we deal with the primes in the order , , , , , , , , , , .
5.1. Fusion of involutions
From [16] we see there are exactly four classes of involutions in , with representatives labelled , , and respectively. In the [6], these are labelled respectively. The centralizers of and and are given in detail in [16]. The centralizer order of is given together with a rough description of the structure.
For the purposes of computation, it is necessary to match these classes to the names given in Section 4. Note that any element of order powers into class , and any element of order powers into class . An element of order powers into either or . We can now compute the rank of for involutions in the certified copy of the Baby Monster in dimension mod , obtaining the values for class and for class . For suitable obtained as the th power of an element of order , we obtain the value , and for another involution we obtain , so these are in class and respectively. Hence the names for involutions in Section 4 are indeed the same as the class names, and we can now easily determine the class of any explicitly given involution.
Following [16], let be a fixed involution centralizer. This group has ten classes of involutions, whose labels in GAP [7] and the are as follows:
[TABLE]
Since has shape , it has an outer automorphism negating the outer classes, and there is an arbitrary choice of which is which of classes . For consistency with [16], we choose to be the class which fuses to in the Baby Monster. On the other hand, the classes are distinguished in their common centralizer , in that the involution in the derived subgroup of is in class . It follows that fuses to in the Baby Monster, while fuses to in the Baby Monster. Indeed, computation using explicit matrices, and suitable class invariants as above, gives the full fusion of involutions from to . We find that GAP classes fuse to , and classes fuse to , while classes fuse to , and classes fuse to .
We will also need to know the fusion of involutions from the subgroups and . The easiest way to verify this is probably to use the words in [21] to find these subgroups explicitly, and compute a suitable class invariant as described above. We then see that classes in fuse to classes respectively, while classes in fuse to respectively in .
5.2. The permutation representation on -transpositions
According to [16] the non-trivial suborbit lengths of acting on the cosets of are as follows:
- •
, with point stabilizer ;
- •
, with point stabilizer ;
- •
, with point stabilizer ; and
- •
, with point stabilizer .
We now compute the permutation characters of the action of on the first three of these suborbits. We use standard operations in GAP, using only the character tables of and certain of its subgroups. For simplicity we use the GAP labels for characters of .
In the first case, the action on the suborbit is the permutation action of on the cosets of the maximal parabolic, and is known to have rank (see, for example, Theorem 4 in [17]). A straightforward combinatorial computation, using GAP, shows that the only way to get the character degrees adding to the correct number is for the degrees to be . The trivial character is a constituent, because it is a permutation character, leaving possibilities for the signs on the other four constituents. It turns out that only one of these characters has non-negative values. This character is the sum of the irreducibles labelled in GAP.
In the second case, GAP computes possible class fusions from into , and we induce up the trivial character in each case. The answers are all the same. The permutation character is a subcharacter of this induced character, and it is easy to determine the character degrees, and then check all possibilities as above. The answer is the sum of irreducibles numbered .
In the third case, similarly, we compute possible class fusions from into . There are then two possibilities for the induced trivial character, and they differ by multiplying the outer elements of by the central involution of . But we know that in the point stabilizer the involutions fuse to in (if necessary we can verify this computationally using the subgroup in our certified copy of the Baby Monster), which distinguishes the two cases. The answer is the sum of characters numbered .
It is not necessary to compute the full permutation character of on the cosets of , which would involve computing the fourth suborbit case as well. Later on we will however need to compute the values on a few selected classes.
5.3. Fusion of -elements
Computationally, using a certified copy of the Baby Monster, and words provided in [21], we find two subgroups and , which normalize cyclic subgroups of order . The corresponding elements of order can be distinguished by the trace in the dimensional representation mod , so do not fuse in . We use the labels and for these two conjugacy classes.
Conversely, note that contains a Sylow -subgroup of so every -element in is conjugate to an element of . Moreover, we know the fusion from to , and in particular, every -class in is represented in and therefore in . Using the fact that -classes and are in , and computing structure constants in , we get that -classes and fuse in . Hence there are exactly two classes of elements of order in .
We now show that a -element has centralizer in . We know its centralizer is at least that (either computationally, as above, or see [16]). On the other hand, the number of -conjugates of is at least one-third of the product of the length of the whole orbit with the length of the relevant suborbit. This number is equal to the index of in , and the claim is proved.
Next we show that the subgroup computed above is the full centralizer of a -element. To do this we need to know the value on of the full permutation character of . Equivalently, the value of the permutation character of the last orbit above on -class . Recall that the point stabilizer in the last orbit is . We use the GAP function PossibleClassFusions applied to the character tables of and to get the fusion of -elements from to . The result is that class in fuses to in , while all other classes of elements of order fuse to or in . Hence the value on -class of the permutation character of on this orbit is . Therefore the value of the whole permutation character of on class is .
Hence we know , and the -centralizer in has order , so we deduce the order of the -centralizer in is and the claim follows.
5.4.
Elements of orders and
From [16] (Lemma 6.11) we get and . The only subgroup of of order is , which is transitive on non-zero elements of . Hence there is a single class of elements of order . (This can also be verified computationally in a certified copy of the Baby Monster.)
In we have a -centralizer . To show that the centralizer in is no bigger, we follow the same strategy as for elements above, although it is slightly more complicated since both classes and fuse to in . The -elements in fuse to class in . Hence the value of the permutation character of on -class is . (As a check, and , so the character value of the last orbit on -class is . This implies the value of the permutation character of on -class is also , as it must be.) Therefore , so that .
For the remaining primes in the list, , , , and , most of the information we need is already in [16]. Lemma 6.13 of [16] says the centralizer order of an element of order is , and the normalizer has order , so there is a single class of elements of order . Lemma 6.8 of [16] says that the order of the Sylow -normalizer is , and the centralizer of an element of order is . Hence the normalizer is . In Lemma 6.12 of [16] there are two possibilities for the normalizer of an element of order . But the normalizer of such an element in is just , so from the proof of Lemma 6.12 we get that the -centralizer in is , and the normalizer is .
The Sylow -subgroup is self-centralizing in , so the Sylow -subgroup of is of order , containing a -element. Since is not divisible by , that forces to lie in . Lemma 6.20 of [16] says that the -normalizer contains , and that the Sylow -subgroup of the -normalizer has order ; we know (from Lemmas 7.13, 7.14, 7.15 and 7.17 of [16]) that all Sylow subgroups of the normalizer are cyclic. From the discussion earlier in this section, we know that the normalizer does not contain elements of order , or . The normalizing rules out and , by the Frattini argument. This leaves . We know the -centralizers, so is ruled out. Finally is ruled out because .
5.5. The elements of order
The subgroup (constructed explicitly in our certified copy of ) contains a full Sylow -subgroup. Every element of order in centralizes an involution, which we know fuses to or in . Moreover, every element of order in or centralizes an element of order . But and contain just one class of elements of order each, so there are at most two classes of elements of order in . On the other hand, we find two classes of -elements with different traces. Hence there are exactly two classes.
The usual argument gives the order of . We have and so the value of the permutation character of the last orbit on this class is . Hence the full permutation character has value on class . Therefore , which is the order of . Hence the -normalizer is .
Computationally, using the matrices and words provided in [21], we find a subgroup , normalizing a cyclic group of order , which must therefore be of type. We shall show that the normalizer is no bigger than this. We know that there is no element in the centralizer of any element of order , or of a . Also and are and do not centralize an involution, so do not centralize a by the Frattini argument. Hence the centralizer of a is a -group, and contains the full Sylow -subgroup of , so only the Sylow - or -subgroup could grow.
Now the centralizer of a -element in is just a cyclic group of order , so the Sylow -subgroup of the -centralizer has order . Since and contain no , we look in and . In only the class of fuses to class , and we see the centralizer of order . In we see centralizer order . In neither case does the Sylow -subgroup grow. Thus we know the orders of all the Sylow subgroups of , and therefore the order of .
5.6. Primes and
The order of the -normalizer now divides and Sylow’s theorem implies it is . Finally the order of the -normalizer divides , so is by Sylow’s Theorem.
6. Obtaining the class list
Our strategy for obtaining the list of conjugacy classes in the Baby Monster is first to determine the classes of even order elements, by computing the character tables of subgroups containing the four distinct involution centralizers, and noting down the conjugacy classes of elements in each subgroup that power to the relevant involution class. (The centralizers of involutions in classes , , are in fact maximal, although it is not necessary to know this, so we have no choice but to use the involution centralizer itself in these cases.) At the same time, we note down the length of each such class. A similar computation for odd-order elements in the centralizers of elements of odd prime order is trivial in comparison.
In fact, there is a great deal of redundancy in the information that we have computed, and classes of elements whose order is divisible by two primes can be computed in two different ways. This provides a robust check on these results, in particular for the large number of classes of elements of order divisible both by and by an odd prime.
6.1. Involution centralizers in the Baby Monster
The character table of the -centralizer is known by [5] and the computations shown in [3]. The -centralizer has the structure , and its character table is determined by those of the subgroups and and the factor groups and , hence it is known.
The -centralizer is contained in subgroups of the structure in . Such subgroups can be constructed explicitly in a certified copy of , using the straight line program from [21]. The character table of this subgroup can be verified by restricting the -modular degree representation of to the subgroup, finding a faithful -dimensional subquotient of this module, and computing the character table from this matrix representation using the MAGMA computer algebra system [2]. (This had been done by E. O’Brien in 2007, but we repeat the computations in order to make sure that only explicitly verified data are used.) In particular, this verification includes a verification that the given subgroup contains the full -centralizer.
The -centralizer has the structure . The character table has been computed in [12] but the arguments assume the character table of . In the remainder of this section, we describe briefly how we verify this character table. Full details can be found in [4].
First we restrict the certified - and -modular representations of degree of to the -centralizer, using the straight line program from [21]; the composition factors of the module have the dimensions , , and in both cases. Next, we find an orbit of length in the -dimensional module over the field of order . The action on this orbit yields a faithful permutation representation of the factor group . We compute class representatives for this factor group, and let MAGMA compute its character table.
The -dimensional module is faithful. We compute the class fusion under the epimorphism from to , and the Brauer characters of our - and -modular representations for this module. Now has a unique faithful irreducible representation in every characteristic except , and this representation has dimension , and extends uniquely to . If denotes the character of the ordinary representation of obtained in this way, then all faithful irreducible characters of arise as tensor products of with the irreducibles of the factor group . In particular the Brauer characters computed above lift to , and therefore we obtain the values of on all classes of elements whose order is not divisible by . For details of how the remaining values were obtained, see [4].
Once the character tables of (overgroups of) all the involution centralizers are available, we can read off from these tables all the conjugacy classes of elements that power to each of the involutions, together with the centralizer orders. This gives us a complete list of all conjugacy classes of even-order elements.
6.2. Elements of odd order
For primes it is now almost a triviality to write down the classes of elements of odd order divisible by . For , we have that is contained in , so the relevant classes can be read off from the classes of elements of that power into class . (Note that the -centralizer in has the shape , and the automorphism swaps the -classes with .)
For elements powering into , we read off the classes and their centralizer orders from the character table of . Similarly, for elements powering into , use the table for , but note that there are some classes missing in the character table for : these only affect the calculations for elements of order , which have already been dealt with in the -centralizer.
In the cases and again, GAP contains character tables of the respective normalizers. However, it is not recorded exactly what information was used to calculate these tables. Therefore we re-calculate them (see [4]). In conclusion, we find that the list of odd-order elements and their centralizer orders agrees with the .
7. Computing the irreducible characters of the Baby Monster
From the previous sections, we know that contains subgroups of the structures , , and . The ordinary character tables of these groups have been verified (see [5]) and thus may be used in our computations. The class fusions from these subgroups to can be computed with the methods available in GAP [7]. Moreover, in Section 6.1, we have computed the character table of the -centralizer in . The class fusion from to is determined by evaluating the three representations of at the class representatives of , and applying the invariants from Section 4.
Thus we can induce the irreducible characters from these subgroups to . Using the power maps of , we induce also the irreducibles of all cyclic subgroups of . Now we proceed in two steps.
In the first step, we assume that has an ordinary irreducible representation of degree such that the reductions modulo and are (irreducible and) equivalent to the representations we have used in the previous sections, and such that the reduction modulo has one trivial composition factor and one that is equivalent to the representation we have used above. Then the Brauer character values of our representations yield the values of , except on the classes of elements with order divisible by , and the missing values are uniquely determined by the obvious bounds. If we add and the trivial character of to the list of induced characters then applying standard character-theoretic techniques such as LLL reduction yields a complete list of irreducible characters for , which coincides with the characters in the table of .
In the second step, we do not want to assume the existence of the ordinary character , and try to apply the character-theoretic criteria to the safe list of induced characters. This way, we do not get any irreducible character. However, we can show that class functions from the list of irreducibles computed in the first step lie in the lattice spanned by the induced characters. Thus these class functions are verified as irreducible characters of . Now we form symmetrizations and tensor products of the known irreducible characters, and the lattice spanned by the known characters of contains all the missing irreducibles computed in the first step. Thus we are done. Again, the details of these constructions can be found in [4].
Acknowledgements
We thank Chris Parker for significant contributions to the original version of this paper, and we thank the referee for helpful comments that enabled us to avoid the need for them.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] M. Bhargava, R. Guralnick, G. Hiss, K. Lux, and P. H. Tiep (eds.), Finite simple groups: thirty years of the Atlas and beyond , Contemporary Mathematics, vol. 694, Providence, RI, American Mathematical Society, 2017.
- 2[2] W. Bosma, J. Cannon, and C. Playoust, The Magma algebra system. I. The user language, J. Symbolic Comput. 24 (1997), no. 3–4, 235–265.
- 3[3] T. Breuer, Constructing the ordinary character tables of some Atlas groups using character theoretic methods. ar Xiv:1604.00754 [math.RT] .
- 4[4] T. Breuer, K. Magaard and R. A. Wilson, Some steps in the verification of the ordinary character table of the Baby Monster group. ar Xiv:1902.06823 [math.RT] .
- 5[5] T. Breuer, G. Malle, and E. A. O’Brien, Reliability and reproducibility of Atlas information, in Bhargava et al. [ 1 ] , p. 21–31.
- 6[6] J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker and R. A. Wilson, An Atlas of Finite Groups , Oxford Univ. Press, 1985.
- 7[7] The GAP Group, GAP – Groups, Algorithms, and Programming, Version 4.8 , 2016, http://www.gap-system.org .
- 8[8] Robert L. Griess, Jr., The Schur multipliers of the known finite simple groups, III, Proceedings of the Rutgers Group Theory Year, 1983/4 , 69–80. CUP, 1985.
