ATLAS: Mathieu group M20 = 24:A5

Order = 960 = 26.3.5.
Mult = 42 × 2.
Out = S4.
The page for the image A5 is available here.

The following information is available for covers of M20 = 24:A5:


Standard generators

Standard generators of the Mathieu group M20 = 24:A5 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 A5.
Standard generators of the double cover 21.M20 = 21+4:A5 are preimages A and B where B has order 3, AB has order 5, ABB has order 10 and AAB has order 6.
Standard generators of the double cover 22.M20 = 24:SL2(5) are preimages A and B where B has order 3 and AB has order 5.
Standard generators of the double cover 23.M20 are preimages A and B where B has order 3, AB has order 5, ABB has order 5 and AAB has order 3.

We haven't fully checked that the standard generators for 4.M20 and 2^2.M20 are sufficient to define them up to automorphisms.
Standard generators of the fourfold cover 41.M20 are preimages A and B where B has order 3, AB has order 5, A has order 4 and ABABAAABABB has order 2.
Standard generators of the fourfold cover 42.M20 are preimages A and B where B has order 3, AB has order 5, A has order 4 and ABABAAABABB has order 2.
Standard generators for any 22.M20 are preimages A and B where B has order 3 and AB has order 5, and where the preimages map onto standard generators of 21.M20.

There are just two isomorphism classes of covers 4.M20, and these both map onto 21.M20. There are 6 covers of each isomorphism type. We have named them so that 41.L3(4) contains 41.M20 and 42.L3(4) contains 42.M20.

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...''.

NB: We have altered some definitions of standard generators since version 1. We reserve the right to alter the definitions further without giving any notice.

NB: Representation order NOT fixed and liable to change without notice.

Presentations

A presentation for M20 on its standard generators is given below.

< a, b | a4 = b3 = (ab)5 = (ab-1)5 = (a2b)3 = (abab-1ab-1a-1b-1)2 = 1 >.

Without the last relation, we get a presentation for 2c.M20. [Lengths are 52 and 36 respectively.]


Representations

The representations of M20 = 24:A5 available are: The representations of 21.M20 = 21+4:A5 (the 21+4 being abelian) available are: The representation of 22.M20 = 24:SL2(5) available is: The representation of 23.M20 available is: The representations of 42.M20 available are:

Conjugacy classes

Representatives of the 9 conjugacy classes of M20 = 24:A5 can be taken to be as follows:

This below is not quite true!!!
In 2a.M20, the given class representatives are class +Xm whenever class Xm splits in 2a.M20. (Actually, there are outer automorphisms interchanging some of the +Xm with -Xm, so it is not so surprising that all classes `become' +Xm in the double cover.)


Main ATLAS page Go to main ATLAS (version 2.0) page.
Miscellaneous groups page Go to miscellaneous groups page.
ftp access Anonymous ftp access is also available. See here for details.

Version 2.0 created on 4th March 2002.
Last updated 11.04.05 by RAW.
Information checked to Level 0 on 04.03.02 by JNB.
R.A.Wilson, R.A.Parker and J.N.Bray.