| order | 512 |
| nilpotency class | 2 |
| isoclinism | isoclinic class of H(3,ℤ/4) |
| automorphism | ? |
| homology | Abelianization (H1) = C4×C32 · Schur multiplier (H2) = C1 |
No aliases for this group.
| subgroup | G/H | |
|---|---|---|
| center | C32 | C42 |
| commutator | C4 | C4×C32 |
| Frattini, cosocle | C2×C64 | C22 |
| socle | C2 | #7510 |
| prime radical | C22 | M128 |
| LCS | G ▷ C4 ▷ C1 | |
| UCS | C1 ◁ C32 ◁ G | |
| LECS | G ▷ C2×C64 ▷ C32 ▷ C16 ▷ C8 ▷ C4 ▷ C2 ▷ C1 | |
44 conjugacy classes of subgroups.
| minimal degree | μ(G) = 128 |
| transitive degree | μt(G) = 128 |
A minimal faithful permutation representation — 2 generators on 128 points:
(1,2,3,10,4,12,17,38,5,13,18,39,21,44,53,84,6,14,19,40,22,45,54,85,25,47,56,86,59,90,97,119,7,15,20,36,23,46,55,78,26,48,57,79,60,91,98,113,28,49,58,80,62,92,99,114,65,93,100,115,101,121,123,127,8,11,16,37,24,41,50,81,27,42,51,82,61,87,94,116,29,43,52,83,63,88,95,117,66,89,96,118,102,120,122,128,30,9,31,32,64,33,69,72,67,34,70,73,103,75,106,109,68,35,71,74,104,76,107,110,105,77,108,111,124,112,125,126);(2,9,11,15)(3,16)(10,36,37,32)(12,33,41,46)(13,34,42,48)(14,35,43,49)(17,50)(18,51)(19,52)(20,31)(38,78,81,72)(39,79,82,73)(40,80,83,74)(44,75,87,91)(45,76,88,92)(47,77,89,93)(53,94)(54,95)(55,69)(56,96)(57,70)(58,71)(84,113,116,109)(85,114,117,110)(86,115,118,111)(90,112,120,121)(97,122)(98,106)(99,107)(100,108)(119,127,128,126)(123,125)Polycyclic presentation:
2^9|a^2=c,b^2=d,c^2=e,e^2=f,f^2=g,g^2=h,h^2=i,b^a=bh,d^a=di,c^b=ci176 conjugacy classes — view the full character table.
| maximal subgroup of | #72230722, #72230728, #72230767, … |
| maximal normal subgroup of | #72230722, #72230728, #72230767, … |
| maximal quotient of | #72277918, #72278050 |
Construct this group in GAP via the SmallGroups library:
gap> SmallGroup(512, 2011);