Mathieu group M22

For general background and history of the Mathieu sporadic groups, see Mathieu group.

In the area of modern algebra known as group theory, the Mathieu group M22 is a sporadic simple group of order

   27 · 32 · 5 · 7 · 11 = 443520
≈ 4×105.

History and properties

M22 is one of the 26 sporadic groups and was introduced by Mathieu (1861, 1873). It is a 3-fold transitive permutation group on 22 objects. The Schur multiplier of M22 is cyclic of order 12, and the outer automorphism group has order 2.

There are several incorrect statements about the 2-part of the Schur multiplier in the mathematical literature. Burgoyne & Fong (1966) incorrectly claimed that the Schur multiplier of M22 has order 3, and in a correction Burgoyne & Fong (1968) incorrectly claimed that it has order 6. This caused an error in the title of the paper Janko (1976) announcing the discovery of the Janko group J4. Mazet (1979) showed that the Schur multiplier is in fact cyclic of order 12.

Adem & Milgram (1995) calculated the 2-part of all the cohomology of M22.

Representations

M22 has a 3-transitive permutation representation on 22 points, with point stabilizer the group PSL3(4), sometimes called M21. This action fixes a Steiner system S(3,6,22) with 77 hexads, whose full automorphism group is the automorphism group M22.2 of M22.

M22 has three rank 3 permutation representations: one on the 77 hexads with point stabilizer 24:A6, and two rank 3 actions on 176 heptads that are conjugate under an outer automorphism and have point stabilizer A7.

M22 is the point stabilizer of the action of M23 on 23 points, and also the point stabilizer of the rank 3 action of the Higman–Sims group on 100 = 1+22+77 points.

The triple cover 3.M22 has a 6-dimensional faithful representation over the field with 4 elements.

The 6-fold cover of M22 appears in the centralizer 21+12.3.(M22:2) of an involution of the Janko group J4.

Maximal subgroups

There are no proper subgroups transitive on all 22 points. There are 8 conjugacy classes of maximal subgroups of M22 as follows:

Stabilizer of W22 block
There are 2 sets, of 15 each, of simple subgroups of order 168. Those of one type have orbits of 1, 7 and 14; the others have orbits of 7, 8, and 7.
Conjugate to preceding type in M22:2.
A 2-point stabilizer in the sextet group
A one-point stabilizer of M11 (point in orbit of 11)
A non-split group extension of form A6.2
Another one-point stabilizer of M11 (point in orbit of 12)

Conjugacy classes

There are 12 conjugacy classes, though the two classes of elements of order 11 are fused under an outer automorphism.

OrderNo. elementsCycle structure
1 = 11122
2 = 21155 = 3 · 5 · 7 · 111628
3 = 312320 = 25 · 5 · 7 · 111436
4 = 2213860 = 22 · 32 · 5 · 7 · 11122244
27720 = 23 · 32 · 5 · 7 · 11122244
5 = 588704 = 27 · 32 · 7 · 111254
6 = 2 · 336960 = 25 · 3 · 5 · 7 · 11223262
7 = 763360= 27 · 32 · 5 · 111 73
7 = 763360= 27 · 32 · 5 · 111 73
8 = 2355440 = 24 · 32 · 5 · 7 · 112·4·82
11 = 1140320 = 27 · 32 · 5 · 7112
11 = 1140320 = 27 · 32 · 5 · 7112

References

External links

This article is issued from Wikipedia - version of the Wednesday, August 26, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.