Finite Group Databasebeta
Cayley diagram

(3−1+2⋊C4)⋊C4 #88498

order432
isoclinismisoclinic class of 3−1+2⋊Q8
automorphismAut(G) = C24×AGL(1,ℤ/9) (order 864) · Inn(G) = C2×AGL(1,ℤ/9) · Out(G) = C23
homologyAbelianization (H1) = C2×C3×C4 · Schur multiplier (H2) = C2

Aliases

unambiguous semidirect product(3−1+2⋊C4)⋊C4
unambiguous semidirect product(Dic9⋊C4)⋊C3

Splittings

Sylow3−1+2 ⋊ C4⋊C4

Subgroups

subgroupG/H
centerC22C2×AGL(1,ℤ/9)
commutatorC2×C9C2×C3×C4
Frattini, socleC22×C3C2×C3×D3
FittingC2×C4×3−1+2C2
prime radicalC22×C32C2×D3
cosocleC22×C9C22×C3
hypercenterC2×C4AGL(1,ℤ/9)
hypocenterC9C3×C4⋊C4
LCSG ▷ C2×C9 ▷ C9
UCSC1 ◁ C22 ◁ C2×C4

86 conjugacy classes of subgroups.

Full subgroup data →

Presentation

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

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

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

Polycyclic presentation:

2^2,3,2^2,3^2|a^2=e,b^2=d,f^3=g^2,b^a=be,f^a=f^2g,g^a=g^2,f^c=fg

Conjugacy classes & character table

62 conjugacy classes — view the full character table.

Relationships

maximal subgroup ofC4×3−1+2⋊Q8, #63432⋊C3, #63434⋊C3, …
maximal normal subgroup ofC4×3−1+2⋊Q8, #63432⋊C3, #63434⋊C3, …
maximal quotient of#63366⋊C3, #63367⋊C3, (3−1+2⋊C4)⋊C8, …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(432, 145);