*** Welcome to piglix ***

Mathieu group M12


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

M12 is one of the 26 sporadic groups and was introduced by Mathieu (1861, 1873). It is a sharply 5-transitive permutation group on 12 objects. Burgoyne & Fong (1968) showed that the Schur multiplier of M12 has order 2 (correcting a mistake in (Burgoyne & Fong 1966) where they incorrectly claimed it has order 1).

The double cover had been implicitly found earlier by Coxeter (1958), who showed that M12 is a subgroup of the projective linear group of dimension 6 over the finite field with 3 elements.

The outer automorphism group has order 2, and the full automorphism group M12.2 is contained in M24 as the stabilizer of a pair of complementary dodecads of 24 points, with outer automorphisms of M12 swapping the two dodecads.

Frobenius (1904) calculated the complex character table of M12.

M12 has a strictly 5-transitive permutation representation on 12 points, whose point stabilizer is the Mathieu group M11. Identifying the 12 points with the projective line over the field of 11 elements, M12 is generated by the permutations of PSL2(11) together with the permutation (2,10)(3,4)(5,9)(6,7). This permutation representation preserves a Steiner system S(5,6,12) of 132 special hexads, such that each pentad is contained in exactly 1 special hexad, and the hexads are the supports of the weight 6 codewords of the extended ternary Golay code. In fact M12 has two inequivalent actions on 12 points, exchanged by an outer automorphism; these are analogous to the two inequivalent actions of the symmetric group S6 on 6 points.


...
Wikipedia

...