Every permutation is a product of transpositions, since a cycle can be written
with rightmost factors acting first. Define the sign of a permutation to be for a product of transpositions. To prove that it is well defined without assuming parity, let be the permutation matrix specified by . Then , and a transposition exchanges two columns of the identity, so its determinant is . Any decomposition into transpositions therefore has
The left-hand side depends only on , proving well-definedness. Multiplicativity of the determinant now gives the sign homomorphism:
For the first requested group embedding, use the faithful four-point action of GL2 over F2: label the four vectors in and let an invertible matrix act on them by multiplication. Composition of these actions gives a group homomorphism . If a matrix fixes every vector, it fixes both standard basis vectors and is the identity, so the action is faithful. The matrix
fixes and and exchanges with . Its image is a single transposition, hence . The composite sign map is nontrivial.
For the second group embedding, simply take
The preceding multiplication formula proves the group homomorphism property, and forces for every , proving injectivity.

Articles by others on the same topic (0)

There are currently no matching articles.