Finite Group Databasebeta
Cayley diagram

D9⋊H(3,𝔽3) #92261

order486
isoclinismisoclinic class of D9⋊H(3,𝔽3)
automorphism?
homologyAbelianization (H1) = C2×C32 · Schur multiplier (H2) = C32

Aliases

unambiguous semidirect productD9⋊H(3,𝔽3)
unambiguous semidirect product(C3×AGL(1,ℤ/9))⋊C3

Splittings

Fitting, SylowC9⋊H(3,𝔽3) ⋊ C2

Subgroups

subgroupG/H
centerC3C3×AGL(1,ℤ/9)
commutator, cosocleC3×C9C2×C32
Frattini, socleC32C32×D3
FittingC9⋊H(3,𝔽3)C2
hypercenterC32AGL(1,ℤ/9)
hypocenterC9C2×H(3,𝔽3)
LCSG ▷ C3×C9 ▷ C9
UCSC1 ◁ C3 ◁ C32

91 conjugacy classes of subgroups.

Full subgroup data →

Presentation

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

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

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

Polycyclic presentation:

2,3^5|e^3=f^2,e^a=e^2f,f^a=f^2,c^b=cd,e^b=ef

Conjugacy classes & character table

42 conjugacy classes — view the full character table.

Relationships

maximal subgroup ofD9⋊((C3⋊D3)⋊C3), C2×D9⋊H(3,𝔽3), #13091212, …
maximal normal subgroup ofD9⋊((C3⋊D3)⋊C3), C2×D9⋊H(3,𝔽3), #13091212, …
maximal quotient ofDic9⋊H(3,𝔽3), C2×D9⋊H(3,𝔽3), #13090623, …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(486, 106);