 Mathieu group

Group theory Group theory Cyclic group Z_{n}
Symmetric group, S_{n}
Dihedral group, D_{n}
Alternating group A_{n}
Mathieu groups M_{11}, M_{12}, M_{22}, M_{23}, M_{24}
Conway groups Co_{1}, Co_{2}, Co_{3}
Janko groups J_{1}, J_{2}, J_{3}, J_{4}
Fischer groups F_{22}, F_{23}, F_{24}
Baby Monster group B
Monster group MSolenoid (mathematics)
Circle group
General linear group GL(n)
Special linear group SL(n)
Orthogonal group O(n)
Special orthogonal group SO(n)
Unitary group U(n)
Special unitary group SU(n)
Symplectic group Sp(n)
Lorentz group
Poincaré group
Conformal group
Diffeomorphism group
Loop group
Infinitedimensional Lie groups O(∞) SU(∞) Sp(∞)v · mathematical field of group theory, the Mathieu groups, named after the French mathematician Émile Léonard Mathieu, are five finite simple groups he discovered and reported in papers in 1861 and 1873; these were the first sporadic simple groups discovered. They are usually denoted by the symbols M_{11}, M_{12}, M_{22}, M_{23}, M_{24}, and can be thought of respectively as permutation groups on sets of 11, 12, 22, 23 or 24 objects (or points). Sometimes the notation M_{7}, M_{8}, M_{9}, M_{10}, M_{19}, M_{20} and M_{21} is used for related groups (which act on sets of 7, 8, 9, 10, 19, 20, and 21 points, respectively), namely the stabilizers of points in the larger groups. While these are not sporadic simple groups, they are important subgroups of the larger groups and can be used to construct the larger ones.^{[note 1]} Conversely, John Conway has suggested that one can extend this sequence up by generalizing the fifteen puzzle, obtaining a subset of the symmetric group on 13 points denoted M_{13}.^{[1]}^{[2]}
M_{24}, the largest of the groups, and which contains all the others, is contained within the symmetry group of the binary Golay code, which has practical uses. Moreover, the Mathieu groups are fascinating to many group theorists as mathematical anomalies.
Contents
History
Simple groups are defined as having no nontrivial proper normal subgroups. Intuitively this means they cannot be broken down in terms of smaller groups. For many years group theorists struggled to classify the simple groups and had found all of them by about 1980. Simple groups belong to a number of infinite families except for 26 groups including the Mathieu groups, called sporadic simple groups. After the Mathieu groups no new sporadic groups were found until 1965, when the group J_{1} was discovered.
Multiply transitive groups
Mathieu was interested in finding multiply transitive permutation groups, which will now be defined. For a natural number k, a permutation group G acting on n points is ktransitive if, given two sets of points a_{1}, ... a_{k} and b_{1}, ... b_{k} with the property that all the a_{i} are distinct and all the b_{i} are distinct, there is a group element g in G which maps a_{i} to b_{i} for each i between 1 and k. Such a group is called sharply ktransitive if the element g is unique (i.e. the action on ktuples is regular, rather than just transitive).
M_{24} is 5transitive, and M_{12} is sharply 5transitive, with the other Mathieu groups (simple or not) being the subgroups corresponding to stabilizers of m points, and accordingly of lower transitivity (M_{23} is 4transitive, etc.).
The only 4transitive groups are the symmetric groups S_{k} for k at least 4, the alternating groups A_{k} for k at least 6, and the Mathieu groups M_{24}, M_{23}, M_{12} and M_{11}. The full proof requires the classification of finite simple groups, but some special cases have been known for much longer.
It is a classical result of Jordan that the symmetric and alternating groups (of degree k and k + 2 respectively), and M_{12} and M_{11} are the only sharply ktransitive permutation groups for k at least 4.
Important examples of multiply transitive groups are the 2transitive groups and the Zassenhaus groups. The Zassenhaus groups notably include the projective general linear group of a projective line over a finite field, PGL(2,F_{q}), which is sharply 3transitive (see cross ratio) on q + 1 elements.
Order and transitivity table
Group Order Order (product) Factorised order Transitivity Simple M_{24} 244823040 3·16·20·21·22·23·24 2^{10}·3^{3}·5·7·11·23 5transitive simple M_{23} 10200960 3·16·20·21·22·23 2^{7}·3^{2}·5·7·11·23 4transitive simple M_{22} 443520 3·16·20·21·22 2^{7}·3^{2}·5·7·11 3transitive simple M_{21} 20160 3·16·20·21 2^{6}·3^{2}·5·7 2transitive simple M_{20} 960 3·16·20 2^{6}·3·5 1transitive not simple M_{19} 48 3·16 2^{4}·3 0transitive^{[note 2]} not simple M_{12} 95040 8·9·10·11·12 2^{6}·3^{3}·5·11 sharply 5transitive simple M_{11} 7920 8·9·10·11 2^{4}·3^{2}·5·11 sharply 4transitive simple M_{10} 720 8·9·10 2^{4}·3^{2}·5 sharply 3transitive not simple M_{9} 72 8·9 2^{3}·3^{2} sharply 2transitive not simple M_{8} 8 8 2^{3} sharply 1transitive not simple M_{7} 1 1 1 sharply 0transitive not simple Constructions of the Mathieu groups
The Mathieu groups can be constructed in various ways.
Permutation groups
M_{12} has a simple subgroup of order 660, a maximal subgroup. That subgroup can be represented as a linear fractional group on the field F_{11} of 11 elements. With 1 written as a and infinity as b , two standard generators are (0123456789a) and (0b)(1a)(25)(37)(48)(69). A third generator giving M_{12} sends an element x of F_{11} to 4x^{2}3x^{7}; as a permutation that is (26a7)(3945). The stabilizer of 4 points is a quaternion group.
Likewise M_{24} has a maximal simple subgroup of order 6072 and this can be represented as a linear fractional group on the field F_{23}. One generator adds 1 to each element (leaving the point N at infinity fixed), i. e. (0123456789ABCDEFGHIJKLM)(N), and the other is the order reversing permutation, (0N)(1M)(2B)(3F)(4H)(59)(6J)(7D)(8K)(AG)(CL)(EI). A third generator giving M_{24} sends an element x of F_{23} to 4x^{4}3x^{15}; unexciting computation shows that as a permutation this is (2G968)(3CDI4)(7HABM)(EJLKF).
These constructions were cited by Carmichael;^{[3]} Dixon and Mortimer ascribe the permutations to Mathieu.^{[4]}
Automorphism groups of Steiner systems
There exists up to equivalence a unique S(5,8,24) Steiner system W_{24} (the Witt design). The group M_{24} is the automorphism group of this Steiner system; that is, the set of permutations which map every block to some other block. The subgroups M_{23} and M_{22} are defined to be the stabilizers of a single point and two points respectively.
Similarly, there exists up to equivalence a unique S(5,6,12) Steiner system W_{12}, and the group M_{12} is its automorphism group. The subgroup M_{11} is the stabilizer of a point.
M_{24} from PSL(3,4)
M_{24} can be built starting from PSL(3,4); this is one of the remarkable phenomena of mathematics.
A good nest egg for M_{24} is PSL(3,4), the projective special linear group of 3dimensional space over the finite field with 4 elements,^{[5]} also called M_{21} which acts on the projective plane over the field F_{4}, an S(2,5,21) system called W_{21}. Its 21 blocks are called lines. Any 2 lines intersect at one point.
M_{21} has 168 simple subgroups of order 360 and 360 simple subgroups of order 168. In the larger projective general linear group PGL(3,4) both sets of subgroups form single conjugacy classes, but in M_{21} both sets split into 3 conjugacy classes. The subgroups respectively have orbits of 6, called hyperovals, and orbits of 7, called Fano subplanes. These sets allow creation of new blocks for larger Steiner systems. M_{21} is normal in PGL(3,4), of index 3. PGL(3,4) has an outer automorphism induced by transposing conjugate elements in F_{4} (the field automorphism). PGL(3,4) can therefore be extended to the group PΓL(3,4) of projective semilinear transformations, which is a split extension of M_{21} by the symmetric group S_{3}. PΓL(3,4) turns out to have an embedding as a maximal subgroup of M_{24}.^{[6]}
A hyperoval has no 3 points that are colinear. A Fano subplane likewise satisfies suitable uniqueness conditions .
To W_{21} append 3 new points and let the automorphisms in PΓL(3,4) but not in M_{21} permute these new points. An S(3,6,22) system W_{22} is formed by appending just one new point to each of the 21 lines and new blocks are 56 hyperovals conjugate under M_{21}.
An S(5,8,24) system would have 759 blocks, or octads. Append all 3 new points to each line of W_{21}, a different new point to the Fano subplanes in each of the sets of 120, and append appropriate pairs of new points to all the hyperovals. That accounts for all but 210 of the octads. Those remaining octads are subsets of W_{21} and are symmetric differences of pairs of lines. There are many possible ways to expand the group PΓL(3,4) to M_{24}.
W_{12}
W_{12} can be constructed from the affine geometry on the vector space F_{3}xF_{3}, an S(2,3,9) system.
An alternative construction of W_{12} is the 'Kitten' of R.T. Curtis.^{[7]}
Computer programs
There have been notable computer programs written to generate Steiner systems. An introduction to a construction of W_{24} via the Miracle Octad Generator of R. T. Curtis and Conway's analog for W_{12}, the miniMOG, can be found in the book by Conway and Sloane.
Automorphism group of the Golay code
The group M_{24} also is the permutation automorphism group of the binary Golay code W, i.e., the group of permutations of coordinates mapping W to itself. Codewords correspond in a natural way to subsets of a set of 24 objects. Those subsets corresponding to codewords with 8 or 12 coordinates equal to 1 are called octads or dodecads respectively. The octads are the blocks of an S(5,8,24) Steiner system and the binary Golay code is the vector space over field F_{2} spanned by the octads of the Steiner system. The full automorphism group of the binary Golay code has order 2^{12}×M_{24}, since there are M_{24} permutations and 2^{12} sign changes. These can be visualised by permuting and reflecting the coordinates on the vertices of a 24dimensional cube.
The simple subgroups M_{23}, M_{22}, M_{12}, and M_{11} can be defined as subgroups of M_{24}, stabilizers respectively of a single coordinate, an ordered pair of coordinates, a dodecad, and a dodecad together with a single coordinate.
M_{12} has index 2 in its automorphism group. As a subgroup of M_{24}, M_{12} acts on the second dodecad as an outer automorphic image of its action on the first dodecad. M_{11} is a subgroup of M_{23} but not of M_{22}. This representation of M_{11} has orbits of 11 and 12. The automorphism group of M_{12} is a maximal subgroup of M_{24} of index 1288.
There is a very natural connection between the Mathieu groups and the larger Conway groups, because the binary Golay code and the Leech lattice both lie in spaces of dimension 24. The Conway groups in turn are found in the Monster group. Robert Griess refers to the 20 sporadic groups found in the Monster as the Happy Family, and to the Mathieu groups as the first generation.
Dessins d'enfants
The Mathieu groups can be constructed via dessins d'enfants, with the dessin associated to M_{12} suggestively called "Monsieur Mathieu".^{[8]}
Polyhedral symmetries
M_{24} can be constructed starting from the symmetries of the Klein quartic (the symmetries of a tessellation of the genus three surface), which is PSL(2,7), which can be augmented by an additional permutation. This permutation can be described by starting with the tiling of the Klein quartic by 20 triangles (with 24 vertices – the 24 points on which the group acts), then forming squares of out some of the 2 triangles, and octagons out of 6 triangles, with the added permutation being "interchange the two endpoints of the lines bisecting the squares and octagons". This can be visualized by coloring the triangles – the corresponding tiling is topologically but not geometrically the t_{0,1}{4, 3, 3} tiling, and can be (polyhedrally) immersed in Euclidean 3space as the small cubicuboctahedron (which also has 24 vertices).^{[9]}
Properties
The Mathieu groups have fascinating properties; these groups happen because of a confluence of several anomalies of group theory.
For example, M_{12} contains a copy of the exceptional outer automorphism of S_{6}. M_{12} contains a subgroup isomorphic to S_{6} acting differently on 2 sets of 6. In turn M_{12} has an outer automorphism of index 2 and, as a subgroup of M_{24}, acts differently on 2 sets of 12.
Note also that M_{10} is a nonsplit extension of the form A_{6}.2 (an extension of the group of order 2 by A_{6}), and accordingly A_{6} may be denoted M_{10}′ as it is an index 2 subgroup of M_{10}.
The linear group GL(4,2) has an exceptional isomorphism to the alternating group A_{8}; this isomorphism is important to the structure of M_{24}. The pointwise stabilizer O of an octad is an abelian group of order 16, exponent 2, each of whose involutions moves all 16 points outside the octad. The stabilizer of the octad is a split extension of O by A_{8}.^{[10]} There are 759 (= 3·11·23) octads. Hence the order of M_{24} is 759*16*20160.
Matrix representations in GL(11,2)
The binary Golay code is a vector space of dimension 12 over F_{2}. The fixed points under M_{24} form a subspace of 2 vectors, those with coordinates all 0 or all 1. The quotient space, of dimension 11, order 2^{11}, can be constructed as a set of partitions of 24 bits into pairs of Golay codewords. It is intriguing that the number of nonzero vectors, 2^{11}1 = 2047, is the smallest Mersenne number with prime exponent that is not prime, equal to 23*89. Then M_{24} divides GL(11,2) = 2^{55}*3^{6}*5^{2}*7^{3}*11*17*23*73*89.
M_{23} also requires dimension 11.
The groups M_{22}, M_{12}, and M_{11} are represented in GL(10,2).
Sextet subgroup of M_{24}
Consider a tetrad, any set of 4 points in the Steiner system W_{24}. An octad is determined by choice of a fifth point from the remaining 20. There are 5 octads possible. Hence any tetrad determines a partition into 6 tetrads, called a sextet, whose stabilizer in M_{24} is called a sextet group.
The total number of tetrads is 24*23*22*21/4! = 23*22*21. Dividing that by 6 gives the number of sextets, 23*11*7 = 1771. Furthermore, a sextet group is a subgroup of a wreath product of order 6!*(4!)^{6}, whose only prime divisors are 2, 3, and 5. Now we know the prime divisors of M_{24}. Further analysis would determine the order of the sextet group and hence M_{24}.
It is convenient to arrange the 24 points into a 6by4 array:
A E I M Q U
B F J N R V
C G K O S W
D H L P T X
Moreover, it is convenient to use the elements of the field F_{4} to number the rows: 0, 1, u, u^{2}.
The sextet group has a normal abelian subgroup H of order 64, isomorphic to the hexacode, a vector space of length 6 and dimension 3 over F_{4}. A nonzero element in H does double transpositions within 4 or 6 of the columns. Its action can be thought of as addition of vector coordinates to row numbers.
The sextet group is a split extension of H by a group 3.S_{6} (a stem extension). Here is an instance within the Mathieu groups where a simple group (A_{6}) is a subquotient, not a subgroup. 3.S_{6} is the normalizer in M_{24} of the subgroup generated by r=(BCD)(FGH)(JKL)(NOP)(RST)(VWX), which can be thought of as a multiplication of row numbers by u^{2}. The subgroup 3.A_{6} is the centralizer of <r>. Generators of 3.A_{6} are:
 (AEI)(BFJ)(CGK)(DHL)(RTS)(VWX) (rotating first 3 columns)
 (AQ)(BS)(CT)(DR)(EU)(FX)(GV)(HW)
 (AUEIQ)(BXGKT)(CVHLR)(DWFJS) (product of preceding two)
 (FGH)(JLK)(MQU)(NRV)(OSW)(PTX) (rotating last 3 columns)
