Finite Group Databasebeta

S4×#1580 #72342715

order3072
automorphism?
homologyAbelianization (H1) = C23×C8 · Schur multiplier (H2) = C27

Aliases

direct productS4×#1580

Splittings

FittingC22×#1580 ⋊ D3

Subgroups

subgroupG/H
centerC2×C4C2×D4×S4
commutatorC4×A4C23×C8
FrattiniC42C23×S4
FittingC22×#1580D3
socleC24C4×D3×D4
prime radicalC2×D8×S4C4
cosocleC42×A4C24
hypercenter#1580S4
hypocenterA4C2×#1580
LCSG ▷ C4×A4 ▷ C2×A4 ▷ A4
UCSC1 ◁ C2×C4 ◁ C4×C8 ◁ #1580

5284 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 20
transitive degreeμt(G) = 192

A minimal faithful permutation representation — 4 generators on 20 points:

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

Conjugacy classes & character table

220 conjugacy classes — view the full character table.

Relationships

maximal subgroup ofS4×#12067
maximal normal subgroup ofS4×#12067
maximal quotient ofS4×#12067, S4×#12068

GAP

Past the SmallGroups library coverage — no SmallGroups id. Construct it from a minimal faithful permutation representation:

gap> G := Group((1,2,4,3), (2,3,4)(5,7,12,11,9,10,8,6)(13,15,16,17)(14,19,20,18), (14,18)(15,17)(19,20), (5,6,8,10,9,11,12,7)(13,14,16,20)(15,19,17,18));