Finite Group Databasebeta

Dic4180 #72215552

order16720
automorphismAut(G) order 24076800
homologyAbelianization (H1) = C22 · Schur multiplier (H2) = C1

Aliases

dicyclicDic4180

Splittings

HallC5×C11×C19 ⋊ Q16
HallC11×C19 ⋊ Dic20
HallC5×C19 ⋊ Dic44
HallC5×C11 ⋊ Dic76
SylowC19 ⋊ Dic220
SylowC11 ⋊ Dic380
SylowC5 ⋊ Dic836

Subgroups

subgroupG/H
centerC2D4180
commutator, cosocleC4×C5×C11×C19C22
FrattiniC4C2×D1045
FittingC5×C8×C11×C19C2
socle, prime radicalC2×C5×C11×C19D4
hypercenterC8D1045
hypocenterC5×C11×C19Q16
LCSG ▷ C4×C5×C11×C19 ▷ C2×C5×C11×C19 ▷ C5×C11×C19
UCSC1 ◁ C2 ◁ C4 ◁ C8

72 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 51
transitive degreeμt(G) = 16720

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

(1,2,3,4,5,6,7,8)(9,16,15,14,13,12,11,10)(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);(1,9,5,13)(2,10,6,14)(3,11,7,15)(4,12,8,16)(18,21)(19,20)(23,32)(24,31)(25,30)(26,29)(27,28)(34,51)(35,50)(36,49)(37,48)(38,47)(39,46)(40,45)(41,44)(42,43)

Polycyclic presentation:

2^4,5,11,19|a^2=d,b^2=cd,c^2=d,b^a=bc,c^a=cd,e^a=e^4,f^a=f^10,g^a=g^18

Conjugacy classes & character table

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

Relationships

maximal subgroup ofDic8360, Dic12540
maximal normal subgroup ofDic8360
maximal quotient ofDic12540

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", "g");;
gap> coll := SingleCollector(F, [2, 2, 2, 2, 5, 11, 19]);;
gap> SetPower(coll, 1, F.4);;
gap> SetPower(coll, 2, F.3*F.4);;
gap> SetPower(coll, 3, F.4);;
gap> SetConjugate(coll, 2, 1, F.2*F.3);;
gap> SetConjugate(coll, 3, 1, F.3*F.4);;
gap> SetConjugate(coll, 5, 1, F.5^4);;
gap> SetConjugate(coll, 6, 1, F.6^10);;
gap> SetConjugate(coll, 7, 1, F.7^18);;
gap> UpdatePolycyclicCollector(coll);;
gap> G := GroupByRws(coll);