Finite Group Databasebeta
Cayley diagram

C9⋊A4 #1092

order108
isoclinismisoclinic class of C9⋊A4
automorphismAut(G) = C3×D3×A4 (order 216) · Inn(G) = C3×A4 · Out(G) = C2×C3
homologyAbelianization (H1) = C32 · Schur multiplier (H2) = C2

Aliases

unambiguous semidirect productC9⋊A4

Splittings

FittingC22×C9 ⋊ C3
SylowC22 ⋊ 3−1+2

Subgroups

subgroupG/H
center, FrattiniC3C3×A4
commutator, socle, cosocleC22×C3C32
FittingC22×C9C3
prime radicalC3×A4C3
hypercenterC9A4
hypocenterC223−1+2
LCSG ▷ C22×C3 ▷ C22
UCSC1 ◁ C3 ◁ C9

19 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:

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

Polycyclic presentation:

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

Conjugacy classes & character table

20 conjugacy classes — view the full character table.

Relationships

maximal subgroup ofD9⋊A4, C2×C9⋊A4, C3×C9⋊A4, …
maximal normal subgroup ofD9⋊A4, C2×C9⋊A4, C3×C9⋊A4, …
maximal quotient ofC9⋊SL(2,𝔽3), C2×C9⋊A4, (C22⋊C9)⋊C9, …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(108, 19);