| Algebraic structure → Group theory Group theory |
|---|
 |
In the area of modern algebra known as group theory, the Mathieu groupM12 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.
The double cover 2.M12 is the automorphism group of the extended ternary Golay code, a dimension 6 length 12 code over the field of order 3 of minimum weight 6. In particular the double cover has an irreducible 6-dimensional representation over the field of 3 elements.
The double cover 2.M12 is the automorphism group of any 12×12 Hadamard matrix.
M12 centralizes an element of order 11 in the monster group, as a result of which it acts naturally on a vertex algebra over the field with 11 elements, given as the Tate cohomology of the monster vertex algebra.
There are 11 conjugacy classes of maximal subgroups of M12, 6 occurring in automorphic pairs, as follows:
The cycle shape of an element and its conjugate under an outer automorphism are related in the following way: the union of the two cycle shapes is balanced, in other words invariant under changing each n-cycle to an N/n cycle for some integer N.
| Order | Number | Centralizer | Cycles | Fusion |
|---|---|---|---|---|
| 1 | 1 | 95040 | 112 | |
| 2 | 396 | 240 | 26 | |
| 2 | 495 | 192 | 1424 | |
| 3 | 1760 | 54 | 1333 | |
| 3 | 2640 | 36 | 34 | |
| 4 | 2970 | 32 | 2242 | Fused under an outer automorphism |
| 4 | 2970 | 32 | 1442 | |
| 5 | 9504 | 10 | 1252 | |
| 6 | 7920 | 12 | 62 | |
| 6 | 15840 | 6 | 1 2 3 6 | |
| 8 | 11880 | 8 | 122 8 | Fused under an outer automorphism |
| 8 | 11880 | 8 | 4 8 | |
| 10 | 9504 | 10 | 2 10 | |
| 11 | 8640 | 11 | 1 11 | Fused under an outer automorphism |
| 11 | 8640 | 11 | 1 11 |
In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric group defined over a finite set of symbols consists of the permutations that can be performed on the symbols. Since there are such permutation operations, the order of the symmetric group is .
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.
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).
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.
In the area of modern algebra known as group theory, the Suzuki groupSuz or Sz is a sporadic simple group of order
In the area of modern algebra known as group theory, the Higman–Sims group HS is a sporadic simple group of order
In group theory, the Tits group2F4(2)′, named for Jacques Tits (French:[tits]), is a finite simple group of order
In the area of modern algebra known as group theory, the Janko groupJ1 is a sporadic simple group of order
In group theory, a branch of mathematics, the automorphisms and outer automorphisms of the symmetric groups and alternating groups are both standard examples of these automorphisms, and objects of study in their own right, particularly the exceptional outer automorphism of S6, the symmetric group on 6 elements.
In the area of modern algebra known as group theory, the Mathieu groupM11 is a sporadic simple group of order
In the area of modern algebra known as group theory, the Mathieu groupM22 is a sporadic simple group of order
In the area of modern algebra known as group theory, the Mathieu groupM23 is a sporadic simple group of order
In the area of modern algebra known as group theory, the Mathieu groupM24 is a sporadic simple group of order
In the area of modern algebra known as group theory, the McLaughlin group McL is a sporadic simple group of order
In the area of modern algebra known as group theory, the Suzuki groups, denoted by Sz(22n+1), 2B2(22n+1), Suz(22n+1), or G(22n+1), form an infinite family of groups of Lie type found by Suzuki, that are simple for n ≥ 1. These simple groups are the only finite non-abelian ones with orders not divisible by 3.
In mathematics, the Steinberg triality groups of type 3D4 form a family of Steinberg or twisted Chevalley groups. They are quasi-split forms of D4, depending on a cubic Galois extension of fields K ⊂ L, and using the triality automorphism of the Dynkin diagram D4. Unfortunately the notation for the group is not standardized, as some authors write it as 3D4(K) (thinking of 3D4 as an algebraic group taking values in K) and some as 3D4(L) (thinking of the group as a subgroup of D4(L) fixed by an outer automorphism of order 3). The group 3D4 is very similar to an orthogonal or spin group in dimension 8.
In the area of modern algebra known as group theory, the Conway groupCo2 is a sporadic simple group of order
In the area of modern algebra known as group theory, the Conway group is a sporadic simple group of order
In the area of modern algebra known as group theory, the Conway groupCo1 is a sporadic simple group of order
