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