| order | 32512 |
| nilpotency class | 4 |
| automorphism | ? |
| homology | Abelianization (H1) = C22×C4×C127 · Schur multiplier (H2) = C2×C4 |
| direct product | C127×#12891 |
| subgroup | G/H | |
|---|---|---|
| center | C2×C4×C127 | C2×D8 |
| commutator | C2×C8 | C22×C4×C127 |
| Frattini, cosocle | C22×C8 | C23×C127 |
| socle | C22×C127 | C2×#107 |
| prime radical | C23×C127 | C2×Q16 |
| LCS | G ▷ C2×C8 ▷ C4 ▷ C2 ▷ C1 | |
| UCS | C1 ◁ C2×C4×C127 ◁ C2×C42×C127 ◁ C2×C4×C8×C127 ◁ G | |
282 conjugacy classes of subgroups; only the 166 normal subgroups are shown.
This group has 282 conjugacy classes of subgroups — too many to draw. Only its 166 normal subgroups are shown.
Dotted edges: containments with no intermediate normal subgroup — omitted non-normal subgroups may lie between.
| minimal degree | μ(G) = 167 |
| transitive degree | μt(G) = 16256 |
A minimal faithful permutation representation — 3 generators on 167 points:
(1,2)(3,6)(4,5)(7,8)(9,10,15,21,16,23,29,22)(11,18,25,36,26,37,27,32)(12,17,24,33,28,35,40,34)(13,20,14,19,30,38,31,39)(41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,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,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167);(2,5)(6,8)(9,11,14,24,15,25,30,28,16,26,31,40,29,27,13,12)(10,17,20,32,22,34,39,37,23,35,38,36,21,33,19,18);(1,3,4,7)(2,6,5,8)(9,12,13,27,29,40,31,26,16,28,30,25,15,24,14,11)(10,18,19,33,21,36,38,35,23,37,39,34,22,32,20,17)9652 conjugacy classes. The character table is too large to display.
Construct this group in GAP via the SmallGroups library:
gap> SmallGroup(32512, 5879);