Results 1 to 3 of 3

Math Help - Finitely generated subgroup of Q

  1. #1
    Junior Member
    Joined
    Sep 2008
    Posts
    48

    Finitely generated subgroup of Q

    Let H be a subgroup of \mathbb{Q} finitely generated. Prove that H is cyclic.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    Quote Originally Posted by roporte View Post
    Let H be a subgroup of \mathbb{Q} finitely generated. Prove that H is cyclic.
    you've been asking so many questions without showing us that you've thought about them for a minute! what makes me a little bit worried is that some of your questions are absolutely trivial

    or just computational, which i've ignored, and some are fairly interesting! so, i really don't know if you basically have any idea about the questions?! i don't know about other members, who are

    mostly nicer than me, but i'll keep helping you with those of your questions that are more interesting, however with less and less details! ok, regarding this question:


    you should have mentioned that \mathbb{Q} here is considered as an additive group, i.e. we want to prove that every finitely generated \mathbb{Z}-submodule of \mathbb{Q} is cyclic. suppose H is a finitely generated

    \mathbb{Z}-submodule of \mathbb{Q}. so: H=\sum_{i=1}^n r_i \mathbb{Z}, for some r_i \in \mathbb{Q}. let r_i=\frac{a_i}{b_i}, \ a_i, b_i \in \mathbb{Z}, and: \prod_{i=1}^n b_i= c. then: H=\frac{1}{c} \sum_{i=1}^n \frac{a_ic}{b_i}\mathbb{Z}. now we have: \sum_{i=1}^n \frac{a_ic}{b_i}\mathbb{Z}=b \mathbb{Z}, for some b \in \mathbb{Z}. why? thus: H=\frac{b}{c}\mathbb{Z}. \ \ \Box
    Last edited by NonCommAlg; November 9th 2008 at 07:05 PM. Reason: typos fixed!
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Sep 2008
    Posts
    48
    First of all, Thanks for the answer!

    I'm assisting to an algebra seminary in the math university here, buy i'm a magister in system engineer, simply i'm taking this seminary as a complement of my area of investigation related with generic programming that uses some algebra.

    In the seminary we receive a lot of sheets of excercises and in this excercises i find some of them that i solve easily. But i also find excercises that i cannot solve and others that i can solve but i'm not sure about my solution. For that reason i ask here in the forum some of the excercises and you have helped me a lot really. i`m apologize for not explaining this situation before (i think it was unappropiate) or for any inconvinience, but belive me that i never ask a question if i hadn't thinked it before, and a lot.

    Thanks again!
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Finitely generated
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: October 9th 2011, 10:41 AM
  2. Q is not finitely generated
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: February 26th 2010, 11:04 PM
  3. finitely generated groups
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: July 17th 2009, 04:09 PM
  4. Finitely generated subgroup
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: December 8th 2008, 08:33 PM
  5. Finitely generated subgroup implies cyclic
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: November 29th 2008, 12:52 AM

Search Tags


/mathhelpforum @mathhelpforum