An odd permutation of columns, say (CD)(GH)(KL)(OP)(QU)(RV)(SX)(TW), then generates 3.S_{6}.
The group 3.A_{6} is isomorphic to a subgroup of SL(3,4) whose image in PSL(3,4) has been noted above as the hyperoval group.
The applet Moggie has a function that displays sextets in color.
Subgroup structure
M_{24} contains nonabelian simple subgroups of 13 isomorphism types: five classes of A_{5}, four classes of PSL(3,2), two classes of A_{6}, two classes of PSL(2,11), one class each of A_{7}, PSL(2,23), M_{11}, PSL(3,4), A_{8}, M_{12}, M_{22}, M_{23}, and M_{24}. A_{6} has also been noted as a subquotient in the sextet subgroup.
Maximal subgroups of M_{24}
Robert T. Curtis completed the search for maximal subgroups of M_{24} in (Curtis 1977), which had previously been mistakenly claimed in (Choi 1972b).^{[11]}
The list is as follows:^{[6]}
 M_{23}, order 10200960
 M_{22}:2, order 887040, orbits of 2 and 22
 2^{4}:A_{8}, order 322560, orbits of 8 and 16: octad group
 M_{12}:2, order 190080, transitive and imprimitive: dodecad group
 Copy of M_{12} acting differently on 2 sets of 12, reflecting outer automorphism of M_{12}
 2^{6}:(3.S_{6}), order 138240: sextet group (vide supra)
 PSL(3,4):S_{3}, order 120960, orbits of 3 and 21
 2^{6}:(PSL(2,7) x S_{3}), order 64512, transitive and imprimitive: trio group.
 Stabilizer of partition into 3 octads.
 The subgroups of type PSL(2,7) have 3 orbits of 8. There also are isomorphic subgroups with orbits of 8, 7, and 7.
 PSL(2,23), order 6072: doubly transitive
 Octern group, order 168, simple, transitive and imprimitive, 8 blocks of 3
 Last maximal subgroup of M_{24} to be found.
 This group's 7elements fall into 2 conjugacy classes of 24.
