Finite Group Databasebeta
Cayley diagram

D9×S4 #88874

order432
isoclinismisoclinic class of D9×S4
automorphismAut(G) = S4×AGL(1,ℤ/9) (order 1296) · Inn(G) = G · Out(G) = C3
homologyAbelianization (H1) = C22 · Schur multiplier (H2) = C22

Aliases

direct productD9×S4
unambiguous semidirect product(C9×S4)⋊C2
unambiguous semidirect product(C9⋊S4)⋊C2
unambiguous semidirect product(A4×D9)⋊C2

Splittings

FittingC22×C9 ⋊ C2×D3
derivedC9×A4 ⋊ C22

Subgroups

subgroupG/H
center, hypercenterC1G
commutator, cosocle, hypocenterC9×A4C22
FrattiniC3D3×S4
FittingC22×C9C2×D3
socleC22×C3D32
LCSG ▷ C9×A4
UCSC1

107 conjugacy classes of subgroups; only the 17 normal subgroups are shown.

normal subgroups only

This group has 107 conjugacy classes of subgroups — too many to draw. Only its 17 normal subgroups are shown.

Dotted edges: containments with no intermediate normal subgroup — omitted non-normal subgroups may lie between.

Full subgroup data →

Presentation

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

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

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

Conjugacy classes & character table

30 conjugacy classes — view the full character table.

Relationships

maximal subgroup ofC2×D9×S4, S4×D27, C3×D9×S4, …
maximal normal subgroup ofC2×D9×S4, C3×D9×S4, S4×AGL(1,ℤ/9), …
maximal quotient ofD9×#226, #11722231, #11722232, …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(432, 521);