Sign of Composition of Permutations

From ProofWiki
Jump to navigation Jump to search


Let $n \in \N$ be a natural number.

Let $N_n$ denote the set of natural numbers $\set {1, 2, \ldots, n}$.

Let $S_n$ denote the set of permutations on $N_n$.

Let $\map \sgn \pi$ denote the sign of $\pi$ of a permutation $\pi$ of $N_n$.

Let $\pi_1, \pi_2 \in S_n$.


$\map \sgn {\pi_1} \map \sgn {\pi_2} = \map \sgn {\pi_1 \circ \pi_2}$

where $\pi_1 \circ \pi_2$ denotes the composite of $\pi_1$ and $\pi_2$.


From Sign of Permutation on n Letters is Well-Defined, it is established that the sign each of $\pi_1$, $\pi_2$ and $\pi_1 \circ \pi_2$ is either $+1$ and $-1$.

By Existence and Uniqueness of Cycle Decomposition, each of $\pi_1$ and $\pi_2$ has a unique cycle decomposition.

Thus each of $\pi_1$ and $\pi_2$ can be expressed as the composite of $p_1$ and $p_2$ transpositions respectively.

Thus $\pi_1 \circ \pi_2$ can be expressed as the composite of $p_1 + p_2$ transpositions.

From Sum of Even Integers is Even, if $p_1$ and $p_2$ are both even then $p_1 + p_2$ is even.

In this case:

$\map \sgn {\pi_1} = 1$
$\map \sgn {\pi_2} = 1$
$\map \sgn {\pi_1} \map \sgn {\pi_2} = 1 = 1 \times 1$