Finite Group Databasebeta
Cayley diagram

C9⋊C16 #3658

order144
isoclinismisoclinic class of D9
automorphismAut(G) = C2×C4×AGL(1,ℤ/9) (order 432) · Inn(G) = D9 · Out(G) = C2×C3×C4
homologyAbelianization (H1) = C16 · Schur multiplier (H2) = C1

Aliases

unambiguous semidirect productC9⋊C16

Splittings

derived, SylowC9 ⋊ C16

Subgroups

subgroupG/H
center, hypercenterC8D9
commutator, hypocenterC9C16
FrattiniC3×C8D3
Fitting, cosocleC8×C9C2
socle, prime radicalC2×C3C3⋊C8
LCSG ▷ C9
UCSC1 ◁ C8

15 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 25
transitive degreeμt(G) = 144

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

(2,4)(3,7)(5,6)(8,9)(10,11,12,15,13,16,18,21,14,17,19,22,20,23,24,25);(1,9,4,7,6,5,3,2,8)

Polycyclic presentation:

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

Conjugacy classes & character table

48 conjugacy classes — view the full character table.

Relationships

maximal subgroup ofC16×D9, #63357, C2×C9⋊C16, …
maximal normal subgroup ofC16×D9, #63357, C2×C9⋊C16, …
maximal quotient ofC9⋊C32, C2×C9⋊C16, C27⋊C16, …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(144, 1);