Finite Group Databasebeta

D6840 #72212426

order13680
automorphismAut(G) order 11819520
homologyAbelianization (H1) = C22 · Schur multiplier (H2) = C2

Aliases

dihedralD6840

Splittings

FittingC5×C8×C9×C19 ⋊ C2
HallC5×C9×C19 ⋊ D8
HallC9×C19 ⋊ D40
HallC5×C19 ⋊ D72
HallC5×C9 ⋊ D152
SylowC19 ⋊ D360
SylowC9 ⋊ D760
SylowC5 ⋊ D1368

Subgroups

subgroupG/H
centerC2D3420
commutator, cosocleC4×C5×C9×C19C22
FrattiniC3×C4C2×D285
FittingC5×C8×C9×C19C2
socleC2×C3×C5×C19D12
hypercenterC8D855
hypocenterC5×C9×C19D8
LCSG ▷ C4×C5×C9×C19 ▷ C2×C5×C9×C19 ▷ C5×C9×C19
UCSC1 ◁ C2 ◁ C4 ◁ C8

132 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 41
transitive degreeμt(G) = 6840

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

Polycyclic presentation:

2^4,3,5,19,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^18,h^a=h^2

Conjugacy classes & character table

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

Relationships

maximal subgroup ofD13680, D20520
maximal normal subgroup ofD13680
maximal quotient ofD13680, Dic6840, D20520

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, 19, 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^18);;
gap> SetConjugate(coll, 8, 1, F.8^2);;
gap> UpdatePolycyclicCollector(coll);;
gap> G := GroupByRws(coll);