| order | 1024 |
| nilpotency class | 9 |
| automorphism | Aut(G) order 65536 |
| homology | Abelianization (H1) = C22 · Schur multiplier (H2) = C1 |
| semi dihedral | SD1024 |
| subgroup | G/H | |
|---|---|---|
| center, socle | C2 | D256 |
| commutator, Frattini, cosocle | C256 | C22 |
| prime radical | D256 | C2 |
| LCS | G ▷ C256 ▷ C128 ▷ C64 ▷ C32 ▷ C16 ▷ C8 ▷ C4 ▷ C2 ▷ C1 | |
| UCS | C1 ◁ C2 ◁ C4 ◁ C8 ◁ C16 ◁ C32 ◁ C64 ◁ C128 ◁ C256 ◁ G | |
| LECS | G ▷ C256 ▷ C128 ▷ C64 ▷ C32 ▷ C16 ▷ C8 ▷ C4 ▷ C2 ▷ C1 | |
28 conjugacy classes of subgroups.
| minimal degree | μ(G) = 512 |
| transitive degree | μt(G) = 512 |
A minimal faithful permutation representation — 2 generators on 512 points:
(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,320,321,322,323,324,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,355,356,357,358,359,360,361,362,363,364,365,366,367,368,369,370,371,372,373,374,375,376,377,378,379,380,381,382,383,384,385,386,387,388,389,390,391,392,393,394,395,396,397,398,399,400,401,402,403,404,405,406,407,408,409,410,411,412,413,414,415,416,417,418,419,420,421,422,423,424,425,426,427,428,429,430,431,432,433,434,435,436,437,438,439,440,441,442,443,444,445,446,447,448,449,450,451,452,453,454,455,456,457,458,459,460,461,462,463,464,465,466,467,468,469,470,471,472,473,474,475,476,477,478,479,480,481,482,483,484,485,486,487,488,489,490,491,492,493,494,495,496,497,498,499,500,501,502,503,504,505,506,507,508,509,510,511,512);(2,256)(3,511)(4,254)(5,509)(6,252)(7,507)(8,250)(9,505)(10,248)(11,503)(12,246)(13,501)(14,244)(15,499)(16,242)(17,497)(18,240)(19,495)(20,238)(21,493)(22,236)(23,491)(24,234)(25,489)(26,232)(27,487)(28,230)(29,485)(30,228)(31,483)(32,226)(33,481)(34,224)(35,479)(36,222)(37,477)(38,220)(39,475)(40,218)(41,473)(42,216)(43,471)(44,214)(45,469)(46,212)(47,467)(48,210)(49,465)(50,208)(51,463)(52,206)(53,461)(54,204)(55,459)(56,202)(57,457)(58,200)(59,455)(60,198)(61,453)(62,196)(63,451)(64,194)(65,449)(66,192)(67,447)(68,190)(69,445)(70,188)(71,443)(72,186)(73,441)(74,184)(75,439)(76,182)(77,437)(78,180)(79,435)(80,178)(81,433)(82,176)(83,431)(84,174)(85,429)(86,172)(87,427)(88,170)(89,425)(90,168)(91,423)(92,166)(93,421)(94,164)(95,419)(96,162)(97,417)(98,160)(99,415)(100,158)(101,413)(102,156)(103,411)(104,154)(105,409)(106,152)(107,407)(108,150)(109,405)(110,148)(111,403)(112,146)(113,401)(114,144)(115,399)(116,142)(117,397)(118,140)(119,395)(120,138)(121,393)(122,136)(123,391)(124,134)(125,389)(126,132)(127,387)(128,130)(129,385)(131,383)(133,381)(135,379)(137,377)(139,375)(141,373)(143,371)(145,369)(147,367)(149,365)(151,363)(153,361)(155,359)(157,357)(159,355)(161,353)(163,351)(165,349)(167,347)(169,345)(171,343)(173,341)(175,339)(177,337)(179,335)(181,333)(183,331)(185,329)(187,327)(189,325)(191,323)(193,321)(195,319)(197,317)(199,315)(201,313)(203,311)(205,309)(207,307)(209,305)(211,303)(213,301)(215,299)(217,297)(219,295)(221,293)(223,291)(225,289)(227,287)(229,285)(231,283)(233,281)(235,279)(237,277)(239,275)(241,273)(243,271)(245,269)(247,267)(249,265)(251,263)(253,261)(255,259)(258,512)(260,510)(262,508)(264,506)(266,504)(268,502)(270,500)(272,498)(274,496)(276,494)(278,492)(280,490)(282,488)(284,486)(286,484)(288,482)(290,480)(292,478)(294,476)(296,474)(298,472)(300,470)(302,468)(304,466)(306,464)(308,462)(310,460)(312,458)(314,456)(316,454)(318,452)(320,450)(322,448)(324,446)(326,444)(328,442)(330,440)(332,438)(334,436)(336,434)(338,432)(340,430)(342,428)(344,426)(346,424)(348,422)(350,420)(352,418)(354,416)(356,414)(358,412)(360,410)(362,408)(364,406)(366,404)(368,402)(370,400)(372,398)(374,396)(376,394)(378,392)(380,390)(382,388)(384,386)Polycyclic presentation:
2^10|b^2=cdj,c^2=de,d^2=ef,e^2=fg,f^2=gh,g^2=hi,h^2=ij,i^2=j,b^a=bc,c^a=cd,d^a=de,e^a=ef,f^a=fg,g^a=gh,h^a=hi,i^a=ij259 conjugacy classes — view the full character table.
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, 2, F.3*F.4*F.10);;
gap> SetPower(coll, 3, F.4*F.5);;
gap> SetPower(coll, 4, F.5*F.6);;
gap> SetPower(coll, 5, F.6*F.7);;
gap> SetPower(coll, 6, F.7*F.8);;
gap> SetPower(coll, 7, F.8*F.9);;
gap> SetPower(coll, 8, F.9*F.10);;
gap> SetPower(coll, 9, F.10);;
gap> SetConjugate(coll, 2, 1, F.2*F.3);;
gap> SetConjugate(coll, 3, 1, F.3*F.4);;
gap> SetConjugate(coll, 4, 1, F.4*F.5);;
gap> SetConjugate(coll, 5, 1, F.5*F.6);;
gap> SetConjugate(coll, 6, 1, F.6*F.7);;
gap> SetConjugate(coll, 7, 1, F.7*F.8);;
gap> SetConjugate(coll, 8, 1, F.8*F.9);;
gap> SetConjugate(coll, 9, 1, F.9*F.10);;
gap> UpdatePolycyclicCollector(coll);;
gap> G := GroupByRws(coll);