Finite Group Databasebeta

Dic5170 #72216865

order20680
automorphismAut(G) order 38051200
homologyAbelianization (H1) = C22 · Schur multiplier (H2) = C1

Aliases

dicyclicDic5170

Splittings

HallC5×C11×C47 ⋊ Q8
HallC11×C47 ⋊ Dic10
HallC5×C47 ⋊ Dic22
HallC5×C11 ⋊ Dic94
SylowC47 ⋊ Dic110
SylowC11 ⋊ Dic470
SylowC5 ⋊ Dic1034

Subgroups

subgroupG/H
center, FrattiniC2C2×D2585
commutator, socle, prime radical, cosocleC2×C5×C11×C47C22
FittingC4×C5×C11×C47C2
hypercenterC4D2585
hypocenterC5×C11×C47Q8
LCSG ▷ C2×C5×C11×C47 ▷ C5×C11×C47
UCSC1 ◁ C2 ◁ C4

48 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 71
transitive degreeμt(G) = 20680

A minimal faithful permutation representation — 2 generators on 71 points:

(1,2,3,4)(5,8,7,6)(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);(1,5,3,7)(2,6,4,8)(10,13)(11,12)(15,24)(16,23)(17,22)(18,21)(19,20)(26,71)(27,70)(28,69)(29,68)(30,67)(31,66)(32,65)(33,64)(34,63)(35,62)(36,61)(37,60)(38,59)(39,58)(40,57)(41,56)(42,55)(43,54)(44,53)(45,52)(46,51)(47,50)(48,49)

Polycyclic presentation:

2^3,5,11,47|a^2=c,b^2=c,b^a=bc,d^a=d^4,e^a=e^10,f^a=f^46

Conjugacy classes & character table

5173 conjugacy classes. The character table is too large to display.

Relationships

maximal subgroup ofDic10340, Dic15510
maximal normal subgroup ofDic10340
maximal quotient ofDic15510

GAP

Past the SmallGroups library coverage — no SmallGroups id. Construct it from its polycyclic presentation:

gap> F := FreeGroup(IsSyllableWordsFamily, "a", "b", "c", "d", "e", "f");;
gap> coll := SingleCollector(F, [2, 2, 2, 5, 11, 47]);;
gap> SetPower(coll, 1, F.3);;
gap> SetPower(coll, 2, F.3);;
gap> SetConjugate(coll, 2, 1, F.2*F.3);;
gap> SetConjugate(coll, 4, 1, F.4^4);;
gap> SetConjugate(coll, 5, 1, F.5^10);;
gap> SetConjugate(coll, 6, 1, F.6^46);;
gap> UpdatePolycyclicCollector(coll);;
gap> G := GroupByRws(coll);