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