Maximal subgroups of M_{23}
 M_{22}, order 443520
 PSL(3,4):2, order 40320, orbits of 21 and 2
 2^{4}:A_{7}, order 40320, orbits of 7 and 16
 Stabilizer of W_{23} block
 A_{8}, order 20160, orbits of 8 and 15
 M_{11}, order 7920, orbits of 11 and 12
 (2^{4}:A_{5}):S_{3} or M_{20}:S_{3}, order 5760, orbits of 3 and 20 (5 blocks of 4)
 Onepoint stabilizer of the sextet group
 23:11, order 253, simply transitive
Maximal subgroups of M_{22}
There are no proper subgroups transitive on all 22 points.
 PSL(3,4) or M_{21}, order 20160: onepoint stabilizer
 2^{4}:A_{6}, order 5760, orbits of 6 and 16
 Stabilizer of W_{22} block
 A_{7}, order 2520, orbits of 7 and 15
 There are 2 sets, of 15 each, of simple subgroups of order 168. Those of one type have orbits of 7 and 14; the others have orbits of 7, 8, and 7.
 A_{7}, orbits of 7 and 15
 Conjugate to preceding type in M_{22}:2.
 2^{4}:S_{5}, order 1920, orbits of 2 and 20 (5 blocks of 4)
 A 2point stabilizer in the sextet group
 2^{3}:PSL(3,2), order 1344, orbits of 8 and 14
 M_{10}, order 720, orbits of 10 and 12 (2 blocks of 6)
 A onepoint stabilizer of M_{11} (point in orbit of 11)
 A nonsplit extension of form A_{6}.2
 PSL(2,11), order 660, orbits of 11 and 11
 Another onepoint stabilizer of M_{11} (point in orbit of 12)
