Finite Group Databasebeta

C4×#87520 #72227320

order1536
automorphism?
homologyAbelianization (H1) = C22×C4 · Schur multiplier (H2) = C25

Aliases

direct productC4×#87520

Splittings

FittingC4×#585 ⋊ D3

Subgroups

subgroupG/H
center, hypercenterC42#1020
commutator, hypocenter#997C22×C4
Frattini, socleC22C22×#1020
FittingC4×#585D3
prime radicalC2×#87520C2
cosocleC2×#997C23
LCSG ▷ #997
UCSC1 ◁ C42

3041 conjugacy classes of subgroups; only the 74 normal subgroups are shown.

normal subgroups only

This group has 3041 conjugacy classes of subgroups — too many to draw. Only its 74 normal subgroups are shown.

Dotted edges: containments with no intermediate normal subgroup — omitted non-normal subgroups may lie between.

Full subgroup data →

Presentation

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

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

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

Conjugacy classes & character table

104 conjugacy classes — view the full character table.

Relationships

maximal subgroup of#72227323, #72246076, #72246879, …
maximal normal subgroup of#72227323, #72246076, #72246879, …
maximal quotient ofC2×C4×#87520

GAP

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

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