Finite Group Databasebeta

D26775 #72290119

order53550
automorphism?
homologyAbelianization (H1) = C2 · Schur multiplier (H2) = C1

Aliases

dihedralD26775

Splittings

Fitting, derived, HallC7×C9×C17×C25 ⋊ C2
HallC9×C17×C25 ⋊ D7
HallC7×C17×C25 ⋊ D9
HallC7×C9×C25 ⋊ D17
HallC7×C9×C17 ⋊ D25
HallC17×C25 ⋊ D63
HallC9×C25 ⋊ D119
HallC7×C25 ⋊ D153
HallC9×C17 ⋊ D175
HallC7×C17 ⋊ D225
HallC7×C9 ⋊ D425
SylowC25 ⋊ D1071
SylowC17 ⋊ D1575
SylowC9 ⋊ D2975
SylowC7 ⋊ D3825

Subgroups

subgroupG/H
center, hypercenterC1G
commutator, Fitting, cosocle, hypocenterC7×C9×C17×C25C2
FrattiniC3×C5D1785
socleC3×C5×C7×C17D15
LCSG ▷ C7×C9×C17×C25
UCSC1

72 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 58
transitive degreeμt(G) = 26775

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

Polycyclic presentation:

2,3,5,7,17,3,5|b^3=f,c^5=g,b^a=b^2f^2,c^a=c^4g^4,d^a=d^6,e^a=e^16,f^a=f^2,g^a=g^4

Conjugacy classes & character table

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

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, 3, 5, 7, 17, 3, 5]);;
gap> SetPower(coll, 2, F.6);;
gap> SetPower(coll, 3, F.7);;
gap> SetConjugate(coll, 2, 1, F.2^2*F.6^2);;
gap> SetConjugate(coll, 3, 1, F.3^4*F.7^4);;
gap> SetConjugate(coll, 4, 1, F.4^6);;
gap> SetConjugate(coll, 5, 1, F.5^16);;
gap> SetConjugate(coll, 6, 1, F.6^2);;
gap> SetConjugate(coll, 7, 1, F.7^4);;
gap> UpdatePolycyclicCollector(coll);;
gap> G := GroupByRws(coll);