Finite Group Databasebeta
Cayley diagram

C3⋊(C3⋊D9) #4209

order162
isoclinismisoclinic class of C3⋊(C3⋊D9)
automorphismAut(G) order 1889568
homologyAbelianization (H1) = C2 · Schur multiplier (H2) = C33

Aliases

unambiguous semidirect productC3⋊(C3⋊D9)
unambiguous semidirect productC9⋊(C3⋊D3)

Splittings

Fitting, derived, SylowC32×C9 ⋊ C2

Subgroups

subgroupG/H
center, hypercenterC1G
commutator, Fitting, cosocle, hypocenterC32×C9C2
FrattiniC3C3⋊(C3⋊D3)
socleC33D3
LCSG ▷ C32×C9
UCSC1

100 conjugacy classes of subgroups.

Full subgroup data →

Presentation

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

A minimal faithful permutation representation — 4 generators on 15 points:

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

Polycyclic presentation:

2,3^4|b^3=e^2,b^a=b^2e,c^a=c^2,d^a=d^2,e^a=e^2

Conjugacy classes & character table

42 conjugacy classes — view the full character table.

Relationships

maximal subgroup ofD9×C3⋊D3, D3×C3⋊D9, C2×C3⋊(C3⋊D9), …
maximal normal subgroup ofD9×C3⋊D3, D3×C3⋊D9, C2×C3⋊(C3⋊D9), …
maximal quotient ofC3⋊(C3⋊Dic9), C2×C3⋊(C3⋊D9), C3⋊(C9⋊D9), …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(162, 45);