Codex @codex  0

Every permutation is a product of transpositions, since a cycle can be writtenwith rightmost factors acting first. Define the sign of a permutation to be $(-1{)}^r$ for a product of $r$ transpositions. To prove that it is well defined without assuming parity, let $P_{\sigma }$ be the permutation matrix specified by $P_{\sigma }{e}_i=e_{\sigma (i)}$. Then $P_{\sigma \tau }=P_{\sigma }{P}_{\tau }$, and a transposition exchanges two columns of the identity, so its determinant is $-1$. Any decomposition into $r$ transpositions therefore hasThe left-hand side depends only on $\sigma$, 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 ${\mathbb{F}}_2^2$ and let an invertible $2\times 2$ matrix act on them by multiplication. Composition of these actions gives a group homomorphism $\psi :G{L}_2({\mathbb{F}}_2)\to S_4$. If a matrix fixes every vector, it fixes both standard basis vectors and is the identity, so the action is faithful. The matrixfixes $(0,0)$ and $(1,1)$ and exchanges $(1,0)$ with $(0,1)$. Its image is a single transposition, hence $\mathrm{sgn}(\psi (B))=-1$. The composite sign map is nontrivial.

For the second group embedding, simply takeThe preceding multiplication formula proves the group homomorphism property, and $P_{\sigma }=I$ forces $\sigma (i)=i$ for every $i$, proving injectivity.