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

$Z_2 \times Z_4$ has 8 elements and obviously so does $Z_8$. How do you conclude they are not isomorphic then? They essentially have a $1-1$ relationship

share|cite|improve this question
Does $Z_2\times Z_4$ have an element of order $8$? – jwsiegel May 3 '14 at 19:52
They do of course have a 1-1 relationship. However, that relationship is not a group homomorphism. – fkraiem May 3 '14 at 19:55
up vote 5 down vote accepted

Indeed, they do have a one-to-one correspondence between, them (in fact, there are $8!$ such correspondences). The problem is that they don't have the "same structure," so none of these correspondences will be homomorphisms, and so no isomorphism exists. But it's tedious in the extreme to check so many functions to see if any of them is a homomorphism, so we instead make use of one of many properties preserved under isomorphisms. Two such (related) properties are that:

  1. isomorphisms preserve orders of elements (meaning that any given element will be mapped to an element of the same order), and
  2. isomorphic images of cyclic groups are again cyclic groups.

Those two properties are probably the simplest way to show that these two groups are not isomorphic, since (in particular) there are four different order $8$ elements of $\Bbb Z_8,$ but no such elements in $\Bbb Z_2\times\Bbb Z_4.$ So, we can directly conclude that they are not isomorphic by fact 1. Alternately, we can note that this means $\Bbb Z_8$ is cyclic and $\Bbb Z_2\times\Bbb Z_4$ is not, so can indirectly conclude that they are not isomorphic by fact 2.

There are many other such properties that we can use in other cases. It's good to keep several of them in mind. As Mark points out in the comments of the first answer, though, the first property is a necessary condition for a function to be an isomorphism, but not sufficient. However, two cyclic groups of the same order will necessarily be isomorphic. Unfortunately, most groups aren't cyclic, so this property won't usually be useful.

share|cite|improve this answer

$\mathbb{Z}_8$ has an element of order $8$, while $\mathbb{Z}_2\times\mathbb{Z}_4$ does not.

share|cite|improve this answer
Ah, so all the orders present in one group, must also be there in the second group? – atherton May 3 '14 at 19:54
@RoyM. - Yes, if they are isomorphic – Belgi May 3 '14 at 19:55
@RoyM. If two groups are ismorphic, then they are structurally equivelant. – ellya May 3 '14 at 20:02
Note that it is necessary that the groups have the same number of elements of each order. However that is not a sufficient condition for groups to be isomorphic. See for example… – Mark Bennet May 3 '14 at 20:04

The range of every homomorphism $f:\mathbb{Z_2 \times Z_4 \rightarrow Z_8}$ is {0,2,4,6} or {0,4}.

share|cite|improve this answer
Should have added more explaination, I'd say. – BigbearZzz Apr 13 at 8:24

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.