Explain why $U_{44} \cong (\mathbb{Z}_{10} \oplus \mathbb{Z}_2) $.

215 Views Asked by At

Explain why $\newcommand{\Z}{\mathbb{Z}} U_{44} \cong (\Z_{10} \oplus \Z_2) $

I know that $\Z_{20} \cong (\Z_{10} \oplus \Z_2)$, so if I can show $U_{44} \cong \Z_{20}$, then I can conclude that $U_{44} \cong (\Z_{10} \oplus \Z_2) $ since isomorphism is transitive.

In order to show $U_{44} \cong \Z_{20}$, I need to show that the function $ \varphi: U_{44} \to \Z_{20}$ is bijective and structure preserved. I know that $U_{44} \text{ and } \Z_{20}$ have order $20$, so the function can be bijective, but it's not enough to show $\varphi: U_{44} \to \Z_{20} $ is bijective.

I wonder if anyone can show me how to show $ \varphi: U_{44} \to \Z_{20} $ is bijective and structure preserving.

4

There are 4 best solutions below

2
On BEST ANSWER

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

Use the facts that

  • $U(44)= U(4\cdot 11)\cong U(4)\times U(11)$, since $4$ and $11$ are relatively prime.
  • $U(4)\cong \mathbb Z_2$ and $U(11)\cong \mathbb Z_{10}$.

To conclude that $$U(44) \cong \mathbb Z_{2}\times \mathbb Z_{10}$$

0
On

Hint: List the elements and compute their order. From this it should be quite clear.

0
On

Note that $U(44)= U(11*4)\cong {\mathbb Z_{10}} \oplus {\mathbb Z_2}$, since $\gcd(11,4)=1.$

In general, if $\gcd(a,b)=1$, then $U(ab)\cong {\mathbb Z_a}\oplus{\mathbb Z_b}$

0
On

In general, for $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$ by the Chinese Remainder Theorem.