Results 1 to 4 of 4

Math Help - Abelian and normal Subgroups

  1. #1
    Member
    Joined
    Jul 2009
    Posts
    111
    Thanks
    1

    Abelian and normal Subgroups

    I came across an exercise on Abelian groups which said that,
    "In an abelian group G, every subgroup is normal". I had no issues proving this result. But my question is this.

    Re: Every subgroup of an abelian group G is normal.
    # 1. Does this mean that the group G, an improper subgroup of itself, is also normal?
    # 2. Does this mean that commutativity implies normality of groups?
    Is this similar to saying that every cyclic group is abelian?
    # 3. If 2 is not true, are there any specific conditions under which 2 is true or false?

    Follow Math Help Forum on Facebook and Google+

  2. #2
    is up to his old tricks again! Jhevon's Avatar
    Joined
    Feb 2007
    From
    New York, USA
    Posts
    11,663
    Thanks
    3
    Quote Originally Posted by MAX09 View Post
    I came across an exercise on Abelian groups which said that,
    "In an abelian group G, every subgroup is normal". I had no issues proving this result. But my question is this.

    Re: Every subgroup of an abelian group G is normal.
    # 1. Does this mean that the group G, an improper subgroup of itself, is also normal?
    yes

    # 2. Does this mean that commutativity implies normality of groups?
    isn't this just rephrasing the same question? if a group is commutative, it is Abelian, and if it's Abelian, all its subgroups are normal.

    Is this similar to saying that every cyclic group is abelian?
    not really. here we are talking about the group itself. but the theorem in question goes beyond that. not only do we know something about the group itself, but every subgroup of that group. i suppose the universal quantifier makes it similar. the "every" part.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member alunw's Avatar
    Joined
    May 2009
    Posts
    188
    1) Groups aren't normal, subgroups are. G is a normal subgroup of itself for any group, abelian or not. That's why a simple group is defined as a non-trivial group with no normal subgroups other than the trivial group and the group itself (see Wikipedia for example)
    2) Any subgroup of an abelian (i.e. commutative) group is a normal subgroup. As before groups aren't normal - the same group can easily be a normal subgroup in some groups but non-normal in others. All cyclic groups are abelian but not all abelian groups are cyclic.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Member
    Joined
    Jul 2009
    Posts
    111
    Thanks
    1
    Thanks, it helped
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Abelian Subgroups
    Posted in the Advanced Algebra Forum
    Replies: 14
    Last Post: October 10th 2011, 07:21 AM
  2. Minimal normal subgroups are elementary Abelian
    Posted in the Advanced Algebra Forum
    Replies: 8
    Last Post: May 28th 2010, 01:10 AM
  3. Replies: 1
    Last Post: March 18th 2010, 02:15 AM
  4. Abelian subgroups of S_{n}
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: January 6th 2009, 09:01 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