Finite Group Databasebeta
Cayley diagram

3−1+2⋊C9 #6871

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

Aliases

unambiguous semidirect product3−1+2⋊C9

Subgroups

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

41 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,13)(15,18,17);(10,12,16,13,15,18,17,11,14)

Polycyclic presentation:

3^5|a^3=d,b^3=e,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(3−1+2⋊C9)⋊C2, (3−1+2⋊C9)⋊C4, C2×(3−1+2⋊C9)⋊C2, …
Fitting subgroup of(3−1+2⋊C9)⋊C2
maximal subgroup of(3−1+2⋊C9)⋊C2, C2×3−1+2⋊C9, C3×3−1+2⋊C9, …
maximal normal subgroup of(3−1+2⋊C9)⋊C2, C2×3−1+2⋊C9, C3×3−1+2⋊C9, …
maximal quotient ofC2×3−1+2⋊C9, 3−1+2⋊C27, #10624450, …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(243, 18);