Results 1 to 3 of 3

Math Help - Abelian

  1. #1
    Newbie
    Joined
    May 2008
    Posts
    12

    Abelian

    Prove that a group of order 4 is Abelian.

    To prove that a group is Abelian, I need to show that it has an identity, inverses, is associative, and is closed under the operation. I can definitely do this for specific groups, but I am not sure how to do this for a generality. Can someone please help me get started?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Junior Member
    Joined
    Jul 2008
    Posts
    46
    Couple of thoughts:

    all groups of order 4 are either cyclic groups or klein groups.

    If an element of the group has order 4 then the group is cyclic, or if all the elements are self-inverse then the group is klein.

    This might help you start thinking about proving that all groups of order 4 are abelian (where g*h=h*g).
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    9
    Quote Originally Posted by bluejay View Post
    Prove that a group of order 4 is Abelian.

    To prove that a group is Abelian, I need to show that it has an identity, inverses, is associative, and is closed under the operation. I can definitely do this for specific groups, but I am not sure how to do this for a generality. Can someone please help me get started?
    Let the elements be \{e,a,b,c\}. Now the orders of a,b,c must be larger than 1 and divide 4 - the order of the group. If any of them are 4 then the group is cyclic and therefore abelian. Thus, it is safe to assume that a,b,c all have order 2. Therefore, a^2=b^2=c^2 = e. Consider ab. It cannot be the case that ab=b,ab=a for that would imply a=e or b=e. It also cannot be the case that ab=e for that would mean b is inverse of a - however this is impossible since a is its own inverse and inverses are unique. Thus, it collows that ab=c. Using a similar argument we can show ba=c. And by symmetry of these elements we have ac=b,ca=b,bc=a,cb=a. This shows the group is abelian.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 1
    Last Post: June 6th 2010, 03:09 AM
  2. is it abelian
    Posted in the Algebra Forum
    Replies: 1
    Last Post: January 22nd 2010, 06:11 AM
  3. Is G abelian?
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: December 12th 2009, 03:57 AM
  4. 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
  5. Problem: Abelian/non-abelian subgroups
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: January 4th 2009, 01:10 PM

Search Tags


/mathhelpforum @mathhelpforum