Finite Group Databasebeta
Cayley diagram

C9⋊SL(2,𝔽3) #6202

order216
isoclinismisoclinic class of C9⋊SL(2,𝔽3)
automorphismAut(G) = C3×D3×A4 (order 216) · Inn(G) = C3×A4 · Out(G) = C2×C3
homologyAbelianization (H1) = C32 · Schur multiplier (H2) = C1

Aliases

unambiguous semidirect productC9⋊SL(2,𝔽3)

Splittings

FittingQ8×C9 ⋊ C3
SylowQ8 ⋊ 3−1+2

Subgroups

subgroupG/H
center, Frattini, socleC2×C3C3×A4
commutator, cosocleC3×Q8C32
FittingQ8×C9C3
prime radicalC3×SL(2,𝔽3)C3
hypercenterC2×C9A4
hypocenterQ83−1+2
LCSG ▷ C3×Q8 ▷ Q8
UCSC1 ◁ C2×C3 ◁ C2×C9

27 conjugacy classes of subgroups.

Full subgroup data →

Presentation

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

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

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

Polycyclic presentation:

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

Conjugacy classes & character table

31 conjugacy classes — view the full character table.

Relationships

maximal subgroup of#88614, D9⋊SL(2,𝔽3), C2×C9⋊SL(2,𝔽3), …
maximal normal subgroup of#88614, D9⋊SL(2,𝔽3), C2×C9⋊SL(2,𝔽3), …
maximal quotient ofC2×C9⋊SL(2,𝔽3), (Q8⋊C9)⋊C9, C9⋊(Q8⋊C9), …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(216, 39);