Finite Group Databasebeta
Cayley diagram

H(3,𝔽3)⋊C9 #6870

order243
nilpotency class3
isoclinismisoclinic class of AΣL(1,𝔽27)
automorphismAut(G) = C32×#66432 (order 2916) · Inn(G) = H(3,𝔽3) · Out(G) = C2×C32×D3
homologyAbelianization (H1) = C3×C9 · Schur multiplier (H2) = C32

Aliases

unambiguous semidirect productH(3,𝔽3)⋊C9

Subgroups

subgroupG/H
center, socleC32H(3,𝔽3)
commutatorC32C3×C9
Frattini, cosocleC33C32
prime radicalC3×H(3,𝔽3)C3
LCSG ▷ C32 ▷ C3 ▷ C1
UCSC1 ◁ C32 ◁ C33 ◁ G
LECSG ▷ C33 ▷ C3 ▷ C1

47 conjugacy classes of subgroups.

Full subgroup data →

Presentation

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

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

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

Polycyclic presentation:

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

Conjugacy classes & character table

51 conjugacy classes — view the full character table.

Relationships

derived subgroup of#92211, #11757334, (#272⋊C9)⋊C2, …
Fitting subgroup of#272⋊C9, #92180, #92211, …
maximal subgroup of#272⋊C9, #92180, #92211, …
maximal normal subgroup of#272⋊C9, #92180, #92211, …
maximal quotient ofC2×H(3,𝔽3)⋊C9, H(3,𝔽3)⋊C27, #10624449, …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(243, 17);