Maximal subgroups of M_{21}
There are no proper subgroups transitive on all 21 points.
 2^{4}:A_{5} or M_{20}, order 960: onepoint stabilizer
 Imprimitive on 5 blocks of 4
 2^{4}:A_{5}, transpose of M_{20}, orbits of 5 and 16
 A_{6}, order 360, orbits of 6 and 15: hyperoval group
 A_{6}, orbits of 6 and 15
 A_{6}, orbits of 6 and 15
 PSL(3,2), order 168, orbits of 7 and 14: Fano subplane group
 PSL(3,2), orbits of 7 and 14
 PSL(3,2), orbits of 7 and 14
 3^{2}:Q or M_{9}, order 72, orbits of 9 and 12
Maximal subgroups of M_{12}
There are 11 conjugacy classes of maximal subgroups, 6 occurring in automorphic pairs.
 M_{11}, order 7920, degree 11
 M_{11}, degree 12
 Outer automorphic image of preceding type
 S_{6}:2, order 1440, imprimitive and transitive, 2 blocks of 6
 Example of the exceptional outer automorphism of S_{6}
 M_{10}.2, order 1440, orbits of 2 and 10
 Outer automorphic image of preceding type
 PSL(2,11), order 660, doubly transitive on the 12 points
 3^{2}:(2.S_{4}), order 432, orbits of 3 and 9
 Isomorphic to the affine group on the space C_{3} x C_{3}.
 3^{2}:(2.S_{4}), imprimitive on 4 sets of 3
 Outer automorphic image of preceding type
 S_{5} x 2, order 240, doubly imprimitive, 6 by 2
 Centralizer of a sextuple transposition
 Q:S_{4}, order 192, orbits of 4 and 8.
 Centralizer of a quadruple transposition
 4^{2}:(2 x S_{3}), order 192, imprimitive on 3 sets of 4
 A_{4} x S_{3}, order 72, doubly imprimitive, 4 by 3
