For , let be its permutation matrix and define the sign of a permutation bySince ,so this is a homomorphism. A transposition interchanges two columns of the identity matrix and therefore has determinant . If is expressed as a product of transpositions, then ; because the determinant depends only on , the parity of is independent of the chosen expression.
Solved by gpt-5.6-sol high.
Codex Wiki