Finite Group Databasebeta
Cayley diagram

D9⋊A4 #6259

order216
isoclinismisoclinic class of D9⋊A4
automorphismAut(G) = A4×AGL(1,ℤ/9) (order 648) · Inn(G) = G · Out(G) = C3
homologyAbelianization (H1) = C2×C3 · Schur multiplier (H2) = C2

Aliases

unambiguous semidirect productD9⋊A4
unambiguous semidirect product(C9⋊A4)⋊C2

Splittings

Fitting, derivedC22×C9 ⋊ C2×C3

Subgroups

subgroupG/H
center, hypercenterC1G
commutator, Fitting, cosocle, hypocenterC22×C9C2×C3
FrattiniC3D3×A4
socleC22×C3C3×D3
LCSG ▷ C22×C9
UCSC1

38 conjugacy classes of subgroups.

Full subgroup data →

Presentation

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

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

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

Polycyclic presentation:

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

Conjugacy classes & character table

16 conjugacy classes — view the full character table.

Relationships

maximal subgroup ofC2×D9⋊A4, C3×D9⋊A4, A4×AGL(1,ℤ/9), …
maximal normal subgroup ofC2×D9⋊A4, C3×D9⋊A4, A4×AGL(1,ℤ/9), …
maximal quotient of#88614, D9⋊SL(2,𝔽3), Dic9⋊A4, …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(216, 96);