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