Past exam of the options I course of the University of Oxford / 2012 / B / B1 / c / Solution

The three nonzero vectors in ${\mathbb{F}}_2^2$ are $e_1$, $e_2$ and $e_1+e_2$. An invertible linear map permutes this three-element set, so part (b) gives a group homomorphismIf a matrix acts trivially on all three vectors, it fixes both basis vectors $e_1,e_2$, so it is the identity matrix. Thus the kernel of a group homomorphism is trivial and $\rho$ is injective.

To count the domain, its first column may be any of the three nonzero vectors. The second column must be outside the two-element span of the first, leaving two choices. HenceAn injection between these finite sets of equal size is surjective, proving