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