Finite Group Databasebeta

D9576 #72214752

order19152
automorphismAut(G) order 24820992
homologyAbelianization (H1) = C22 · Schur multiplier (H2) = C2

Aliases

dihedralD9576

Splittings

FittingC7×C8×C9×C19 ⋊ C2
HallC7×C9×C19 ⋊ D8
HallC9×C19 ⋊ D56
HallC7×C19 ⋊ D72
HallC7×C9 ⋊ D152
SylowC19 ⋊ D504
SylowC9 ⋊ D1064
SylowC7 ⋊ D1368

Subgroups

subgroupG/H
centerC2D4788
commutator, cosocleC4×C7×C9×C19C22
FrattiniC3×C4C2×D399
FittingC7×C8×C9×C19C2
socleC2×C3×C7×C19D12
hypercenterC8D1197
hypocenterC7×C9×C19D8
LCSG ▷ C4×C7×C9×C19 ▷ C2×C7×C9×C19 ▷ C7×C9×C19
UCSC1 ◁ C2 ◁ C4 ◁ C8

132 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 43
transitive degreeμt(G) = 9576

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

Polycyclic presentation:

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

Conjugacy classes & character table

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

Relationships

maximal subgroup ofD19152, D28728
maximal normal subgroup ofD19152
maximal quotient ofDic9576, D19152, D28728

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