| order | 20224 |
| nilpotency class | 5 |
| isoclinism | isoclinic class of D32 |
| automorphism | ? |
| homology | Abelianization (H1) = C22×C4×C79 · Schur multiplier (H2) = C22 |
| direct product | C79×#13655 |
| subgroup | G/H | |
|---|---|---|
| center | C8×C79 | D16 |
| commutator | C16 | C22×C4×C79 |
| Frattini, cosocle | C2×C16 | C23×C79 |
| socle | C2×C79 | C4×D16 |
| prime radical | C79×#2262 | C2 |
| LCS | G ▷ C16 ▷ C8 ▷ C4 ▷ C2 ▷ C1 | |
| UCS | C1 ◁ C8×C79 ◁ C2×C8×C79 ◁ C4×C8×C79 ◁ C4×C16×C79 ◁ G | |
186 conjugacy classes of subgroups; only the 86 normal subgroups are shown.
This group has 186 conjugacy classes of subgroups — too many to draw. Only its 86 normal subgroups are shown.
Dotted edges: containments with no intermediate normal subgroup — omitted non-normal subgroups may lie between.
| minimal degree | μ(G) = 143 |
| transitive degree | μt(G) = 5056 |
A minimal faithful permutation representation — 3 generators on 143 points:
(1,2,6,12,8,14,7,30)(3,15,18,45,20,47,31,46)(4,10,22,38,24,39,23,13)(5,25,27,37,29,56,28,59)(9,32,34,51,36,57,35,17)(11,40,42,54,43,53,55,21)(16,41,49,63,50,64,19,52)(26,44,48,33,58,61,60,62)(65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143);(1,3)(2,9)(4,16)(5,26)(6,18)(7,31)(8,20)(10,33)(11,41)(12,34)(13,44)(14,36)(15,25)(17,21)(19,23)(22,49)(24,50)(27,48)(28,60)(29,58)(30,35)(32,40)(37,45)(38,61)(39,62)(42,63)(43,64)(46,59)(47,56)(51,54)(52,55)(53,57);(1,4,6,22,8,24,7,23)(2,10,12,38,14,39,30,13)(3,16,18,49,20,50,31,19)(5,21,27,40,29,54,28,53)(9,33,34,61,36,62,35,44)(11,37,42,56,43,59,55,25)(15,41,45,63,47,64,46,52)(17,48,32,58,51,60,57,26)6004 conjugacy classes. The character table is too large to display.
Construct this group in GAP via the SmallGroups library:
gap> SmallGroup(20224, 6643);