Finite Group Databasebeta

D13464 #72235530

order26928
automorphism?
homologyAbelianization (H1) = C22 · Schur multiplier (H2) = C2

Aliases

dihedralD13464

Splittings

FittingC8×C9×C11×C17 ⋊ C2
HallC9×C11×C17 ⋊ D8
HallC11×C17 ⋊ D72
HallC9×C17 ⋊ D88
HallC9×C11 ⋊ D136
SylowC17 ⋊ D792
SylowC11 ⋊ D1224
SylowC9 ⋊ D1496

Subgroups

subgroupG/H
centerC2D6732
commutator, cosocleC4×C9×C11×C17C22
FrattiniC3×C4C2×D561
FittingC8×C9×C11×C17C2
socleC2×C3×C11×C17D12
hypercenterC8D1683
hypocenterC9×C11×C17D8
LCSG ▷ C4×C9×C11×C17 ▷ C2×C9×C11×C17 ▷ C9×C11×C17
UCSC1 ◁ C2 ◁ C4 ◁ C8

132 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 45
transitive degreeμt(G) = 13464

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

Polycyclic presentation:

2^4,3,11,17,3|b^2=cd,c^2=d,e^3=h,b^a=bc,c^a=cd,e^a=e^2h^2,f^a=f^10,g^a=g^16,h^a=h^2

Conjugacy classes & character table

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

Relationships

maximal subgroup ofD26928
maximal normal subgroup ofD26928
maximal quotient ofDic13464, D26928

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