Finite Group Databasebeta
Cayley diagram

C9⋊SL(2,ℤ/4) #88607

order432
isoclinismisoclinic class of C9⋊S4
automorphism?
homologyAbelianization (H1) = C4 · Schur multiplier (H2) = C2×C3

Aliases

unambiguous semidirect productC9⋊SL(2,ℤ/4)
unambiguous semidirect productA4⋊Dic9

Splittings

derivedC9×A4 ⋊ C4

Subgroups

subgroupG/H
center, hypercenterC2C9⋊S4
commutator, hypocenterC9×A4C4
FrattiniC2×C3C3⋊S4
FittingC23×C9D3
socleC23×C3C3⋊D3
prime radicalC2×C3×A4D3
cosocleC2×C9×A4C2
LCSG ▷ C9×A4
UCSC1 ◁ C2

81 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 17
transitive degreeμt(G) = 108

A minimal faithful permutation representation — 3 generators on 17 points:

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

Polycyclic presentation:

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

Conjugacy classes & character table

42 conjugacy classes — view the full character table.

Relationships

maximal subgroup ofD9×SL(2,ℤ/4), S4×Dic9, #11722241, …
maximal normal subgroup ofD9×SL(2,ℤ/4), S4×Dic9, #11722241, …
maximal quotient ofC9⋊(A4⋊C8), C9⋊#859, C9⋊GU(2,𝔽3), …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(432, 254);