Mathieu group M22

Last updated

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

Contents

   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 73Power equivalent
63360= 27 · 32 · 5 · 111 73
8 = 2355440 = 24 · 32 · 5 · 7 · 112·4·82
11 = 1140320 = 27 · 32 · 5 · 7112Power equivalent
40320 = 27 · 32 · 5 · 7112

See also

Related Research Articles

<span class="mw-page-title-main">Group action</span> Transformations induced by a mathematical group

In mathematics, many sets of transformations form a group under function composition; for example, the rotations around a point in the plane. It is often useful to consider the group as an abstract group, and to say that one has a group action of the abstract group that consists of performing the transformations of the group of transformations. The reason for distinguishing the group from the transformations is that, generally, a group of transformations of a structure acts also on various related structures; for example, the above rotation group acts also on triangles by transforming triangles into triangles.

<span class="mw-page-title-main">Sporadic group</span> Finite simple group type not classified as Lie, cyclic or alternating

In the mathematical classification of finite simple groups, there are 26 or 27 groups which do not fit into any infinite family. These are called the sporadic simple groups, or the sporadic finite groups, or just the sporadic groups.

<span class="mw-page-title-main">Conway group</span>

In the area of modern algebra known as group theory, the Conway groups are the three sporadic simple groups Co1, Co2 and Co3 along with the related finite group Co0 introduced by (Conway 1968, 1969).

<span class="mw-page-title-main">Mathieu group</span> Five sporadic simple groups

In group theory, a topic in abstract algebra, the Mathieu groups are the five sporadic simple groups M11, M12, M22, M23 and M24 introduced by Mathieu. They are multiply transitive permutation groups on 11, 12, 22, 23 or 24 objects. They are the first sporadic groups to be discovered.

<span class="mw-page-title-main">Suzuki sporadic group</span> Sporadic simple group

In the area of modern algebra known as group theory, the Suzuki groupSuz or Sz is a sporadic simple group of order

<span class="mw-page-title-main">Higman–Sims group</span> Sporadic simple group

In the area of modern algebra known as group theory, the Higman–Sims group HS is a sporadic simple group of order

<span class="mw-page-title-main">Group of Lie type</span>

In mathematics, specifically in group theory, the phrase group of Lie type usually refers to finite groups that are closely related to the group of rational points of a reductive linear algebraic group with values in a finite field. The phrase group of Lie type does not have a widely accepted precise definition, but the important collection of finite simple groups of Lie type does have a precise definition, and they make up most of the groups in the classification of finite simple groups.

Janko group J<sub>1</sub> Sporadic simple group

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

Janko group J<sub>4</sub> Sporadic simple group

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

Janko group J<sub>2</sub> Sporadic simple group

In the area of modern algebra known as group theory, the Janko groupJ2 or the Hall-Janko groupHJ is a sporadic simple group of order

Mathieu group <i>M</i><sub>11</sub> Sporadic simple group

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

Mathieu group M<sub>12</sub> Sporadic simple group

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

Mathieu group M<sub>23</sub> Sporadic simple group

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

Mathieu group M<sub>24</sub> sporadic simple group

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

<span class="mw-page-title-main">McLaughlin sporadic group</span> Sporadic simple group

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

In mathematical finite group theory, a rank 3 permutation group acts transitively on a set such that the stabilizer of a point has 3 orbits. The study of these groups was started by Higman. Several of the sporadic simple groups were discovered as rank 3 permutation groups.

Conway group Co<sub>2</sub> Sporadic simple group

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

Conway group Co<sub>3</sub> Sporadic simple group

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

References