Maximal subgroups of M_{11}
There are 5 conjugacy classes of maximal subgroups.
 M_{10}, order 720, onepoint stabilizer in representation of degree 11
 PSL(2,11), order 660, onepoint stabilizer in representation of degree 12
 M_{9}:2, order 144, stabilizer of a 9 and 2 partition.
 S_{5}, order 120, orbits of 5 and 6
 Stabilizer of block in the S(4,5,11) Steiner system
 Q:S_{3}, order 48, orbits of 8 and 3
 Centralizer of a quadruple transposition
 Isomorphic to GL(2,3).
Number of elements of each order
The maximum order of any element in M_{11} is 11. The conjugacy class orders and sizes are found in the ATLAS.^{[12]}
Order No. elements Conjugacy 1 = 1 1 = 1 1 class 2 = 2 165 = 3 · 5 · 11 1 class 3 = 3 440 = 2^{3} · 5 · 11 1 class 4 = 2^{2} 990 = 2 · 3^{2} · 5 · 11 1 class 5 = 5 1584 = 2^{4} · 3^{2} · 11 1 class 6 = 2 · 3 1320 = 2^{3} · 3 · 5 · 11 1 class 8 = 2^{3} 1980 = 2^{2} · 3^{2} · 5 · 11 2 classes (power equivalent) 11 = 11 1440 = 2^{5} · 3^{2} · 5 2 classes (power equivalent) The maximum order of any element in M_{12} is 11. The conjugacy class orders and sizes are found in the ATLAS [1].
Order No. elements Conjugacy 1 = 1 1 = 1 1 class 2 = 2 891 = 3^{4} · 11 2 classes (not power equivalent) 3 = 3 4400 = 2^{4} · 5^{2} · 11 2 classes (not power equivalent) 4 = 2^{2} 5940 = 2^{2} · 3^{3} · 5 · 11 2 classes (not power equivalent) 5 = 5 9504 = 2^{5} · 3^{3} · 11 1 class 6 = 2 · 3 23760 = 2^{4} · 3^{3} · 5 · 11 2 classes (not power equivalent) 8 = 2^{3} 23760 = 2^{4} · 3^{3} · 5 · 11 2 classes (not power equivalent) 10 = 2 · 5 9504 = 2^{5} · 3^{3} · 11 1 class 11 = 11 17280 = 2^{7} · 3^{3} · 5 2 classes (power equivalent) The maximum order of any element in M_{21} is 7.
Order No. elements Cycle structure and conjugacy 1 = 1 1 1 class 2 = 2 315 = 3^{2} · 5 · 7 2^{8}, 1 class 3 = 3 2240 = 2^{6} · 5 · 7 3^{6}, 1 class 4 = 2^{2} 1260 = 2^{2} · 3^{2} · 5 · 7 2^{2}4^{4}, 1 class 1260 = 2^{2} · 3^{2} · 5 · 7 2^{2}4^{4}, 1 class 1260 = 2^{2} · 3^{2} · 5 · 7 2^{2}4^{4}, 1 class 5 = 5 8064 = 2^{7} · 3^{2} · 7 5^{4}, 2 power equivalent classes 7 = 7 5760 = 2^{7} · 3^{2} · 5 7^{3}, 2 power equivalent classes The maximum order of any element in M_{22} is 11.
Order No. elements Cycle structure and conjugacy 1 = 1 1 1 class 2 = 2 1155 = 3 · 5 · 7 · 11 2^{8}, 1 class 3 = 3 12320 = 2^{5} · 5 · 7 · 11 3^{6}, 1 class 4 = 2^{2} 13860 = 2^{2} · 3^{2} · 5 · 7 · 11 2^{2}4^{4}, 1 class 27720 = 2^{3} · 3^{2} · 5 · 7 · 11 2^{2}4^{4}, 1 class 5 = 5 88704 = 2^{7} · 3^{2} · 7 · 11 5^{4}, 1 class 6 = 2 · 3 36960 = 2^{5} · 3 · 5 · 7 · 11 2^{2}3^{2}6^{2}, 1 class 7 = 7 126720 = 2^{8} · 3^{2} · 5 · 11 7^{3}, 2 power equivalent classes 8 = 2^{3} 55440 = 2^{4} · 3^{2} · 5 · 7 · 11 2·4·8^{2}, 1 class 11 = 11 80640 = 2^{8} · 3^{2} · 5 · 7 11^{2}, 2 power equivalent classes The maximum order of any element in M_{23} is 23.
Order No. elements Cycle structure and conjugacy 1 = 1 1 1 class 2 = 2 3795 = 3 · 5 · 11 · 23 2^{8}, 1 class 3 = 3 56672 = 2^{5} · 7 · 11 · 23 3^{6}, 1 class 4 = 2^{2} 318780 = 2^{2} · 3^{2} · 5 · 7 · 11 · 23 2^{2}4^{4}, 1 class 5 = 5 680064 = 2^{7} · 3 · 7 · 11 · 23 5^{4}, 1 class 6 = 2 · 3 850080 = 2^{5} · 3 · 5 · 7 · 11 · 23 2^{2}3^{2}6^{2}, 1 class 7 = 7 1457280 = 2^{7} · 3^{2} · 5 · 11 · 23 7^{3}, 2 power equivalent classes 8 = 2^{3} 1275120 = 2^{4} · 3^{2} · 5 · 7 · 11 · 23 2·4·8^{2}, 1 class 11 = 11 1854720 = 2^{8} · 3^{2} · 5 · 7 · 23 11^{2}, 2 power equivalentclasses 14 = 2 · 7 1457280 = 2^{7} · 3^{2} · 5 · 11 · 23 2·7·14, 2 power equivalent classes 15 = 3 · 5 1360128 = 2^{8} · 3 · 7 · 11 · 23 3·5·15, 2 power equivalent classes 23 = 23 887040 = 2^{8} · 3^{2} · 5 · 7 · 11 23, 2 power equivalent classes, The maximum order of any element in M_{24} is 23. There are 26 conjugacy classes.
Order No. elements Cycle structure and conjugacy 1 = 1 1 1 class 2 = 2 11385 = 3^{2} · 5 · 11 · 23 2^{8}, 1 class 31878 = 2 · 3^{2} · 7 · 11 · 23 2^{12}, 1 class 3 = 3 226688 = 2^{7} · 7 · 11 · 23 3^{6}, 1 class 485760 = 2^{7} · 3 · 5 · 11 · 23 3^{8}, 1 class 4 = 2^{2} 637560 = 2^{3} · 3^{2} · 5 · 7 · 11 · 23 2^{4}4^{4}, 1 class 1912680 = 2^{3} · 3^{3} · 5 · 7 · 11 · 23 2^{2}4^{4}, 1 class 2550240 = 2^{5} · 3^{2} · 5 · 7 · 11 · 23 4^{6}, 1 class 5 = 5 4080384 = 2^{8} · 3^{3} · 7 · 11 · 23 5^{4}, 1 class 6 = 2 · 3 10200960 = 2^{7} · 3^{2} · 5 · 7 · 11 · 23 2^{2}3^{2}6^{2}, 1 class 10200960 = 2^{7} · 3^{2} · 5 · 7 · 11 · 23 6^{4}, 1 class 7 = 7 11658240 = 2^{10} · 3^{2} · 5 · 11 · 23 7^{3}, 2 power equivalent classes 8 = 2^{3} 15301440 = 2^{6} · 3^{3} · 5 · 7 · 11 · 23 2·4·8^{2}, 1 class 10 = 2 · 5 12241152 = 2^{8} · 3^{3} · 7 · 11 · 23 2^{2}10^{2}, 1 class 11 = 11 22256640 = 2^{10} · 3^{3} · 5 · 7 · 23 11^{2}, 1 class 12 = 2^{2} · 3 20401920 = 2^{8} · 3^{2} · 5 · 7 · 11 · 23 2 ·4·6·12, 1 class 20401920 = 2^{8} · 3^{2} · 5 · 7 · 11 · 23 12^{2}, 1 class 14 = 2 · 7 34974720 = 2^{10} · 3^{3} · 5 · 11 · 23 2·7·14, 2 power equivalent classes 15 = 3 · 5 32643072 = 2^{11} · 3^{2} · 7 · 11 · 23 3·5·15, 2 power equivalent classes 21 = 3 · 7 23316480 = 2^{11} · 3^{2} · 5 · 11 · 23 3·21, 2 power equivalent classes 23 = 23 21288960 = 2^{11} · 3^{3} · 5 · 7 · 11 23, 2 power equivalent classes Notes
 ^ M_{7} is the trivial group, while M_{19} does not act transitively on 19 points and 19 does not divide its order, so this sequence cannot be extended further down.
 ^ M_{19} acts nontrivially but intransitively on 19 points, and has order 3·16; note that 3 + 16 = 19. In fact, it has 2 orbits: one of order 16, one of order 3 (the Sylow 2subgroup acts regularly on 16 points, fixing the other 3, while the Sylow 3subgroup permutes the 3 points, fixing the order 16 orbit). See (Choi 1972a, p. 4) for details.
