ATLAS: Mathieu group M11

Order = 7920 =
Mult = 1.
Out = 1.

The following information is available for M11:

Standard generators

Standard generators of M11 are a and b where a has order 2, b has order 4, ab has order 11 and ababababbababbabb has order 4. Two equivalent conditions to the last one are that ababbabbb has order 5 or that ababbbabb has order 3.
In the natural representation we may take a = (2, 10)(4, 11)(5, 7)(8, 9) and b = (1, 4, 3, 8)(2, 5, 6, 9).

Black box algorithms

Finding generators

To find standard generators for M11: This algorithm is available in computer readable format: finder for M11.

Checking generators

To check that elements x and y of M11 are standard generators: This algorithm is available in computer readable format: checker for M11.


A presentation for M11 in terms of its standard generators is given below.

< a, b | a2 = b4 = (ab)11 = (ab2)6 = ababab-1abab2ab-1abab-1ab-1 = 1 >.

This presentation is available in Magma format as follows: M11 on a and b.


The representations available are as follows. They should follow the order in the ATLAS of Brauer Characters, with the conjugacy classes defined by ab in 11A and ababababb in 8B, but please check this yourself if you rely on it!

Sources: All the above representations, except those in characteristic 0, are easily obtained with the Meataxe from the permutation representations on 11 and 12 points. Most of the representations in characteristic 0 are not that difficult to obtain either (the most difficult being the non­rational representations of degree 10).

NB: There is some ambiguity as to which of the two 5­dimensional GF(3)­modules of M11 should be regarded as the code and which as the cocode. Let M = 2M12 be the full automorphism group of the ternary Golay code. So M monomially permutes the vectors e1, e2, . . . , e12 (and their negatives). Now M has two conjugacy classes of subgroups isomorphic to M11 and their representatives may be taken to be M1, stabilising e1, and M2, the subgroup of (pure) permutations. The terms `code' and `cocode' used above refer to M1 and NOT to M2.

In the GF(3)­representation 5a, M11 has orbits 11 + 110 on points and orbits 22 + 220 on nonzero vectors.
In the GF(3)­representation 5b, M11 has orbits 55 + 66 on points and orbits 132 + 110 on nonzero vectors.

Maximal subgroups

The maximal subgroups of M11 are as follows.

Conjugacy classes

A set of generators for the maximal cyclic subgroups can be obtained by running this program on the standard generators. All conjugacy classes can therefore be obtained as suitable powers of these elements, for example by running this program afterwards. All conjugacy classes can be obtained directly from the standard generators by running this program.

Representatives of the 10 conjugacy classes of M11 are also given below.

Checks applied

CheckDateBy whomRemarks
Links work (except representations) 04.02.02JNB
Links to (meataxe) representations work and have right degree and field 24.01.01RAW
All info from v1 is included
Valid W3C HTML 4.01 Transitional 04.02.02JNBThis property is very easy to disrupt
HTML page standard
Word program syntax24.01.01RAW
Word programs applied
All necessary standard generators are defined24.01.01RAW
All representations are in standard generators

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

Version 2.0 created on 13th April 1999.
Last updated 21.12.04 by SJN.
Information checked to Level 1 on 03.12.99 by JNB.
R.A.Wilson, R.A.Parker and J.N.Bray.