Originally Posted by

**tttcomrader** Suppose that the order of some finite Abelian group is divisible by 10. Prove that the group has a cyclic subgroup of order 10.

My proof so far:

Suppose G is a finite Abelian group with 10 | |G|. By a theorem, I know that G contains a subgroup with order 10. Now, a subgroup of a Abelian group is also Abelian (is that right? I recall that from an exercise I did), and since G can be written as $\displaystyle Z_{2} \oplus Z_{5} \oplus ...$ both of these groups are cyclic, so G contains a cyclic subgroup.

Is that right?

Thanks.