Results 1 to 3 of 3

Thread: cyclic group

  1. #1
    Banned
    Joined
    Sep 2009
    Posts
    6

    Unhappy cyclic 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.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    10
    Quote Originally Posted by MathBird View Post
    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.
    Remember some facts about the structure of $\displaystyle \mathbb{Z}$. For $\displaystyle x_1,...,x_l\in \mathbb{Z}$ define $\displaystyle (x_1,...,x_l)$ to be the ideal generated these elements, i.e. $\displaystyle \{\Sigma_i a_ix_i | a_i \in \mathbb{Z} \}$. Since ideals are principal it means $\displaystyle (x_1,...,x_l) = (d)$, where $\displaystyle d\geq 0$. We call $\displaystyle d$ the greatest common divisor of $\displaystyle x_1,...,x_l$.

    Now given, a finitely generated subgroup $\displaystyle H$ of $\displaystyle \mathbb{Q}^+$. This means, by definition, $\displaystyle H = \left< \frac{p_1}{q_1},...,\frac{p_2}{q_2} \right>$. The subgroup generated by these elements is precisely $\displaystyle \sum_i a_i \frac{p_i}{q_i}$ where $\displaystyle a_i\in\mathbb{Z}$. Define, $\displaystyle q=\Pi_i q_i$ and $\displaystyle Q_i = \frac{q}{q_i}$. Thus, $\displaystyle \sum_i a_i\frac{p_i}{q_i} = \frac{1}{q}\sum_i a_ip_iQ_i$. Define $\displaystyle d$ to be the greatest common divisor of $\displaystyle p_1Q_1,...,p_nQ_n$. Then, as seen in the first paragraph, $\displaystyle H=\left< \frac{d}{q}\right>$. Thus, we see that $\displaystyle H$ must be cyclic.

    Prove that this group is not isomorphic to the direct product of two copies of it.
    Since it is an infinite cyclic group (assuming $\displaystyle d>0$) it is isomorphic to $\displaystyle \mathbb{Z}$.
    It is trivial to show that $\displaystyle \mathbb{Z}$ is not isomorphic to $\displaystyle \mathbb{Z}\times \mathbb{Z}$.
    Last edited by ThePerfectHacker; Sep 6th 2009 at 07:54 PM.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Banned
    Joined
    Sep 2009
    Posts
    6
    This is great!
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Order of Group. Direct Product of Cyclic Group
    Posted in the Advanced Algebra Forum
    Replies: 9
    Last Post: Nov 19th 2011, 01:06 PM
  2. Cyclic group
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: Mar 11th 2010, 05:09 AM
  3. Prove cyclic subroups => cyclic group
    Posted in the Advanced Algebra Forum
    Replies: 7
    Last Post: Oct 11th 2009, 07:36 PM
  4. automorphism group of a cyclic group
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: Apr 10th 2009, 06:38 PM
  5. about cyclic group
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Apr 23rd 2008, 10:50 AM

Search Tags


/mathhelpforum @mathhelpforum