ATLAS: Mathieu group M_{20} = 2^{4}:A_{5}
Order = 960 = 2^{6}.3.5.
Mult = 4^{2} × 2.
Out = S_{4}.
Standard generators
Standard generators of the Mathieu group M_{20} = 2^{4}:A_{5}
are a and b where
a has order 4, b has order 3 and ab has order 5. These generators map onto standard generators of A_{5}.
Standard generators of the double cover 2a.M_{20} = 2^{1+4}:A_{5}
are preimages A and B where B has order 3,
AB has order 5 and ABB has order 5.
Standard generators of the double cover 2b.M_{20} = 2^{4}:SL_{2}(5)
are preimages A and B where B has order 3 and
AB has order 5.
Standard generators of the double cover 2c.M_{20} are preimages A and B where B has order 3,
AB has order 5, ABB has order 5 and AAB has order 3.
NB: It is possible that we may change some of the definitions of standard generators of the covers of M20 above when we come to define standard generators for all the covers of M20. These changes will be subtle, and the definition will still have the condition ``...preimages A and B where B has order 3 and AB has order 5...''.
Presentations
A presentation for M_{20} on its standard generators is given below.
< a, b | a^{4} = b^{3} = (ab)^{5} = (ab^{-1})^{5} = (a^{2}b)^{3} = (abab^{-1}ab^{-1}a^{-1}b^{-1})^{2} = 1 >.
Without the last relation, we get a presentation for 2c.M_{20}. [Lengths are 52 and 36 respectively.]
Representations
The representations of M_{20} = 2^{4}:A_{5} available are:
- a and
b as
permutations on 16 points - primitive (2-transitive in fact).
- a and
b as
permutations on 20 points - the natural representation.
- a and
b as
permutations on 20 points - not similar to the natural representation.
The representation of 2a.M_{20} = 2^{1+4}:A_{5} available is:
- A and
B as
permutations on 12 points - illustrating the embedding of this group in 2 wr PSL_{2}(5).
The representation of 2b.M_{20} = 2^{4}:SL_{2}(5) available is:
- A and
B as
permutations on 40 points - intransitive, with orbits 16 + 24.
- A and
B as
permutations on 160 points.
The representation of 2c.M_{20} available is:
- A and
B as
permutations on 24 points.
Return to main ATLAS page.
Last updated 26th September 1998,
R.A.Wilson, R.A.Parker and J.N.Bray