Finite Group Databasebeta
Cayley diagram

D9⋊SL(2,𝔽3) #88616

order432
isoclinismisoclinic class of #88614
automorphismAut(G) = C2×A4×AGL(1,ℤ/9) (order 1296) · Inn(G) = D9⋊A4 · Out(G) = C2×C3
homologyAbelianization (H1) = C2×C3 · Schur multiplier (H2) = C1

Aliases

unambiguous semidirect productD9⋊SL(2,𝔽3)

Splittings

Fitting, derivedQ8×C9 ⋊ C2×C3

Subgroups

subgroupG/H
center, hypercenterC2D9⋊A4
commutator, Fitting, cosocle, hypocenterQ8×C9C2×C3
Frattini, socleC2×C3D3×A4
LCSG ▷ Q8×C9
UCSC1 ◁ C2

57 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 17
transitive degreeμt(G) = 72

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

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

Polycyclic presentation:

2,3,2^2,3,2,3|c^2=f,d^2=f,e^3=g^2,e^a=e^2g,g^a=g^2,c^b=cd,d^b=c,e^b=eg,d^c=df

Conjugacy classes & character table

26 conjugacy classes — view the full character table.

Relationships

maximal subgroup ofC2×D9⋊SL(2,𝔽3), #11722408, D9⋊(#41⋊C3), …
maximal normal subgroup ofC2×D9⋊SL(2,𝔽3), #11722408, D9⋊(#41⋊C3), …
maximal quotient ofDic9⋊SL(2,𝔽3), C2×D9⋊SL(2,𝔽3), D9⋊(Q8⋊C9), …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(432, 263);