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