Results 1 to 3 of 3

Math Help - Abelian Group

  1. #1
    Newbie
    Joined
    Sep 2011
    Posts
    21

    Abelian Group

    Let H and K be subgroup of an abelian group G (not neccessarily finite). Suppose order of H and K are a and b respectively. Prove that there exists a subgroup with order L, where L = lcm(a,b).

    I tried to use the Lagrange theorem but only manage to prove it for the case when g is finite. I tried to use the product formula: |HK|/|H| = |K|/|H intersect K|. Sub a and b in, i obtain: |HK||H intersect K| = ab.

    Hence, it suffices to show that |H intersect K| = gcd (a,b) since lcm(a,b)*gcd(a,b) = ab. But how to show that? or is there anothe method to solve this?

    Thank You.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member Tinyboss's Avatar
    Joined
    Jul 2008
    Posts
    433

    Re: Abelian Group

    Have you encountered the fundamental theorem of finitely-generated abelian groups yet?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor

    Joined
    Mar 2011
    From
    Tejas
    Posts
    3,389
    Thanks
    757

    Re: Abelian Group

    this looks like that problem from herstein...the one real early in the book, before the structure theorem for abelian groups, or even the sylow theorems. an "elementary proof" isn't easy...
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Abelian group
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: August 8th 2011, 03:27 PM
  2. Abelian group
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: April 5th 2010, 02:46 PM
  3. Is the subgroup of an abelian group always abelian?
    Posted in the Advanced Algebra Forum
    Replies: 6
    Last Post: December 6th 2009, 11:38 PM
  4. Abelian group
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: October 20th 2009, 10:26 PM
  5. Abelian group
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: August 6th 2007, 07:19 PM

Search Tags


/mathhelpforum @mathhelpforum