| order | 512 |
| nilpotency class | 3 |
| isoclinism | isoclinic class of #576 |
| automorphism | ? |
| homology | Abelianization (H1) = C22×C4×C8 · Schur multiplier (H2) = C24×C4 |
No aliases for this group.
| subgroup | G/H | |
|---|---|---|
| center | C2×C8 | C22×D4 |
| commutator | C4 | C22×C4×C8 |
| Frattini, cosocle | C22×C8 | C24 |
| socle | C22 | C2×C8×D4 |
| prime radical | C2×#135 | C2×C4 |
| LCS | G ▷ C4 ▷ C2 ▷ C1 | |
| UCS | C1 ◁ C2×C8 ◁ C2×#346 ◁ G | |
| LECS | G ▷ C22×C8 ▷ C4 ▷ C2 ▷ C1 | |
748 conjugacy classes of subgroups.
| minimal degree | μ(G) = 68 |
| transitive degree | μt(G) = 128 |
A minimal faithful permutation representation — 4 generators on 68 points:
(5,6,10,16,11,15,30,40,12,17,31,41,9,27,29,53)(7,18,21,43,20,13,32,34,22,35,47,59,28,36,54,60)(8,14,25,39,26,38,52,62,23,37,48,61,24,49,51,65)(19,42,46,63,45,33,55,57,44,58,64,68,50,56,66,67);(1,2,4,3)(5,7)(6,13)(8,19)(9,28)(10,21)(11,20)(12,22)(14,33)(15,35)(16,34)(17,36)(18,27)(23,44)(24,50)(25,46)(26,45)(29,54)(30,32)(31,47)(37,56)(38,58)(39,57)(40,59)(41,60)(42,49)(43,53)(48,64)(51,66)(52,55)(61,67)(62,68)(63,65);(1,3,4,2)(8,23)(14,37)(19,44)(24,26)(25,48)(33,56)(38,49)(39,61)(42,58)(45,50)(46,64)(51,52)(55,66)(57,67)(62,65)(63,68);(5,8,10,25,11,26,30,52,12,23,31,48,9,24,29,51)(6,14,16,39,15,38,40,62,17,37,41,61,27,49,53,65)(7,19,21,46,20,45,32,55,22,44,47,64,28,50,54,66)(13,33,34,57,35,58,59,68,36,56,60,67,18,42,43,63)Polycyclic presentation:
2^9|a^2=f,b^2=g,c^2=g,d^2=f,e^2=i,f^2=h,h^2=i,b^a=be,e^a=ei,e^b=ei,d^c=di176 conjugacy classes — view the full character table.
Construct this group in GAP via the SmallGroups library:
gap> SmallGroup(512, 400411);