Finite Group Databasebeta
Cayley diagram

C4⋊S4 #980

order96
automorphismAut(G) = D4×S4 (order 192) · Inn(G) = C2×S4 · Out(G) = C22
homologyAbelianization (H1) = C22 · Schur multiplier (H2) = C22

Aliases

unambiguous semidirect productC4⋊S4

Splittings

FittingC22×C4 ⋊ D3

Subgroups

subgroupG/H
center, FrattiniC2C2×S4
commutator, cosocleC2×A4C22
FittingC22×C4D3
socleC23C2×D3
hypercenterC4S4
hypocenterA4D4
LCSG ▷ C2×A4 ▷ A4
UCSC1 ◁ C2 ◁ C4

56 conjugacy classes of subgroups.

Full subgroup data →

Presentation

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

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

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

Polycyclic presentation:

2^3,3,2^2|b^2=c,b^a=bc,d^a=d^2,e^a=f,f^a=e,e^d=f,f^d=ef

Conjugacy classes & character table

14 conjugacy classes — view the full character table.

Relationships

maximal subgroup of#5401, #5402, #5415, …
maximal normal subgroup of#5401, #5402, #5415, …
maximal quotient ofC4⋊#226, C4⋊GL(2,𝔽3), #5395, …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(96, 187);