Maths WorkshopMaths problems with full solutions
Exercise 1709Algebra › GroupsL1Added 3 Nov 2026

The sign homomorphism

#sign#parity#homomorphism

Statement

Show that the sign map ε:Sn→{1,−1}\varepsilon:S_n\to\{1,-1\} is a group homomorphism, and compute its kernel.

Hint

ε(σ)=(−1)N(σ)\varepsilon(\sigma)=(-1)^{N(\sigma)} where N(σ)N(\sigma) is the number of inversions. Show N(στ)≡N(σ)+N(τ)(mod2)N(\sigma\tau)\equiv N(\sigma)+N(\tau)\pmod 2.

Show solutionHide solution

Solution

Homomorphism. For any transposition τ\tau, the number of inversions of στ\sigma\tau differs from that of σ\sigma by an odd number (since swapping two positions changes the parity of the number of inversions). By induction, decomposing a permutation into transpositions shows that the parity of the number of inversions is a homomorphism to {1,−1}\{1,-1\}.

Kernel. ker⁡ε={σ:ε(σ)=1}=An\ker\varepsilon=\{\sigma:\varepsilon(\sigma)=1\}=A_n, the alternating group (even permutations).

Order. ∣An∣=n!/2|A_n|=n!/2 for n≥2n\ge2 (by the first isomorphism theorem, since ε\varepsilon is surjective).

Conclusion. ε\varepsilon is a surjective homomorphism with kernel AnA_n.