Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Show that the group $U_8$ of units modulo $8$ is not isomorphic to $U_{10}$?

This is my answer. Check it for me please.

Suppose $U_8$ is isomorphic to $U_{10}$, $3 ∈ U_{10}$ and order of $3$ in $U_{10}$ is $4$. But there is no element of order $4$ in $U_8$, which is contradiction. $U_8$ is not isomorphic to $U_{10}$.

share|cite|improve this question
seems fine to me – Eli Elizirov Dec 8 '13 at 9:21

This is indeed correct. Note that isomorphisms will preserve the orders of elements.

Proof: Consider any $a \in G$ of order $n$, and suppose we have an isomorphism $\phi:G \rightarrow G'$. First, recall that, for any group homomorphism, the identity in the first group will always map to the identity in the second group. Thus:

$$\phi(e) = \phi(a^n) = \phi(a)^n = e$$

Since $3 \in U_{10}$ has order $4$ and there is no element of order $4$ in $U_8$, then we conclude $U_{10} \ncong U_8$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.