References
 ^ John H. Conway, "Graphs and Groups and M_{13}", Notes from New York Graph Theory Day XIV (1987), pp. 18–29.
 ^ Conway, John Horton; Elkies, Noam D.; Martin, Jeremy L. (2006), "The Mathieu group M12 and its pseudogroup extension M13", Experimental Mathematics 15 (2): 223–236, ISSN 10586458, MR2253008, http://nrs.harvard.edu/urn3:HUL.InstRepos:2794826
 ^ Carmichael (1937): pp.151, 164, 263.
 ^ Dixon and Mortimer (1996): p. 209.
 ^ (Dixon & Mortimer 1996, pp. 192–205)
 ^ ^{a} ^{b} (Griess 1998, p. 55)
 ^ (Curtis 1984)
 ^ le Bruyn, Lieven (1 March 2007), Monsieur Mathieu, http://www.neverendingbooks.org/index.php/monsieurmathieu.html .
 ^ (Richter)
 ^ Thomas Thompson (1983), pp. 197208.
 ^ (Griess 1998, p. 54)
 ^ ATLAS: Mathieu group M_{11}
 Mathieu E., Mémoire sur l'étude des fonctions de plusieurs quantités, sur la manière de les former et sur les substitutions qui les laissent invariables J. Math. Pures Appl. (Liouville) (2) VI, 1861, pp. 241–323.
 Mathieu E., Sur la fonction cinq fois transitive de 24 quantités, Liouville Journ., (2) XVIII., 1873, pp. 25–47.
 Carmichael, Robert D. Groups of Finite Order, Dover (1937, reprint 1956).
 Conway, J.H.; Sloane N.J.A. Sphere Packings, Lattices and Groups: v. 290 (Grundlehren Der Mathematischen Wissenschaften.) Springer Verlag. ISBN 0387985859
 Choi, C. (May 1972a), "On Subgroups of M_{24}. I: Stabilizers of Subsets", Transactions of the American Mathematical Society (American Mathematical Society) 167: 1–27, doi:10.2307/1996123, JSTOR 1996123 edit
 Choi, C. (May 1972b). "On Subgroups of M_{24}. II: the Maximal Subgroups of M_{24}". Transactions of the American Mathematical Society (American Mathematical Society) 167: 29–47. doi:10.2307/1996124. JSTOR 1996124. edit
 Curtis, R. T. A new combinatorial approach to M_{24}. Math. Proc. Camb. Phil. Soc. 79 (1976) 2542.
 Curtis, R. T. The maximal subgroups of M_{24}. Math. Proc. Camb. Phil. Soc. 81 (1977) 185192.
 Thompson, Thomas M.: From Error Correcting Codes through Sphere Packings to Simple Groups, Carus Mathematical Monographs, Mathematical Association of America, 1983.
 Curtis, R. T. The Steiner System S(5,6,12), the Mathieu Group M12 and the 'Kitten', Computational Group Theory, Academic Press, London, 1984
 Cuypers, Hans, The Mathieu groups and their geometries, http://www.win.tue.nl/~hansc/mathieu.pdf
 Conway, J. H.; Curtis, R. T.; Norton, S. P.; Parker, R. A.; Wilson, R. A. (1985). Atlas of finite groups. Maximal subgroups and ordinary characters for simple groups. With computational assistance from J. G. Thackray. Eynsham: Oxford University Press. ISBN 0198531990
 Dixon, John D.; Mortimer, Brian (1996), Permutation Groups, SpringerVerlag
 Griess, Robert L.: Twelve Sporadic Groups, SpringerVerlag, 1998.
 Ronan M. "Symmetry and the Monster", Oxford University Press (2006) ISBN 0192807226 (an introduction for the lay reader, describing the Mathieu groups in a historical context)
 Richter, David A., How to Make the Mathieu Group M_{24}, http://homepages.wmich.edu/~drichter/mathieu.htm, retrieved 20100415
