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

Are the groups $\Bbb Z_{8} \times \Bbb Z_{10} \times \Bbb Z_{24}$ and $\Bbb Z_{4} \times \Bbb Z_{12} \times \Bbb Z_{40}$ isomorphic? Why or why not?

(Here $\times$ means the direct product or direct sum.)

share|cite|improve this question

closed as off-topic by Dan Rust, Zev Chonoles, Davide Giraudo, Shuchang, Grigory M Dec 20 '13 at 14:10

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – Dan Rust, Zev Chonoles, Davide Giraudo, Shuchang, Grigory M
If this question can be reworded to fit the rules in the help center, please edit the question.

up vote 2 down vote accepted

Hint: use the classification of finite abelian groups.

The former is isomorphic to

$$\Bbb Z_{2} \times \Bbb Z_{3}\times \Bbb Z_{5}\times \Bbb Z_{8} \times \Bbb Z_{8}$$

While the latter is isomorphic to

$$\Bbb Z_{3} \times \Bbb Z_{4}\times \Bbb Z_{4}\times \Bbb Z_{5} \times \Bbb Z_{8}$$

share|cite|improve this answer
How to determine , what are the theorems playing in its Background...Can you explain? – EuReka Dec 20 '13 at 13:38
@EuReka You should take a moment and study the Chinese Remainder Theorem (and this is not about a doggy bag at your favorite restaurant). With the aid of this theorem you can prove the isomorphism that amWhy mentioned. – Nicky Hekster Dec 20 '13 at 15:53
As far I knew CRT is concerned with solving a system of linear congruences. I have just read the equivalent algebraic form of this statement and its nice to see the connection with it(But How?). – EuReka Dec 20 '13 at 16:09


To see why not:

share|cite|improve this answer
ok. Then ?? i am not getting, Please explain – EuReka Dec 20 '13 at 13:40
See the link I added, EuReka. You can decompose each group into its invariant prime decomposition. The second bullet should show you that $\mathbb Z_8 \not\cong \mathbb Z_2\times \mathbb Z_4$, since $\gcd(2, 4) = 2\neq 1.$ To see more clearly, note that the first group is isomorphic to $\large \Bbb Z_{2} \times \Bbb Z_{3}\times \Bbb Z_{5}\times \Bbb Z_{2^3} \times \Bbb Z_{2^3}$. The second group is isomorphic to $\large \Bbb Z_{3} \times \Bbb Z_{2^2}\times \Bbb Z_{2^2}\times \Bbb Z_{5} \times \Bbb Z_{2^3}$ – amWhy Dec 20 '13 at 13:44
EuReka Read the Wikipedia link and make sure you understand it and the examples given there. See if you can apply what you read there, and the second bullet of my answer, to understand why your two groups are NOT isomorphic. If you're still struggling after doing that, post a comment, and I'll get back to you. – amWhy Dec 20 '13 at 13:51
Nicely and sufficiently hinted. +1 – DonAntonio Dec 20 '13 at 14:33
Thanks, @DonAntonio! – amWhy Dec 20 '13 at 14:40

The first lemma you should prove is the following:

If $gcd(a,b) = 1$, then $\mathbb{Z}_{ab} \cong \mathbb{Z}_a \times \mathbb{Z}_b$.

Then consider the number of elements of order $4$.

You can also use the theorem of structure of finite abelian groups.

share|cite|improve this answer

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