Finite Group Databasebeta
Cayley diagram

C4⋊AGL(1,𝔽5) #702

order80
isoclinismisoclinic class of #700
automorphismAut(G) = D4×AGL(1,𝔽5) (order 160) · Inn(G) = C2×AGL(1,𝔽5) · Out(G) = C22
homologyAbelianization (H1) = C2×C4 · Schur multiplier (H2) = C2

Aliases

unambiguous semidirect productC4⋊AGL(1,𝔽5)

Splittings

FittingC4×C5 ⋊ C4
SylowC5 ⋊ C4⋊C4

Subgroups

subgroupG/H
center, FrattiniC2C2×AGL(1,𝔽5)
commutator, socleC2×C5C2×C4
FittingC4×C5C4
prime radical, cosocleC2×D5C22
hypercenterC4AGL(1,𝔽5)
hypocenterC5C4⋊C4
LCSG ▷ C2×C5 ▷ C5
UCSC1 ◁ C2 ◁ C4

26 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 9
transitive degreeμt(G) = 20

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

(1,2,3,5,4)(6,7,8,9);(2,3,4,5)(7,9)

Polycyclic presentation:

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

Conjugacy classes & character table

14 conjugacy classes — view the full character table.

Relationships

maximal subgroup of#3993, #3994, #4007, …
maximal normal subgroup of#3993, #3994, #4007, …
maximal quotient of#3993, #3994, #3995, …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(80, 31);