Finite Group Databasebeta
Cayley diagram

A4⋊C16 #4627

order192
isoclinismisoclinic class of S4
automorphismAut(G) = C2×C4×S4 (order 192) · Inn(G) = S4 · Out(G) = C2×C4
homologyAbelianization (H1) = C16 · Schur multiplier (H2) = C2

Aliases

unambiguous semidirect productA4⋊C16

Splittings

derivedA4 ⋊ C16

Subgroups

subgroupG/H
center, Frattini, hypercenterC8S4
commutator, hypocenterA4C16
FittingC22×C8D3
socleC23C3⋊C8
prime radicalC2×A4C8
cosocleC8×A4C2
LCSG ▷ A4
UCSC1 ◁ C8

33 conjugacy classes of subgroups.

Full subgroup data →

Presentation

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

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

(1,2,4,3)(5,6,7,10,8,11,13,16,9,12,14,17,15,18,19,20);(2,3,4)

Polycyclic presentation:

2^4,3,2^2|a^2=b,b^2=c,c^2=d,e^a=e^2,f^a=g,g^a=f,f^e=g,g^e=fg

Conjugacy classes & character table

40 conjugacy classes — view the full character table.

Relationships

maximal subgroup ofC16×S4, #73034, C2×A4⋊C16, …
maximal normal subgroup ofC16×S4, #73034, C2×A4⋊C16, …
maximal quotient ofSL(2,𝔽3)⋊C16, A4⋊C32, #68006, …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(192, 186);