6 votos

Explique por qué $U_{44} \cong (\mathbb{Z}_{10} \oplus \mathbb{Z}_2) $ .

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$ )

7voto

Drew Jolesch Puntos 11

Ten cuidado: $$\quad \mathbb Z_{10} \times \mathbb Z_2 \not\cong \mathbb Z_{20}; \quad\text{since}\;\gcd(2, 10) = 2\neq 1$$

Utilice los hechos que

  • $U(44)= U(4\cdot 11)\cong U(4)\times U(11)$ ya que $4$ y $11$ son relativamente primos.
  • $U(4)\cong \mathbb Z_2$ y $U(11)\cong \mathbb Z_{10}$ .

Concluir que $$U(44) \cong \mathbb Z_{2}\times \mathbb Z_{10}$$

0 votos

En mi respuesta, $\times$ denota lo que podría conocerse como el producto externo directo : $\otimes$ o en el caso de $\mathbb Z_n \times \mathbb Z_m$ denota lo que algunos llaman la suma directa externa: es decir $\mathbb Z_{10} \otimes \mathbb Z_2 \not\cong \mathbb Z_{20},$ etc... con la conclusión de que $U_{44} \cong \mathbb Z_2 \otimes \mathbb Z_{10}$ . Pido disculpas por la confusión que pueda causar la notación.

0 votos

No te preocupes, lo entiendo perfectamente, muchas gracias por tu respuesta.

0voto

Dr.C.Badrinathan Puntos 222

Pista: Enumera los elementos y calcula su orden. A partir de esto debería estar bastante claro.

0voto

Gábor Héja Puntos 161

Tenga en cuenta que $U(44)= U(11*4)\cong {\mathbb Z_{10}} \oplus {\mathbb Z_2}$ ya que $\gcd(11,4)=1.$

En general, si $\gcd(a,b)=1$ entonces $U(ab)\cong {\mathbb Z_a}\oplus{\mathbb Z_b}$

0voto

Warren Moore Puntos 2979

En general, para $n=p_1^{e_1}\cdots p_k^{e_k}$ , $U_n\cong(\mathbb{Z}/p_1^{e_1}\mathbb{Z})^\times\times\cdots\times(\mathbb{Z}/p_k^{e_k}\mathbb{Z})^\times$ por el Teorema del Resto Chino.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X