Finite Group Databasebeta

C9⋊GU(2,𝔽3) #11720732

order864
automorphism?
homologyAbelianization (H1) = C4 · Schur multiplier (H2) = C3

Aliases

unambiguous semidirect productC9⋊GU(2,𝔽3)

Splittings

derivedC9×SL(2,𝔽3) ⋊ C4

Subgroups

subgroupG/H
center, hypercenterC4C9⋊S4
commutator, hypocenterC9×SL(2,𝔽3)C4
FrattiniC3×C4C3⋊S4
FittingC9×#41D3
socleC2×C3C3⋊SL(2,ℤ/4)
prime radicalC3×#41⋊C3D3
cosocleC9×#41⋊C3C2
LCSG ▷ C9×SL(2,𝔽3)
UCSC1 ◁ C4

100 conjugacy classes of subgroups.

Full subgroup data →

Presentation

transitive degreeμt(G) = 216

Polycyclic presentation:

2^2,3^3,2^3|a^2=b,b^2=h,d^3=e^2,f^2=h,g^2=h,c^a=c^2,d^a=d^2e,e^a=e^2,f^a=gh,g^a=fh,f^c=g,g^c=fgh,g^f=gh

Conjugacy classes & character table

72 conjugacy classes — view the full character table.

Relationships

maximal subgroup ofD9×GU(2,𝔽3), #13146234, #13146236, …
maximal normal subgroup ofD9×GU(2,𝔽3), #13146234, #13146236, …
maximal quotient ofC9⋊(SL(2,𝔽3)⋊C8), C2×C9⋊GU(2,𝔽3)

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(864, 699);