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