ATLAS: Mathieu group M12

Order = 95040 = 26.33.5.11.
Mult = 2.
Out = 2.

The following information is available for M12:


Standard generators

Standard generators of M12 are a and b where a is in class 2B, b is in class 3B and ab has order 11.
Standard generators of the double cover 2.M12 are preimages A and B where A is in class +2B, B has order 6 and AB has order 11. (Note that any two of these conditions imply the third.)

Standard generators of M12:2 are c and d where c is in class 2C, d is in class 3A and cd is in class 12A. (This last condition can be replaced by: cd has order 12 and cdcdd has order 11.)
Standard generators of either of the double covers 2.M12.2 are preimages C and D where D has order 3.

A pair of elements automorphic to A, B can be obtained as
A' = (CDCDCDDCD)3, B' = (CDD)-3(CD)4(CDD)3.


Black box algorithms

Finding generators

To find standard generators for M12:

An alternative method of finding standard generators for M12:

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

To find standard generators for M12.2:

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

Checking generators

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

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

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

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

Presentations

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

< a, b | a2 = b3 = (ab)11 = [a, b]6 = (ababab-1)6 = 1 >.

< c, d | c2 = d3 = (cd)12 = (cd)5[c, d](cd-1)3cd[c, d-1]2cdcd(cd-1)3[c, d-1] = 1 >.

These presentations are available in Magma format as follows:
M12 on a and b, 2M12 on A and B, 2M12 on A'' and B'', M12:2 on c and d [v1] and M12:2 on c and d [v2].


Representations

The representations of M12 available are: The representations of 2.M12 available are: The representations of M12:2 available are: The representations of 2.M12:2 available are:

Maximal subgroups

The maximal subgroups of M12 are: The maximal subgroups of M12:2 are:

Conjugacy classes

A set of generators for the maximal cyclic subgroups of M12 can be obtained by running this program on the standard generators. All conjugacy classes can therefore be obtained as suitable powers of these elements. There are no problems of algebraic conjugacy.

Representatives of the 15 conjugacy classes of M12 are also given below. The first choice of class representative for classes 6A, 6B, 8A, 8B, 10A and 11A is that which is produced by the above word program.

The preimages of classes 2A, 4A, 4B and 6A do not split in 2.M12, and the resulting element orders are 4, 4, 4 and 12. We give representatives of the other 11 classes up to multiplication by the central involution. All of this is forced by the 6-dimensional 3-modular representations and the 24-point permutation representations.

A set of generators for the maximal cyclic subgroups of M12.2 can be obtained by running this program on the standard generators. All conjugacy classes can therefore be obtained as suitable powers of these elements.
The notation has been chosen so that the words for the representatives of classes 12A, 12C and 8AB give elements of 2M12.2 in classes +12A, +12C and +8AB.


Main ATLAS page Go to main ATLAS (version 2.0) page.
Sporadic groups page Go to sporadic groups page.
Old M12 page Go to old M12 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 10.1.05 by SJN.
Information checked to Level 0 on 23.01.01 by RAW.
R.A.Wilson, R.A.Parker and J.N.Bray.