Finite Group Databasebeta

D8648 #72213562

order17296
automorphismAut(G) order 35007104
homologyAbelianization (H1) = C22 · Schur multiplier (H2) = C2

Aliases

dihedralD8648

Splittings

FittingC8×C23×C47 ⋊ C2
HallC23×C47 ⋊ D8
SylowC47 ⋊ D184
SylowC23 ⋊ D376

Subgroups

subgroupG/H
centerC2D4324
commutator, cosocleC4×C23×C47C22
FrattiniC4C2×D1081
FittingC8×C23×C47C2
socleC2×C23×C47D4
hypercenterC8D1081
hypocenterC23×C47D8
LCSG ▷ C4×C23×C47 ▷ C2×C23×C47 ▷ C23×C47
UCSC1 ◁ C2 ◁ C4 ◁ C8

44 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 78
transitive degreeμt(G) = 8648

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

Polycyclic presentation:

2^4,23,47|b^2=cd,c^2=d,b^a=bc,c^a=cd,e^a=e^22,f^a=f^46

Conjugacy classes & character table

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

Relationships

maximal subgroup ofD17296, D25944
maximal normal subgroup ofD17296
maximal quotient ofDic8648, D17296, D25944

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