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