External links
 Moggie Java applet for studying the Curtis MOG construction
 Scientific American A set of puzzles based on the mathematics of the Mathieu groups
 Sporadic M12 An iPhone app that implements puzzles based on M_{12}, presented as one "spin" permutation and a selectable "swap" permutation
 Octad of the week
Categories: Sporadic groups
Wikimedia Foundation. 2010.
Look at other dictionaries:
Group (mathematics) — This article covers basic notions. For advanced topics, see Group theory. The possible manipulations of this Rubik s Cube form a group. In mathematics, a group is an algebraic structure consisting of a set together with an operation that combines … Wikipedia
Group action — This article is about the mathematical concept. For the sociology term, see group action (sociology). Given an equilateral triangle, the counterclockwise rotation by 120° around the center of the triangle acts on the set of vertices of the… … Wikipedia
Mathieu de Costa — Mathieu Da Costa Born Africa Died 1698 Other names Lusofonia (African birth name) … Wikipedia
Mathieu Gascongne — (also Matthieu Gascongne, Matthieu Gascogne, Matthias Gascogne; fl. early 16th c.) was a French composer of the Renaissance. Contemporaries, such as Adrian Willaert (as quoted by the renowned Venetian theorist Zarlino) grouped him with Josquin,… … Wikipedia
Mathieu Quétel — est un chef d entreprise français et homme politique français, né en 1966. Il est aujourd hui directeur général de Sud radio groupe et vice président trésorier du Syndicat interprofessionnel des radios et télévisions indépendantes (SIRTI).… … Wikipédia en Français
Mathieu Valbuena — Mathieu Valbuena … Wikipedia
Group of Lie type — In mathematics, a group of Lie type G(k) is a (not necessarily finite) group of rational points of a reductive linear algebraic group G with values in the field k. Finite groups of Lie type form the bulk of nonabelian finite simple groups.… … Wikipedia
Conway group — Group theory Group theory … Wikipedia
Sporadic group — In the mathematical field of group theory, a sporadic group is one of the 26 exceptional groups in the classification of finite simple groups. A simple group is a group G that does not have any normal subgroups except for the subgroup consisting… … Wikipedia
Groupe De Mathieu — En mathématiques, les groupes de Mathieu sont cinq groupes simples finis découverts par le mathématicien français Emile Léonard Mathieu. Ils sont habituellement perçus comme des groupes de permutation sur n points (où n peut prendre les valeurs… … Wikipédia en Français
18+© Academic, 20002020 Contact us: Technical Support, Advertising
Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx.
Mathieu group
 Mathieu group

Group theory Group theory Cyclic group Z_{n}
Symmetric group, S_{n}
Dihedral group, D_{n}
Alternating group A_{n}
Mathieu groups M_{11}, M_{12}, M_{22}, M_{23}, M_{24}
Conway groups Co_{1}, Co_{2}, Co_{3}
Janko groups J_{1}, J_{2}, J_{3}, J_{4}
Fischer groups F_{22}, F_{23}, F_{24}
Baby Monster group B
Monster group MSolenoid (mathematics)
Circle group
General linear group GL(n)
Special linear group SL(n)
Orthogonal group O(n)
Special orthogonal group SO(n)
Unitary group U(n)
Special unitary group SU(n)
Symplectic group Sp(n)
Lorentz group
Poincaré group
Conformal group
Diffeomorphism group
Loop group
Infinitedimensional Lie groups O(∞) SU(∞) Sp(∞)