Results 1 to 2 of 2

Math Help - Order of Abelian Group

  1. #1
    Newbie
    Joined
    Oct 2012
    From
    District of Columbia
    Posts
    16

    Order of Abelian Group

    Any thoughts?

    We gave the definition of a group G under a binary operation. We say a group G is abelian if and and only if the binary operation for G is commutative; that is, g*h = h*g for all g and h in G. For an integer r > 0, write g*g*...*g=g^r.


    Suppose an abelian group G has n elements. For any g in G, prove that g^n = e, where e is the identity of G. Do not use Lagrangeís Theorem, or any other theorem, from abstract algebra! [Follow the reasoning of the proofs of Fermatís Theorem and Eulerís Theorem.]
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Sep 2012
    From
    Australia
    Posts
    4,036
    Thanks
    743

    Re: Order of Abelian Group

    Hey ncshields.

    If you have g*h = h*g for all h and g, then try and prove that h must be the inverse of g for all g.

    But by the uniqueness theorem of inverses, this means that only one inverse exists and that only one g exists in this group since we know that the inverse is unique and this applies for all g.

    So the group only has two elements which are g and g inverse, but if this is the case then then the only group that has this is the trivial group with an identity.

    You can show this by showing that g^(-1) = e by using gh = hg implies

    g = hgh^(-1) and
    g^(-1) = (hgh^(-1))^-1 = h*g^(-1)*h^(-1) = g

    so g^(-1) = g which means that g = e.

    You may have to add a little more detail for the lecturer but that's the basic idea.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. The only non-abelian simple group of order 60 is A_5
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: November 22nd 2011, 09:13 AM
  2. For which n is there exactly one abelian group of order n?
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: February 25th 2010, 09:48 PM
  3. Any group of order p^2 is abelian
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: January 30th 2010, 09:25 AM
  4. Replies: 3
    Last Post: October 7th 2009, 02:00 PM
  5. Why is a group of order 3 abelian?
    Posted in the Advanced Algebra Forum
    Replies: 9
    Last Post: March 1st 2007, 07:56 PM

Search Tags


/mathhelpforum @mathhelpforum