| order | 1024 |
| nilpotency class | 6 |
| automorphism | ? |
| homology | Abelianization (H1) = C22×C4 · Schur multiplier (H2) = C2 |
No aliases for this group.
| subgroup | G/H | |
|---|---|---|
| center, socle | C2 | #151115 |
| commutator | C2×C32 | C22×C4 |
| Frattini, cosocle | #1397 | C23 |
| prime radical | #2262 | C2×C4 |
| LCS | G ▷ C2×C32 ▷ C16 ▷ C8 ▷ C4 ▷ C2 ▷ C1 | |
| UCS | C1 ◁ C2 ◁ C2×C4 ◁ C4×C8 ◁ #1311 ◁ #7330 ◁ G | |
| LECS | G ▷ #1397 ▷ C2×C16 ▷ C8 ▷ C4 ▷ C2 ▷ C1 | |
153 conjugacy classes of subgroups; only the 53 normal subgroups are shown.
This group has 153 conjugacy classes of subgroups — too many to draw. Only its 53 normal subgroups are shown.
Dotted edges: containments with no intermediate normal subgroup — omitted non-normal subgroups may lie between.
| minimal degree | μ(G) = 128 |
| transitive degree | μt(G) = 128 |
A minimal faithful permutation representation — 3 generators on 128 points:
(1,2,5,9,7,13,32,15)(3,16)(4,22,26,87,28,86,23,64)(6,34,31,53,35,108,104,106)(8,40,33,14,39,45,37,61)(10,46,48,79)(11,51,54,27,55,75,43,99)(12,57,44,81,60,25,58,38)(17,70)(18,42,77,62)(19,80)(20,85)(21,69)(24,59,93,116)(29,102,98,125,101,121,91,89)(30,68)(36,109)(41,67)(47,113,114,74)(49,95,107,128)(50,71,111,94)(52,105)(56,123,110,117,122,100,88,97)(63,82)(65,78,115,90)(66,72)(73,126)(76,119)(83,118)(84,124)(92,120,103,112)(96,127);(2,9,13,15)(3,17,30,82,21,73,20,41)(4,23,28,26)(6,35)(10,47,42,111,48,114,62,50)(12,58,60,44)(14,45,61,40)(16,63,85,70,69,67,68,126)(18,74,79,94,77,113,46,71)(19,36,96,105,84,72,83,76)(22,86)(24,92,78,95,93,103,90,128)(25,57)(27,75,99,51)(29,91,101,98)(31,104)(34,106,108,53)(38,81)(49,65,112,116,107,115,120,59)(52,118,109,124,119,127,66,80)(64,87)(89,125)(97,123,117,100)(102,121);(1,3)(2,10)(4,24)(5,30)(6,36)(7,21)(8,41)(9,42)(11,52)(12,59)(13,48)(14,47)(15,62)(16,64)(17,33)(18,75)(19,81)(20,32)(22,85)(23,90)(25,96)(26,78)(27,46)(28,93)(29,103)(31,105)(34,107)(35,72)(37,73)(38,84)(39,82)(40,50)(43,66)(44,65)(45,111)(49,108)(51,77)(53,120)(54,109)(55,119)(56,80)(57,83)(58,115)(60,116)(61,114)(63,125)(67,89)(68,86)(69,87)(70,121)(71,100)(74,97)(76,104)(79,99)(88,127)(91,95)(92,101)(94,123)(98,128)(102,126)(106,112)(110,118)(113,117)(122,124)Polycyclic presentation:
2^10|a^2=e,b^2=eij,d^2=fhij,e^2=g,f^2=hij,h^2=ij,i^2=j,b^a=bgij,c^a=cd,c^b=ch,d^a=df,d^b=di,d^c=dfij,e^c=eij,e^d=ej,f^a=fh,f^b=fj,f^c=fhj,g^c=gj,h^a=hi,h^c=hi,i^a=ij,i^c=ij64 conjugacy classes — view the full character table.
| maximal subgroup of | #72321955, #72321964, #72321969 |
| maximal normal subgroup of | #72321955, #72321964, #72321969 |
Past the SmallGroups library coverage — no SmallGroups id. Construct it from its polycyclic presentation:
gap> F := FreeGroup(IsSyllableWordsFamily, "a", "b", "c", "d", "e", "f", "g", "h", "i", "j");;
gap> coll := SingleCollector(F, [2, 2, 2, 2, 2, 2, 2, 2, 2, 2]);;
gap> SetPower(coll, 1, F.5);;
gap> SetPower(coll, 2, F.5*F.9*F.10);;
gap> SetPower(coll, 4, F.6*F.8*F.9*F.10);;
gap> SetPower(coll, 5, F.7);;
gap> SetPower(coll, 6, F.8*F.9*F.10);;
gap> SetPower(coll, 8, F.9*F.10);;
gap> SetPower(coll, 9, F.10);;
gap> SetConjugate(coll, 2, 1, F.2*F.7*F.9*F.10);;
gap> SetConjugate(coll, 3, 1, F.3*F.4);;
gap> SetConjugate(coll, 3, 2, F.3*F.8);;
gap> SetConjugate(coll, 4, 1, F.4*F.6);;
gap> SetConjugate(coll, 4, 2, F.4*F.9);;
gap> SetConjugate(coll, 4, 3, F.4*F.6*F.9*F.10);;
gap> SetConjugate(coll, 5, 3, F.5*F.9*F.10);;
gap> SetConjugate(coll, 5, 4, F.5*F.10);;
gap> SetConjugate(coll, 6, 1, F.6*F.8);;
gap> SetConjugate(coll, 6, 2, F.6*F.10);;
gap> SetConjugate(coll, 6, 3, F.6*F.8*F.10);;
gap> SetConjugate(coll, 7, 3, F.7*F.10);;
gap> SetConjugate(coll, 8, 1, F.8*F.9);;
gap> SetConjugate(coll, 8, 3, F.8*F.9);;
gap> SetConjugate(coll, 9, 1, F.9*F.10);;
gap> SetConjugate(coll, 9, 3, F.9*F.10);;
gap> UpdatePolycyclicCollector(coll);;
gap> G := GroupByRws(coll);