On this page, we record details of the work to be done on the ATLAS. Use the links on the right to select an area of interest.
- Groups with porting problems.
- Failing matrix representations
- Failing permutation representations
- Failing presentations
- Failing subgroup programs
- Problematic representations
Sporadic groups
Lead group | Group | Gens | Pres | Check | Find | Perm rep | Matrix rep | Conj cl | Maxes |
---|---|---|---|---|---|---|---|---|---|
M11 | M11 | 1 | 1 | 1 | 1 | 5 | 37 | 10/10 | 5/5 |
M12 | M12 | 1 | 1 | 1 | 1 | 4 | 46 | 15/15 | 12/11 |
2.M12 | 1 | 1 | 0 | 0 | 1 | 5 | 0/0 | 0/0 | |
M12:2 | 1 | 2 | 1 | 1 | 1 | 30 | 7/21 | 11/9 | |
2.M12.2 | 1 | 0 | 0 | 0 | 1 | 21 | 0/0 | 0/0 | |
M22 | M22 | 1 | 1 | 1 | 1 | 12 | 48 | 12/12 | 9/8 |
2.M22 | 1 | 0 | 0 | 0 | 2 | 44 | 0/0 | 0/0 | |
3.M22 | 1 | 0 | 0 | 0 | 3 | 37 | 0/0 | 0/0 | |
4.M22 | 1 | 0 | 0 | 0 | 2 | 26 | 0/0 | 0/0 | |
6.M22 | 1 | 0 | 0 | 0 | 1 | 28 | 0/0 | 0/0 | |
12.M22 | 1 | 0 | 0 | 0 | 1 | 21 | 0/0 | 0/0 | |
M22:2 | 1 | 1 | 1 | 1 | 7 | 39 | 21/21 | 11/7 | |
2.M22.2 | 1 | 0 | 0 | 0 | 0 | 4 | 0/0 | 0/0 | |
3.M22:2 | 1 | 0 | 0 | 0 | 0 | 1 | 0/0 | 0/0 | |
4.M22.2 | 1 | 0 | 0 | 0 | 0 | 1 | 0/0 | 0/0 | |
6.M22.2 | 1 | 0 | 0 | 0 | 0 | 1 | 0/0 | 0/0 | |
12.M22.2 | 1 | 0 | 0 | 0 | 0 | 1 | 0/0 | 0/0 | |
M23 | M23 | 1 | 2 | 1 | 1 | 7 | 63 | 17/17 | 7/7 |
M24 | M24 | 1 | 1 | 1 | 1 | 7 | 59 | 26/26 | 10/9 |
HS | HS | 1 | 1 | 1 | 1 | 8 | 66 | 24/24 | 12/12 |
2.HS | 1 | 0 | 0 | 0 | 3 | 8 | 0/0 | 0/0 | |
HS:2 | 1 | 1 | 1 | 1 | 4 | 51 | 0/39 | 13/10 | |
2.HS.2 | 1 | 0 | 0 | 0 | 1 | 3 | 0/0 | 0/0 | |
J2 | J2 | 1 | 2 | 1 | 1 | 7 | 55 | 21/21 | 9/9 |
2.J2 | 1 | 2 | 0 | 0 | 2 | 17 | 0/0 | 0/0 | |
J2:2 | 1 | 1 | 1 | 1 | 1 | 40 | 10/27 | 14/10 | |
2.J2.2 | 1 | 1 | 0 | 0 | 0 | 26 | 0/0 | 0/0 | |
2.J2:2 (isoclinic) | 1 | 1 | 0 | 0 | 0 | 0 | 0/0 | 0/0 | |
Co1 | Co1 | 1 | 0 | 1 | 1 | 1 | 14 | 38/103 | 6/22 |
2.Co1 | 1 | 0 | 0 | 0 | 1 | 7 | 0/0 | 0/0 | |
Co2 | Co2 | 1 | 1 | 1 | 1 | 2 | 21 | 60/60 | 12/11 |
Co3 | Co3 | 1 | 0 | 1 | 1 | 6 | 31 | 42/42 | 16/14 |
McL | McL | 1 | 1 | 1 | 1 | 12 | 35 | 24/24 | 12/12 |
3.McL | 1 | 0 | 0 | 0 | 3 | 14 | 0/0 | 0/0 | |
McL:2 | 1 | 1 | 1 | 1 | 5 | 24 | 12/33 | 12/10 | |
3.McL:2 | 1 | 0 | 0 | 0 | 0 | 4 | 0/0 | 0/0 | |
Suz | Suz | 1 | 0 | 1 | 1 | 7 | 23 | 16/47 | 17/17 |
2.Suz | 1 | 0 | 0 | 0 | 1 | 3 | 0/0 | 0/0 | |
3.Suz | 1 | 0 | 0 | 0 | 3 | 6 | 0/0 | 0/0 | |
6.Suz | 1 | 0 | 0 | 0 | 1 | 3 | 0/0 | 0/0 | |
Suz:2 | 1 | 0 | 1 | 1 | 1 | 4 | 0/68 | 23/16 | |
2.Suz:2 | 1 | 0 | 0 | 0 | 0 | 1 | 0/0 | 0/0 | |
3.Suz:2 | 1 | 0 | 0 | 0 | 1 | 4 | 0/0 | 0/0 | |
6.Suz:2 | 1 | 0 | 0 | 0 | 0 | 3 | 0/0 | 0/0 | |
6.Suz:2 (type b) | 1 | 0 | 0 | 0 | 0 | 0 | 0/0 | 0/0 | |
Th | Th | 1 | 0 | 1 | 1 | 0 | 9 | 67/55 | 19/16 |
He | He | 1 | 1 | 1 | 1 | 4 | 23 | 10/38 | 16/11 |
He:2 | 1 | 0 | 1 | 1 | 2 | 18 | 0/45 | 14/12 | |
HN | HN | 1 | 0 | 1 | 1 | 1 | 22 | 54/54 | 11/14 |
HN:2 | 1 | 0 | 1 | 1 | 1 | 2 | 0/78 | 13/13 | |
Fi22 | Fi22 | 1 | 1 | 1 | 1 | 5 | 15 | 27/69 | 16/14 |
2.Fi22 | 1 | 1 | 0 | 0 | 2 | 5 | 0/0 | 0/0 | |
3.Fi22 | 1 | 0 | 0 | 0 | 1 | 2 | 0/0 | 0/0 | |
Fi22:2 | 1 | 1 | 1 | 1 | 1 | 16 | 0/112 | 15/13 | |
2.Fi22:2 | 1 | 0 | 0 | 0 | 1 | 1 | 0/0 | 0/0 | |
3.Fi22:2 | 1 | 1 | 0 | 0 | 1 | 2 | 0/0 | 0/0 | |
6.Fi22 | 1 | 0 | 0 | 0 | 1 | 0 | 0/0 | 0/0 | |
Fi23 | Fi23 | 1 | 0 | 1 | 1 | 3 | 10 | 39/103 | 11/14 |
Fi24' | Fi24' | 1 | 0 | 1 | 1 | 1 | 2 | 36/120 | 0/0 |
3.Fi24' | 1 | 0 | 0 | 0 | 1 | 1 | 0/0 | 0/0 | |
Fi24':2 | 1 | 0 | 1 | 1 | 1 | 1 | 0/183 | 21/0 | |
3.Fi24':2 | 1 | 0 | 0 | 0 | 1 | 1 | 0/0 | 0/0 | |
B | B | 1 | 0 | 1 | 1 | 0 | 3 | 75/188 | 15/30 |
2.B | 0 | 0 | 0 | 0 | 0 | 0 | 0/0 | 0/0 | |
M | M | 1 | 0 | 1 | 1 | 0 | 0 | 0/194 | 0/43 |
2.B | 0 | 0 | 0 | 0 | 0 | 0 | 0/0 | 0/0 | |
21+24.Co1 | 0 | 0 | 0 | 0 | 0 | 0 | 0/0 | 0/0 | |
3.Fi24 | 1 | 0 | 0 | 0 | 1 | 1 | 0/0 | 0/0 | |
22.2E6:S3 | 1 | 0 | 0 | 0 | 0 | 1 | 0/0 | 0/0 | |
210+16.O10+(2) | 0 | 0 | 0 | 0 | 0 | 0 | 0/0 | 0/0 | |
22+11+22.(M24 × S3) | 1 | 0 | 0 | 0 | 1 | 0 | 0/0 | 0/0 | |
31+12.2Suz.2 | 2 | 0 | 0 | 0 | 0 | 2 | 0/0 | 0/0 | |
25+10+20.(S3 × L5(2)) | 0 | 0 | 0 | 0 | 0 | 0 | 0/0 | 0/0 | |
S3 × Th | 1 | 0 | 0 | 0 | 0 | 1 | 0/0 | 0/0 | |
2[39].(L3(2) × 3S6) | 0 | 0 | 0 | 0 | 0 | 0 | 0/0 | 0/0 | |
38.O8−(3).23 | 1 | 0 | 0 | 0 | 1 | 1 | 0/0 | 0/0 | |
(D10 × HN).2 | 1 | 0 | 0 | 0 | 0 | 1 | 0/0 | 0/0 | |
(32:2 × O8+(3)).S4 | 1 | 0 | 0 | 0 | 1 | 0 | 0/0 | 0/0 | |
32+5+10.(M11 × 2S4) | 1 | 0 | 0 | 0 | 2 | 0 | 0/0 | 0/0 | |
33+2+6+6:(L3(3) × SD16) | 5 | 0 | 0 | 0 | 6 | 0 | 0/0 | 0/0 | |
51+6:2J2:4 | 1 | 0 | 0 | 0 | 1 | 1 | 0/0 | 0/0 | |
(7:3 × He):2 | 1 | 0 | 0 | 0 | 1 | 0 | 0/0 | 0/0 | |
(A5 × A12):2 | 1 | 0 | 0 | 0 | 1 | 0 | 0/0 | 0/0 | |
53+3.(2 × L3(5)) | 2 | 0 | 0 | 0 | 6 | 2 | 0/0 | 0/0 | |
(A6 × A6 × A6).(2 × S4) | 1 | 0 | 0 | 0 | 1 | 0 | 0/0 | 0/0 | |
(A5 × U3(8):31):2 | 1 | 0 | 0 | 0 | 2 | 1 | 0/0 | 0/0 | |
52+2+4:(S3 × GL2(5)) | 1 | 0 | 0 | 0 | 2 | 0 | 0/0 | 0/0 | |
(L3(2) × S4(4):2).2 | 1 | 0 | 0 | 0 | 2 | 1 | 0/0 | 0/0 | |
71+4:(3 × 2S7) | 1 | 0 | 0 | 0 | 1 | 1 | 0/0 | 0/0 | |
(52:[24] × U3(5)).S3 | 1 | 0 | 0 | 0 | 1 | 0 | 0/0 | 0/0 | |
(L2(11) × M12):2 | 1 | 0 | 0 | 0 | 1 | 0 | 0/0 | 0/0 | |
(A7 × (A5 × A5):22):2 | 1 | 0 | 0 | 0 | 1 | 0 | 0/0 | 0/0 | |
54:(3 × 2L2(25)):22 | 1 | 0 | 0 | 0 | 1 | 1 | 0/0 | 0/0 | |
72+1+2:GL2(7) | 1 | 0 | 0 | 0 | 2 | 1 | 0/0 | 0/0 | |
M11 × A6.22 | 1 | 0 | 0 | 0 | 1 | 0 | 0/0 | 0/0 | |
(S5 × S5 × S5):S3 | 1 | 0 | 0 | 0 | 1 | 0 | 0/0 | 0/0 | |
(L2(11) × L2(11)):4 | 1 | 0 | 0 | 0 | 1 | 0 | 0/0 | 0/0 | |
132:2L2(13).4 | 1 | 0 | 0 | 0 | 1 | 1 | 0/0 | 0/0 | |
(72:(3 × 2A4) × L2(7)).2 | 1 | 0 | 0 | 0 | 1 | 0 | 0/0 | 0/0 | |
(13:6 × L3(3)).2 | 1 | 0 | 0 | 0 | 1 | 0 | 0/0 | 0/0 | |
131+2:(3 × 4S4) | 1 | 0 | 0 | 0 | 1 | 1 | 0/0 | 0/0 | |
L2(71) | 1 | 0 | 0 | 0 | 1 | 0 | 0/0 | 0/0 | |
L2(59) | 1 | 0 | 0 | 0 | 1 | 0 | 0/0 | 0/0 | |
112:(5 × 2A5) | 1 | 0 | 0 | 0 | 1 | 1 | 0/0 | 0/0 | |
L2(29):2 | 1 | 0 | 0 | 0 | 1 | 0 | 0/0 | 0/0 | |
72:SL2(7) | 1 | 0 | 0 | 0 | 1 | 1 | 0/0 | 0/0 | |
L2(19):2 | 1 | 0 | 0 | 0 | 1 | 0 | 0/0 | 0/0 | |
41:40 | 1 | 0 | 0 | 0 | 1 | 0 | 0/0 | 0/0 | |
J4 | J4 | 2 | 1 | 1 | 1 | 0 | 3 | 71/71 | 13/13 |
Ru | Ru | 1 | 0 | 1 | 1 | 1 | 19 | 11/38 | 32/15 |
2.Ru | 1 | 0 | 0 | 0 | 1 | 8 | 0/0 | 0/0 | |
J3 | J3 | 1 | 1 | 1 | 1 | 9 | 33 | 21/21 | 9/9 |
3.J3 | 1 | 2 | 0 | 0 | 1 | 19 | 0/0 | 0/0 | |
J3:2 | 1 | 1 | 1 | 1 | 1 | 31 | 9/30 | 19/9 | |
3.J3:2 | 1 | 0 | 0 | 0 | 0 | 1 | 0/0 | 0/0 | |
O'N | O'N | 1 | 0 | 1 | 1 | 1 | 8 | 10/37 | 13/13 |
3.O'N | 1 | 0 | 0 | 0 | 1 | 3 | 0/0 | 0/0 | |
O'N:2 | 1 | 0 | 1 | 1 | 1 | 6 | 0/45 | 10/10 | |
3.O'N:2 | 1 | 0 | 0 | 0 | 1 | 2 | 0/0 | 0/0 | |
O'N:4 | 1 | 0 | 0 | 0 | 0 | 1 | 0/0 | 0/0 | |
J1 | J1 | 1 | 1 | 1 | 1 | 7 | 84 | 25/15 | 7/7 |
Ly | Ly | 1 | 0 | 1 | 0 | 0 | 6 | 53/53 | 9/9 |
T | 2F4(2)' | 1 | 1 | 0 | 0 | 6 | 31 | 22/22 | 8/8 |
2F4(2)'.2 | 1 | 1 | 0 | 0 | 2 | 13 | 0/0 | 1/7 |