Finite Group Databasebeta

D3960 #72211260

order7920
automorphismAut(G) order 3801600
homologyAbelianization (H1) = C22 · Schur multiplier (H2) = C2

Aliases

dihedralD3960

Splittings

FittingC5×C8×C9×C11 ⋊ C2
HallC5×C9×C11 ⋊ D8
HallC9×C11 ⋊ D40
HallC5×C11 ⋊ D72
HallC5×C9 ⋊ D88
SylowC11 ⋊ D360
SylowC9 ⋊ D440
SylowC5 ⋊ D792

Subgroups

subgroupG/H
centerC2D1980
commutator, cosocleC4×C5×C9×C11C22
FrattiniC3×C4C2×D165
FittingC5×C8×C9×C11C2
socleC2×C3×C5×C11D12
hypercenterC8D495
hypocenterC5×C9×C11D8
LCSG ▷ C4×C5×C9×C11 ▷ C2×C5×C9×C11 ▷ C5×C9×C11
UCSC1 ◁ C2 ◁ C4 ◁ C8

132 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 33
transitive degreeμt(G) = 3960

A minimal faithful permutation representation — 2 generators on 33 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);(2,8)(3,7)(4,6)(10,17)(11,16)(12,15)(13,14)(19,22)(20,21)(24,33)(25,32)(26,31)(27,30)(28,29)

Polycyclic presentation:

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

Conjugacy classes & character table

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

Relationships

maximal subgroup ofD7920, D11880, D19800, …
maximal normal subgroup ofD7920
maximal quotient ofD7920, Dic3960, D11880, …

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