Finite Group Databasebeta
Cayley diagram

3−1+2⋊C4 #1082

order108
isoclinismisoclinic class of AGL(1,ℤ/9)
automorphismAut(G) = C2×AGL(1,ℤ/9) (order 108) · Inn(G) = AGL(1,ℤ/9) · Out(G) = C2
holomorphG ⋊ Aut(G) = #72228965
homologyAbelianization (H1) = C3×C4 · Schur multiplier (H2) = C1

Aliases

unambiguous semidirect product3−1+2⋊C4
unambiguous semidirect productDic9⋊C3

Splittings

derivedC9 ⋊ C3×C4
Sylow3−1+2 ⋊ C4

Subgroups

subgroupG/H
center, hypercenterC2AGL(1,ℤ/9)
commutator, hypocenterC9C3×C4
Frattini, socleC2×C3C3×D3
FittingC2×3−1+2C2
prime radicalC2×C32D3
cosocleC2×C9C2×C3
LCSG ▷ C9
UCSC1 ◁ C2

20 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 13
transitive degreeμt(G) = 36

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

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

Polycyclic presentation:

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

Conjugacy classes & character table

20 conjugacy classes — view the full character table.

Relationships

maximal subgroup of3−1+2⋊Q8, C4×AGL(1,ℤ/9), C2×3−1+2⋊C4, …
maximal normal subgroup of3−1+2⋊Q8, C4×AGL(1,ℤ/9), C2×3−1+2⋊C4, …
maximal quotient of3−1+2⋊C8, C2×3−1+2⋊C4, #66316, …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(108, 9);