Finite Group Databasebeta
Cayley diagram

C22⋊C4 #31

order16
nilpotency class2
isoclinismisoclinic class of D4
automorphismAut(G) = #120 (order 32) · Inn(G) = C22 · Out(G) = D4
holomorphG ⋊ Aut(G) = #511790
homologyAbelianization (H1) = C2×C4 · Schur multiplier (H2) = C22

Aliases

unambiguous semidirect productC22⋊C4

Subgroups

subgroupG/H
center, Frattini, socle, cosocleC22C22
commutatorC2C2×C4
prime radicalC23C2
LCSG ▷ C2 ▷ C1
UCSC1 ◁ C22 ◁ G
LECSG ▷ C22 ▷ C1

17 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 8
transitive degreeμt(G) = 8

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

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

Polycyclic presentation:

2^4|a^2=d,b^a=bc

Conjugacy classes & character table

C1C2C3C4C5C6C7C8C9C10
size1111222222
order1222224444
χ11111111111
χ2111111-1-1-1-1
χ31111-1-111-1-1
χ41111-1-1-1-111
χ511-1-11-1i−ii−i
χ611-1-11-1−ii−ii
χ711-1-1-11i−i−ii
χ811-1-1-11−iii−i
χ92-22-2000000
χ102-2-22000000

Here i is the imaginary unit (i² = −1).

Relationships

Fitting subgroup ofC22⋊C4×A5, #11751534, C22⋊#6732, …
maximal subgroup of#99, C2×C22⋊C4, #117, …
maximal normal subgroup of#99, C2×C22⋊C4, #117, …
maximal quotient of#95, C22⋊C8, #99, …
outer automorphism group of#330, #7527, #7528, …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(16, 3);