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