Prove that if the identity is written as the product of $r$ transpositions, then $r$ is an even number

Solution 1:

Notice that in each of the three given identities

$(bc)(ab)=(ac)(bc)$

$(cd)(ab)=(ab)(cd)$

$(ac)(ab)=(ab)(bc)$

if you replace the left side with the right side, there is no longer an $a$ in the second parentheses. This means that each time you apply any of these identities, the rightmost occurrence of $a$ is one transposition further to the left.

Eventually either you will get two identical adjacent transpositions $(ax)(ax)=id$, so they disappear and you can apply induction to the shorter string of transpositions; or you end up with $a$ only appearing in the leftmost transposition of the entire product of transpositions, but this is impossible since then the permutation doesn't fix $a$, and so is not the identity.

Solution 2:

You can identify a permutation with a permutation matrix, i.e., the one you get by permuting the columns of the identity matrix according to the permutation. Composition of permutations corresponds to matrix multiplication, and since the determinant of a transposition is $-1$, the determinant of a composition of $r$ transpositions is $(-1)^r$. So if it is the identity, then $(-1)^r=1$, implying that $r$ is even.

Solution 3:

You could try using the signature of the permutations. If $id=\prod_{i=1}^r \tau_i$ where $\tau_i$ are transpositions, you have that $\varepsilon(id)=1$ and $\varepsilon(\tau_i)=(-1)$, therefore $(-1)^r=1\Rightarrow r$ even.

I do not know if you studied signatures.

Solution 4:

suppose the set of $n+1$ items on which the permutations act are mapped to the vertices of a regular simplex in n-dimensional Euclidean space, with its centroid at the origin of co-ordinates.

for any pair of vertices $A$ and $B$ there is a unique hyperplane $\Gamma_{AB}$ which contains the remaining $n-1$ vertices and the midpoint of $AB$.

reflection in $\Gamma_{AB}$ interchanges $A$ and $B$ leaving all the other points invariant.

any such reflection reverses the orientation of the simplex. since the identity leaves orientation unchanged, there must be an even number of reflections in any sequence which simplifies to the identity transformation.