Explique por qué $\newcommand{\Z}{\mathbb{Z}} U_{44} \cong (\Z_{10} \oplus \Z_2) $
Sé que $\Z_{20} \cong (\Z_{10} \oplus \Z_2)$ , así que si puedo mostrar $U_{44} \cong \Z_{20}$ entonces puedo concluir que $U_{44} \cong (\Z_{10} \oplus \Z_2) $ ya que el isomorfismo es transitivo.
Para mostrar $U_{44} \cong \Z_{20}$ Necesito demostrar que la función $ \varphi: U_{44} \to \Z_{20}$ es biyectiva y conserva la estructura. Sé que $U_{44} \text{ and } \Z_{20}$ tener orden $20$ por lo que la función puede ser biyectiva, pero no basta con demostrar $\varphi: U_{44} \to \Z_{20} $ es biyectiva.
Me pregunto si alguien puede mostrarme cómo mostrar $ \varphi: U_{44} \to \Z_{20} $ es biyectiva y preserva la estructura.
2 votos
En realidad, \begin{align*} \Bbb{Z}/20\Bbb{Z}&\cong\Bbb{Z}/4\Bbb{Z}\times\Bbb{Z}/5\Bbb{Z}\\ &\not\cong\Bbb{Z}/10\Bbb{Z}\times\Bbb{Z}/2\Bbb{Z}. \end{align*} ( $\gcd(10,2) = 2\neq 1$ )