| order | 63732 |
| automorphism | ? |
| homology | Abelianization (H1) = C4 · Schur multiplier (H2) = C1 |
| dicyclic | Dic15933 |
| derived, Hall | C3×C47×C113 ⋊ C4 |
| Hall | C47×C113 ⋊ Dic3 |
| Hall | C3×C113 ⋊ Dic47 |
| Hall | C3×C47 ⋊ Dic113 |
| Sylow | C113 ⋊ Dic141 |
| Sylow | C47 ⋊ Dic339 |
| Sylow | C3 ⋊ Dic5311 |
| subgroup | G/H | |
|---|---|---|
| center, Frattini, hypercenter | C2 | D15933 |
| commutator, hypocenter | C3×C47×C113 | C4 |
| Fitting, socle, prime radical, cosocle | C2×C3×C47×C113 | C2 |
| LCS | G ▷ C3×C47×C113 | |
| UCS | C1 ◁ C2 | |
24 conjugacy classes of subgroups.
| minimal degree | μ(G) = 167 |
| transitive degree | μt(G) = 63732 |
A minimal faithful permutation representation — 2 generators on 167 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);(1,3,2,4)(6,7)(9,54)(10,53)(11,52)(12,51)(13,50)(14,49)(15,48)(16,47)(17,46)(18,45)(19,44)(20,43)(21,42)(22,41)(23,40)(24,39)(25,38)(26,37)(27,36)(28,35)(29,34)(30,33)(31,32)(56,167)(57,166)(58,165)(59,164)(60,163)(61,162)(62,161)(63,160)(64,159)(65,158)(66,157)(67,156)(68,155)(69,154)(70,153)(71,152)(72,151)(73,150)(74,149)(75,148)(76,147)(77,146)(78,145)(79,144)(80,143)(81,142)(82,141)(83,140)(84,139)(85,138)(86,137)(87,136)(88,135)(89,134)(90,133)(91,132)(92,131)(93,130)(94,129)(95,128)(96,127)(97,126)(98,125)(99,124)(100,123)(101,122)(102,121)(103,120)(104,119)(105,118)(106,117)(107,116)(108,115)(109,114)(110,113)(111,112)Polycyclic presentation:
2^2,3,47,113|a^2=b,c^a=c^2,d^a=d^46,e^a=e^11215936 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", "e");;
gap> coll := SingleCollector(F, [2, 2, 3, 47, 113]);;
gap> SetPower(coll, 1, F.2);;
gap> SetConjugate(coll, 3, 1, F.3^2);;
gap> SetConjugate(coll, 4, 1, F.4^46);;
gap> SetConjugate(coll, 5, 1, F.5^112);;
gap> UpdatePolycyclicCollector(coll);;
gap> G := GroupByRws(coll);