Finite Group Databasebeta

D10488 #72215403

order20976
automorphismAut(G) order 33225984
homologyAbelianization (H1) = C22 · Schur multiplier (H2) = C2

Aliases

dihedralD10488

Splittings

FittingC3×C8×C19×C23 ⋊ C2
HallC3×C19×C23 ⋊ D8
HallC19×C23 ⋊ D24
HallC3×C23 ⋊ D152
HallC3×C19 ⋊ D184
SylowC23 ⋊ D456
SylowC19 ⋊ D552
SylowC3 ⋊ D3496

Subgroups

subgroupG/H
centerC2D5244
commutator, cosocleC3×C4×C19×C23C22
FrattiniC4C2×D1311
FittingC3×C8×C19×C23C2
socleC2×C3×C19×C23D4
hypercenterC8D1311
hypocenterC3×C19×C23D8
LCSG ▷ C3×C4×C19×C23 ▷ C2×C3×C19×C23 ▷ C3×C19×C23
UCSC1 ◁ C2 ◁ C4 ◁ C8

88 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 53
transitive degreeμt(G) = 10488

A minimal faithful permutation representation — 2 generators on 53 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,44,45,46,47,48,49,50,51,52,53);(2,8)(3,7)(4,6)(10,11)(13,30)(14,29)(15,28)(16,27)(17,26)(18,25)(19,24)(20,23)(21,22)(32,53)(33,52)(34,51)(35,50)(36,49)(37,48)(38,47)(39,46)(40,45)(41,44)(42,43)

Polycyclic presentation:

2^4,3,19,23|b^2=cd,c^2=d,b^a=bc,c^a=cd,e^a=e^2,f^a=f^18,g^a=g^22

Conjugacy classes & character table

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

Relationships

maximal subgroup ofD20976, D31464
maximal normal subgroup ofD20976
maximal quotient ofDic10488, D20976, D31464

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