Finite Group Databasebeta

D9976 #72215085

order19952
automorphismAut(G) order 46927104
homologyAbelianization (H1) = C22 · Schur multiplier (H2) = C2

Aliases

dihedralD9976

Splittings

FittingC8×C29×C43 ⋊ C2
HallC29×C43 ⋊ D8
SylowC43 ⋊ D232
SylowC29 ⋊ D344

Subgroups

subgroupG/H
centerC2D4988
commutator, cosocleC4×C29×C43C22
FrattiniC4C2×D1247
FittingC8×C29×C43C2
socleC2×C29×C43D4
hypercenterC8D1247
hypocenterC29×C43D8
LCSG ▷ C4×C29×C43 ▷ C2×C29×C43 ▷ C29×C43
UCSC1 ◁ C2 ◁ C4 ◁ C8

44 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 80
transitive degreeμt(G) = 9976

A minimal faithful permutation representation — 2 generators on 80 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,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80);(2,8)(3,7)(4,6)(10,37)(11,36)(12,35)(13,34)(14,33)(15,32)(16,31)(17,30)(18,29)(19,28)(20,27)(21,26)(22,25)(23,24)(39,80)(40,79)(41,78)(42,77)(43,76)(44,75)(45,74)(46,73)(47,72)(48,71)(49,70)(50,69)(51,68)(52,67)(53,66)(54,65)(55,64)(56,63)(57,62)(58,61)(59,60)

Polycyclic presentation:

2^4,29,43|b^2=cd,c^2=d,b^a=bc,c^a=cd,e^a=e^28,f^a=f^42

Conjugacy classes & character table

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

Relationships

maximal subgroup ofD19952, D29928
maximal normal subgroup ofD19952
maximal quotient ofDic9976, D19952, D29928

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");;
gap> coll := SingleCollector(F, [2, 2, 2, 2, 29, 43]);;
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^28);;
gap> SetConjugate(coll, 6, 1, F.6^42);;
gap> UpdatePolycyclicCollector(coll);;
gap> G := GroupByRws(coll);