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