Finite Group Databasebeta

D13440 #72235488

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

Aliases

dihedralD13440

Splittings

FittingC3×C5×C7×C128 ⋊ C2
HallC3×C5×C7 ⋊ D128
HallC5×C7 ⋊ D384
HallC3×C7 ⋊ D640
HallC3×C5 ⋊ D896
SylowC7 ⋊ D1920
SylowC5 ⋊ D2688
SylowC3 ⋊ D4480

Subgroups

subgroupG/H
centerC2D6720
commutator, cosocleC3×C5×C7×C64C22
FrattiniC64C2×D105
FittingC3×C5×C7×C128C2
socleC2×C3×C5×C7D64
hypercenterC128D105
hypocenterC3×C5×C7D128
LCSG ▷ C3×C5×C7×C64 ▷ C3×C5×C7×C32 ▷ C3×C5×C7×C16 ▷ C3×C5×C7×C8 ▷ C3×C4×C5×C7 ▷ C2×C3×C5×C7 ▷ C3×C5×C7
UCSC1 ◁ C2 ◁ C4 ◁ C8 ◁ C16 ◁ C32 ◁ C64 ◁ C128

184 conjugacy classes of subgroups; only the 67 normal subgroups are shown.

normal subgroups only

This group has 184 conjugacy classes of subgroups — too many to draw. Only its 67 normal subgroups are shown.

Dotted edges: containments with no intermediate normal subgroup — omitted non-normal subgroups may lie between.

Full subgroup data →

Presentation

minimal degreeμ(G) = 143
transitive degreeμt(G) = 13440

A minimal faithful permutation representation — 2 generators on 143 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,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128)(129,130,131)(132,133,134,135,136)(137,138,139,140,141,142,143);(2,128)(3,127)(4,126)(5,125)(6,124)(7,123)(8,122)(9,121)(10,120)(11,119)(12,118)(13,117)(14,116)(15,115)(16,114)(17,113)(18,112)(19,111)(20,110)(21,109)(22,108)(23,107)(24,106)(25,105)(26,104)(27,103)(28,102)(29,101)(30,100)(31,99)(32,98)(33,97)(34,96)(35,95)(36,94)(37,93)(38,92)(39,91)(40,90)(41,89)(42,88)(43,87)(44,86)(45,85)(46,84)(47,83)(48,82)(49,81)(50,80)(51,79)(52,78)(53,77)(54,76)(55,75)(56,74)(57,73)(58,72)(59,71)(60,70)(61,69)(62,68)(63,67)(64,66)(130,131)(133,136)(134,135)(138,143)(139,142)(140,141)

Polycyclic presentation:

2^8,3,5,7|b^2=cd,c^2=de,d^2=ef,e^2=fg,f^2=gh,g^2=h,b^a=bc,c^a=cd,d^a=de,e^a=ef,f^a=fg,g^a=gh,i^a=i^2,j^a=j^4,k^a=k^6

Conjugacy classes & character table

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

Relationships

maximal subgroup ofD26880
maximal normal subgroup ofD26880
maximal quotient ofDic13440, D26880

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", "i", "j", "k");;
gap> coll := SingleCollector(F, [2, 2, 2, 2, 2, 2, 2, 2, 3, 5, 7]);;
gap> SetPower(coll, 2, F.3*F.4);;
gap> SetPower(coll, 3, F.4*F.5);;
gap> SetPower(coll, 4, F.5*F.6);;
gap> SetPower(coll, 5, F.6*F.7);;
gap> SetPower(coll, 6, F.7*F.8);;
gap> SetPower(coll, 7, F.8);;
gap> SetConjugate(coll, 2, 1, F.2*F.3);;
gap> SetConjugate(coll, 3, 1, F.3*F.4);;
gap> SetConjugate(coll, 4, 1, F.4*F.5);;
gap> SetConjugate(coll, 5, 1, F.5*F.6);;
gap> SetConjugate(coll, 6, 1, F.6*F.7);;
gap> SetConjugate(coll, 7, 1, F.7*F.8);;
gap> SetConjugate(coll, 9, 1, F.9^2);;
gap> SetConjugate(coll, 10, 1, F.10^4);;
gap> SetConjugate(coll, 11, 1, F.11^6);;
gap> UpdatePolycyclicCollector(coll);;
gap> G := GroupByRws(coll);