Finite Group Databasebeta
Cayley diagram

S5 #1224

order120
isoclinismisoclinic class of S5
automorphismAut(G) = S5 (order 120) · Inn(G) = G · Out(G) = C1
holomorphG ⋊ Aut(G) = S52
homologyAbelianization (H1) = C2 · Schur multiplier (H2) = C2

Aliases

projective general linearPGL(2,𝔽5)
symmetricS5
general orthogonalGO−(4,𝔽2)
projective general semilinearPΓL(2,𝔽4)
special semilinearΣL(2,𝔽4)
projective special semilinearPΣL(2,𝔽4)
special orthogonalSO−(4,𝔽2)
special orthogonalSO(3,𝔽5)
unambiguous semidirect productA5⋊C2

Splittings

socle, derivedA5 ⋊ C2

Subgroups

subgroupG/H
center, Frattini, hypercenterC1G
commutator, socle, cosocle, hypocenterA5C2
LCSG ▷ A5
UCSC1

19 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 5
transitive degreeμt(G) = 5

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

(1,2,3,4,5);(1,2)

Conjugacy classes & character table

C1C2C3C4C5C6C7
size1101520202430
order1223654
χ11111111
χ21-111-11-1
χ34201-1-10
χ44-2011-10
χ5511-110-1
χ65-11-1-101
χ760-20010

Relationships

maximal subgroup ofC2×S5, C3×S5, ΓL(2,𝔽4), …
maximal normal subgroup ofC2×S5, C3×S5, C5×S5, …
maximal quotient of#6728, #6729, A5⋊C4, …
automorphism group ofA5, SL(2,𝔽5), S5, …
outer automorphism group of2−1+4, C22⋊A4, C2×C22⋊A4, …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(120, 34);