How to prove/show this actually defines a homomoprhism 
We define the  homomorphism $f: \text{SL}_2(\mathbb Z / 2 \mathbb Z) \to \text{SL}_2(\mathbb Z / 2 \mathbb Z)$  that maps the generators to:

$ \begin{pmatrix} 0 & 1 \\ 1 & 1 \end{pmatrix} \to \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}$
$ \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} \to \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}$
How do we know this is a homorphism? In a previous exercise I explored that these two elements generate the group, the first has order 3, the second has order 2. Essentially this maps any power of the first matrix to the identity, and any power of the second to a power of the matrix $\begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}$ is it as simple as:
$$f\left(\begin{pmatrix} 0 & 1 \\ 1 & 1 \end{pmatrix}^{m \bmod 3}\begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}^{n \bmod 2}\right)=\begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}^{n \bmod 2}$$
But since the matrices don't commute I find it hard to prove this is a homomorphism ($f(AB)=f(A) f(B))$.

Essentially I want to prove that:
$f$ defined by:
$$\begin{pmatrix} 0 & 1 \\ 1 & 1 \end{pmatrix},\begin{pmatrix} 0 & 1 \\ 1 & 1 \end{pmatrix}^2= \begin{pmatrix} 1 & 1 \\ 1 & 0 \end{pmatrix}, \begin{pmatrix} 0 & 1 \\ 1 & 1 \end{pmatrix}^3 =\begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} \to \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}$$
$$\begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix},\begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}, \begin{pmatrix} 1 & 0 \\ 1 & 1 \end{pmatrix}    \to \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} $$
is a homomorphism.

Note that$$\mathrm{SL}_2(\mathbb{Z}_2)=\left\{\begin{bmatrix}1&0\\0&1\end{bmatrix},\begin{bmatrix}1&1\\1&0\end{bmatrix},\begin{bmatrix}1&0\\1&1\end{bmatrix},\begin{bmatrix}1&1\\0&1\end{bmatrix},\begin{bmatrix}0&1\\1&1\end{bmatrix},\begin{bmatrix}0&1\\1&0\end{bmatrix}\right\}.$$Here, the first element is $\operatorname{id}_{\mathrm{SL}_2(\mathbb{Z}_2)}$, the next three have order $2$ and the last two ones have order $3$. So, $\mathrm{SL}_2(\mathbb{Z}_2)\simeq S_3$. And your question basically becomes: is there an endomorphism of $S_3$ whose kernel contains an element of order $3$ and such that an element $g$ of order $2$ is mapped into itself? Yes, there is. First you consider the projection $S_3\longrightarrow S_3/A_3\simeq S_2$ and then you composite it with the homomorphism from $S_2$ into $S_3$ which maps the non-identity element into $g$. Then you will get the map\begin{align}\operatorname{id}&\mapsto\operatorname{id}\\(1\ \ 2)&\mapsto(1\ \ 2)\\(1\ \ 3)&\mapsto(1\ \ 2)\\(2\ \ 3)&\mapsto(1\ \ 2)\\(1\ \ 2\ \ 3)&\mapsto\operatorname{id}\\(1\ \ 3\ \ 2)&\mapsto\operatorname{id}.\end{align}You can now translate this back into $\textrm{SL}_2(\mathbb{Z}_2)$.
