ATLAS: Mathieu group M22

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

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 2M22 are pre-images 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).
Standard generators of the triple cover 3M22 are pre-images A and B where A has order 2 and B has order 4.
Standard generators of the fourfold cover 4M22 are pre-images A and B where A has order 2, AB has order 11, and ABABB has order 11.
Standard generators of the sixfold cover 6M22 are pre-images A and B where A is in class +2A, and B is in class -4A.
Standard generators of the twelvefold cover 12M22 are pre-images 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 2M22:2 are pre-images C and D where CD has order 11.
Standard generators of the triple cover 3M22:2 are pre-images C and D where CD has order 11. Standard generators of the fourfold cover 4M22:2 are pre-images C and D where CD has order 11. Standard generators of the sixfold cover 6M22:2 are pre-images C and D where CD has order 11. Standard generators of the twelvefold cover 12M22:2 are pre-images C and D where CD has order 11.

Black box algorithms

To find standard generators for M22: To find standard generators for M22.2:

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

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. Problems of algebraic conjugacy are not yet dealt with.
- Return to main ATLAS page. - Last updated 21.12.99

- R.A.Wilson@bham.ac.uk
- richard@ukonline.co.uk