Finite Group Databasebeta
Cayley diagram

D40 #678

order80
isoclinismisoclinic class of #677
automorphismAut(G) = AGL(1,𝔽5)×AGL(1,ℤ/8) (order 640) · Inn(G) = D20 · Out(G) = C22×C4
homologyAbelianization (H1) = C22 · Schur multiplier (H2) = C2

Aliases

dihedralD40

Splittings

FittingC5×C8 ⋊ C2
SylowC5 ⋊ D8

Subgroups

subgroupG/H
centerC2D20
commutator, cosocleC4×C5C22
FrattiniC4C2×D5
FittingC5×C8C2
socleC2×C5D4
hypercenterC8D5
hypocenterC5D8
LCSG ▷ C4×C5 ▷ C2×C5 ▷ C5
UCSC1 ◁ C2 ◁ C4 ◁ C8

22 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 13
transitive degreeμt(G) = 40

A minimal faithful permutation representation — 2 generators on 13 points:

(1,2,3,4,5,6,7,8)(9,10,11,12,13);(2,8)(3,7)(4,6)(10,13)(11,12)

Polycyclic presentation:

2^4,5|b^2=cd,c^2=d,b^a=bc,c^a=cd,e^a=e^4

Conjugacy classes & character table

23 conjugacy classes — view the full character table.

Relationships

maximal subgroup ofD80, #3932, #3958, …
maximal normal subgroup ofD80, #3932, #3958, …
maximal quotient ofD80, #3932, Dic40, …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(80, 7);