Order = 960 = 26.3.5.
Mult = 42 × 2.
Out = S4.

## Porting notes

Porting incomplete.

## Standard generators

Standard generators of M20 = 24:A5 are a, b where a has order 4, b has order 3 and ab has order 4.

Standard generators of 21.M20 = 21+4:A5 are preimages A, B where B has order 3, AB has order 5, ABB has order 10 and AAB has order 6.

Standard generators of 22.M20 = 24:SL2(5) are preimages A, B where B has order 3 and AB has order 5.

Standard generators of 23.M20 are A, B where B has order 3, AB has order 5, ABB has order 5 and AAB has order 3.

Standard generators of 41.M20 are preimages A, B where B has order 3, AB has order 5, A has order 4 and ABABAAABABB has order 2.

Standard generators of 42.M20 are preimages A, B where B has order 3, AB has order 5, A has order 4 and ABABAAABABB has order 2.

### Notes

• (M20) Standard generators of M20 map to standard generators of A5.
• (41.M20) We haven't fully checked that the standard generators for 4.M20 are sufficient to define it up to automorphisms.
• (42.M20) We haven't fully checked that the standard generators for 4.M20 and are sufficient to define it up to automorphisms.