| order | 59212 |
| automorphism | ? |
| homology | Abelianization (H1) = C4 · Schur multiplier (H2) = C1 |
| dicyclic | Dic14803 |
| derived, Hall | C113×C131 ⋊ C4 |
| Sylow | C131 ⋊ Dic113 |
| Sylow | C113 ⋊ Dic131 |
| subgroup | G/H | |
|---|---|---|
| center, Frattini, hypercenter | C2 | D14803 |
| commutator, hypocenter | C113×C131 | C4 |
| Fitting, socle, prime radical, cosocle | C2×C113×C131 | C2 |
| LCS | G ▷ C113×C131 | |
| UCS | C1 ◁ C2 | |
12 conjugacy classes of subgroups.
| minimal degree | μ(G) = 248 |
| transitive degree | μt(G) = 59212 |
A minimal faithful permutation representation — 2 generators on 248 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);(1,3,2,4)(6,117)(7,116)(8,115)(9,114)(10,113)(11,112)(12,111)(13,110)(14,109)(15,108)(16,107)(17,106)(18,105)(19,104)(20,103)(21,102)(22,101)(23,100)(24,99)(25,98)(26,97)(27,96)(28,95)(29,94)(30,93)(31,92)(32,91)(33,90)(34,89)(35,88)(36,87)(37,86)(38,85)(39,84)(40,83)(41,82)(42,81)(43,80)(44,79)(45,78)(46,77)(47,76)(48,75)(49,74)(50,73)(51,72)(52,71)(53,70)(54,69)(55,68)(56,67)(57,66)(58,65)(59,64)(60,63)(61,62)(119,248)(120,247)(121,246)(122,245)(123,244)(124,243)(125,242)(126,241)(127,240)(128,239)(129,238)(130,237)(131,236)(132,235)(133,234)(134,233)(135,232)(136,231)(137,230)(138,229)(139,228)(140,227)(141,226)(142,225)(143,224)(144,223)(145,222)(146,221)(147,220)(148,219)(149,218)(150,217)(151,216)(152,215)(153,214)(154,213)(155,212)(156,211)(157,210)(158,209)(159,208)(160,207)(161,206)(162,205)(163,204)(164,203)(165,202)(166,201)(167,200)(168,199)(169,198)(170,197)(171,196)(172,195)(173,194)(174,193)(175,192)(176,191)(177,190)(178,189)(179,188)(180,187)(181,186)(182,185)(183,184)Polycyclic presentation:
2^2,113,131|a^2=b,c^a=c^112,d^a=d^13014806 conjugacy classes. The character table is too large to display.
Past the SmallGroups library coverage — no SmallGroups id. Construct it from its polycyclic presentation:
gap> F := FreeGroup(IsSyllableWordsFamily, "a", "b", "c", "d");;
gap> coll := SingleCollector(F, [2, 2, 113, 131]);;
gap> SetPower(coll, 1, F.2);;
gap> SetConjugate(coll, 3, 1, F.3^112);;
gap> SetConjugate(coll, 4, 1, F.4^130);;
gap> UpdatePolycyclicCollector(coll);;
gap> G := GroupByRws(coll);