Need some help on the following 2 related problems:

Show that any finitely generated subgroup of the additive group of rationals (Q,+,0) is cyclic.

Prove that this group is not isomorphic to the direct product of two copies of it.

Printable View

- September 6th 2009, 07:11 PMMathBirdcyclic group
Need some help on the following 2 related problems:

Show that any finitely generated subgroup of the additive group of rationals (Q,+,0) is cyclic.

Prove that this group is not isomorphic to the direct product of two copies of it. - September 6th 2009, 07:41 PMThePerfectHacker
Remember some facts about the structure of . For define to be the ideal generated these elements, i.e. . Since ideals are principal it means , where . We call the greatest common divisor of .

Now given, a finitely generated subgroup of . This means, by definition, . The subgroup generated by these elements is precisely where . Define, and . Thus, . Define to be the greatest common divisor of . Then, as seen in the first paragraph, . Thus, we see that must be cyclic.

Quote:

Prove that this group is not isomorphic to the direct product of two copies of it.

It is trivial to show that is not isomorphic to . - September 6th 2009, 08:21 PMMathBird
This is great!