Finite Group Databasebeta
Cayley diagram

C9⋊H(3,𝔽3) #6892

order243
nilpotency class2
isoclinismisoclinic class of C32⋊H(3,𝔽3)
automorphismAut(G) = C3×#72224543 (order 8748) · Inn(G) = C33 · Out(G) = C3×D3×C3⋊D3
homologyAbelianization (H1) = C33 · Schur multiplier (H2) = C33

Aliases

unambiguous semidirect productC9⋊H(3,𝔽3)

Subgroups

subgroupG/H
center, commutator, Frattini, socle, cosocleC32C33
prime radicalC3×H(3,𝔽3)C3
LCSG ▷ C32 ▷ C1
UCSC1 ◁ C32 ◁ G
LECSG ▷ C32 ▷ C1

83 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 18
transitive degreeμt(G) = 81

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

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

Polycyclic presentation:

3^5|b^3=d,b^a=bd,c^a=ce

Conjugacy classes & character table

51 conjugacy classes — view the full character table.

Relationships

Fitting subgroup ofD9⋊H(3,𝔽3), #92262, #92303, …
maximal subgroup ofD9⋊H(3,𝔽3), #92262, #92303, …
maximal normal subgroup ofD9⋊H(3,𝔽3), #92262, #92303, …
maximal quotient ofC2×C9⋊H(3,𝔽3), #10624548, #10624555, …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(243, 39);