Hola
Los
homomorfismos de \( Z_2\times Z_2 \) en \( Z_2\times Z_2 \) están quedan completamente determinado si conocemos la imagen de sus generadores. Entonces, consideremos el conjunto generador \( \{(1,0),(0,1)\} \) y un homomorfismo cualquiera \( \phi \), luego \( \phi \) queda completamente determinado si conoces \( \phi(1,0) \) y \( \phi(0,1) \). Como \( Z_2\times Z_2 \) es de orden 4 entonces tenemos 16 posibilidades de escoger \( \phi(1,0) \) y \( \phi(0,1) \).
Por otro lado, sabemos que \( Im\phi \) está generado por \( \phi(1,0) \) y \( \phi(0,1) \), luego si queremos automorfismos, necesariamente debemos tener que \( \{\phi(1,0),\phi(0,1)\} \) debe ser generador de \( Z_2\times Z_2 \)...esto es para que \( \phi \) sea sobreyectiva y por tanto biyectiva.
Spoiler
Si \( f:A\to B \) es sobreyectiva, donde \( |A|=|B| \) finito, entonces \( f \) es biyectiva. La demostración la puedes ver
acá.
Una vez entendido todo lo anterior podrás notar que los autormofismos de \( Z_2\times Z_2 \) vienen dados por:
\( \begin{array}{ccccccc}\phi_1(1,0)&=&(1,0)&\qquad &\phi_1(0,1)&=&(0,1)\\
\phi_2(1,0)&=&(1,0)&\qquad &\phi_2(0,1)&=&(1,1)\\
\phi_3(1,0)&=&(0,1)&\qquad &\phi_3(0,1)&=&(1,0)\\
\phi_4(1,0)&=&(0,1)&\qquad &\phi_4(0,1)&=&(1,1)\\
\phi_5(1,0)&=&(1,1)&\qquad &\phi_5(0,1)&=&(0,1)\\
\phi_6(1,0)&=&(1,1)&\qquad &\phi_6(0,1)&=&(1,0)\end{array} \)
A partir de esto intenta construir el isomorfismo que necesitas
Spoiler
Nota que si consideras los dos generadores, en cada caso, como columnas, puedes formar un elemento de \( GL_2(Z_2) \)
Saludos
PD: Por favor atiende a la petición de los acentos que te hice anteriormente