Finite Group Databasebeta
Cayley diagram

D9⋊C9 #4170

order162
isoclinismisoclinic class of AGL(1,ℤ/9)
automorphismAut(G) = C3×AGL(1,ℤ/9) (order 162) · Inn(G) = AGL(1,ℤ/9) · Out(G) = C3
holomorphG ⋊ Aut(G) = #72243593
homologyAbelianization (H1) = C2×C9 · Schur multiplier (H2) = C1

Aliases

unambiguous semidirect productD9⋊C9
unambiguous semidirect product(C9⋊C9)⋊C2

Splittings

Fitting, SylowC9⋊C9 ⋊ C2
derivedC9 ⋊ C2×C9

Subgroups

subgroupG/H
center, hypercenterC3AGL(1,ℤ/9)
commutator, hypocenterC9C2×C9
Frattini, socleC32C3×D3
FittingC9⋊C9C2
prime radicalC3×D9C3
cosocleC3×C9C2×C3
LCSG ▷ C9
UCSC1 ◁ C3

22 conjugacy classes of subgroups.

Full subgroup data →

Presentation

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

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

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

Polycyclic presentation:

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

Conjugacy classes & character table

30 conjugacy classes — view the full character table.

Relationships

maximal subgroup ofC2×D9⋊C9, AGL(1,ℤ/27), #6881⋊C2, …
maximal normal subgroup ofC2×D9⋊C9, C3×D9⋊C9, C9×AGL(1,ℤ/9), …
maximal quotient ofDic9⋊C9, C2×D9⋊C9, #92158, …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(162, 6);