ATLAS: Mathieu group M22

Order = 443520 = 27.32.5.7.11.
Mult = 12.
Out = 2.

The following information is available for M22:


Standard generators

Standard generators of the Mathieu group M22 are a and b where a has order 2, b is in class 4A, ab has order 11 and ababb has order 11.
There are problems of 'virtue' in defining standard generators for the various covering groups. The ones defined here may change subtly at a later date.
Standard generators of the double cover 2.M22 are preimages A and B where A is in +2A, B is in -4A and AB has order 11 (any two of these conditions imply the third). An equivalent set of conditions is that AB has order 11 and ABABB has order 11.
Standard generators of the triple cover 3.M22 are preimages A and B where A has order 2 and B has order 4.
Standard generators of the fourfold cover 4.M22 are preimages A and B where [A has order 2,] AB has order 11 and ABABB has order 11.
Standard generators of the sixfold cover 6.M22 are preimages A and B where A is in class +2A, and B is in class -4A. (Equivalently, A, B, AB and ABABB have orders 2, 4, 33 and 33 respectively.)
Standard generators of the twelvefold cover 12.M22 are preimages A and B where A has order 2, B has order 4, AB has order 33 and ABABB has order 33.

Standard generators of the automorphism group M22:2 are c and d where c is in class 2B, d is in class 4C and cd has order 11.
Standard generators of the double cover 2.M22.2 are preimages C and D where CD has order 11.
Standard generators of the triple cover 3.M22:2 are preimages C and D where CD has order 11.
Standard generators of the fourfold cover 4.M22.2 are preimages C and D where CD has order 11.
Standard generators of the sixfold cover 6.M22.2 are preimages C and D where CD has order 11.
Standard generators of the twelvefold cover 12.M22.2 are preimages C and D where CD has order 11.


Black box algorithms

Finding generators

To find standard generators for M22:

This algorithm is available in computer readable format: finder for M22.

To find standard generators for M22.2:

This algorithm is available in computer readable format: finder for M22.2.

Checking generators

To check that elements x and y of M22 are standard generators:

This algorithm is available in computer readable format: checker for M22.

To check that elements x and y of M22.2 are standard generators:

This algorithm is available in computer readable format: checker for M22.2.

Presentations

Presentations of M22 and M22:2 in terms of their standard generators are given below.

< a, b | a2 = b4 = (ab)11 = (ab2)5 = [a, bab]3 = (ababab-1)5 = 1 >.

< c, d | c2 = d4 = (cd)11 = (cd2)6 = [c, d]4 = (cdcdcd2cd2)3 = 1 >.

These presentations are available in Magma format as follows: M22 on a and b and M22:2 on c and d.


Representations

Representations are available for the following decorations of M22:

M22 and covers

The representations of M22 available are: The representations of 2.M22 available are: The representations of 3.M22 available are: The representations of 4.M22 available are: The representations of 6.M22 available are: The representations of 12.M22 available are:

M22:2 and covers

The representations of M22:2 available are: The representations of 2.M22:2 available are: The representations of 3.M22:2 available are: The representations of 4.M22:2 available are: The representations of 6.M22:2 available are: The representations of 12.M22:2 available are:

Maximal subgroups

The maximal subgroups of M22 are as follows. Words provided by Peter Walsh, implemented and checked by Ibrahim Suleiman. The maximal subgroups of M22:2 are as follows. The presentation files here and here contain generators for the maximal, and some other subgroups of M22 and M22:2 respectively.

Conjugacy classes

A set of generators for the maximal cyclic subgroups can be obtained by running this program (W1) or this program (W2) on the standard generators. All conjugacy classes can therefore be obtained as suitable powers of these elements, by running this program (on the output of either the W1- or W2-program).

The word programs give the following class representatives for M22:

The following are some class representatives of 12.M22:
12.M22-ClassClass representative(s), in terms
of the output of the W1-program
Class representative(s), in terms
of the output of the W2-program
z3.1A
(top central element of order 3)
11A11 = (AB)11 11A11 = (AB)11 or 11B44 = (ABABAB2)44
i.1A
(top central element of order 4)
7A63 11B99 = (ABABAB2)99
[+]4B (class +4B in 3.M22) 4B3 = (ABABABAB3)3 4B3 = (ABABABAB3)3
+5A 5A = AB2 5A = AB2
±6A (class +6A in 6.M22)
+7A 7A36 7A36 or 7A18 = (ABABABAB3AB2)18
+8A 8A21 = (ABABAB2AB3)21 8A9 = (ABABAB3AB2)9
+11A 11A3 = (AB)3 11A3 = (AB)3

The same program (W1) can be used to distinguish central elements in the covers: (DO NOT USE THE W2-PROGRAM FOR THIS.)
The 11th power of 11A is the top central element of order 3, and acts as the scalar z3 in the representations whose character is printed in the Atlas.
The 63rd power of 7A is the top central element of order 4, and acts as the scalar i in the representations whose character is printed in the Atlas.
The 36th power of 7A is in class +7A in all covers and is therefore the element whose character values are printed in the Atlas.
The 21st power of 8A is in class +8A in all covers and is therefore the element whose character values are printed in the Atlas.
The 3rd power of 11A is in class +11A in all covers and is therefore the element whose character values are printed in the Atlas.
Warning: this has not been properly checked, and may be incompatible with information given elsewhere. Also, for 12.M22 mod 11, we should also be giving representations in the cohort where the given central element of order 3 [11A11] acts as the scalar z3** and the given central element of order 4 [7A63] acts as the scalar i.


Main ATLAS page Go to main ATLAS (version 2.0) page.
Sporadic groups page Go to sporadic groups page.
Old M22 page Go to old M22 page - ATLAS version 1.
ftp access Anonymous ftp access is also available. See here for details.

Version 2.0 created on 23rd January 2001.
Last updated 21.12.04 by SJN.
Information checked to Level 0 on 23.01.01 by RAW.
R.A.Wilson, R.A.Parker and J.N.Bray.