Results 1 to 3 of 3

Math Help - Intersection of Normal groups

  1. #1
    Super Member
    Joined
    Mar 2006
    Posts
    705
    Thanks
    2

    Intersection of Normal groups

    Let H and K be normal subgroups of G, prove that H intersect K is also normal in G.

    Proof:

    Since H and K are normal in G, we have

    aH=Ha \forall a \in G

    bK=Kb \forall b \in G

    Now, let c \in H \cap K, then c must retain the property of H and K since c is in both.

    Thus, a(c)=(c)a \forall a \in G, implies a(H \cap K) = (H \cap K)a \forall a \in G

    Therefore H intersect K is normal in G.

    Is this right?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Opalg's Avatar
    Joined
    Aug 2007
    From
    Leeds, UK
    Posts
    4,041
    Thanks
    7
    Quote Originally Posted by tttcomrader View Post
    Let H and K be normal subgroups of G, prove that H intersect K is also normal in G.

    Proof:

    Since H and K are normal in G, we have

    aH=Ha \forall a \in G

    bK=Kb \forall b \in G

    Now, let c \in H \cap K, then c must retain the property of H and K since c is in both.

    Thus, a(c)=(c)a \forall a \in G, implies a(H \cap K) = (H \cap K)a \forall a \in G

    Therefore H intersect K is normal in G.

    Is this right?
    No it's not right. The problem is that you are confusing the equation a(H \cap K) = (H \cap K)a with the equation ac=ca where c is an element of H\cap K.

    Looking at H rather than H\cap K for a moment, the equation aH=Ha means that the sets aH and Ha have the same elements. This does not mean that ah=ha for each element h of H. Instead, it means that, given h in H, ah=h'a for some element h' of H (which may be different from h).

    Now coming back to the subgroup H\cap K, it is not true that if c \in H \cap K then a(c)=(c)a\; (\forall a \in G). What you can say is that a(H\cap K)\subseteq aH=Ha and a(H\cap K)\subseteq aK=Ka. You then need to show that a(H\cap K)\subseteq (Ha)\cap(Ka)=(H\cap K)a. A similar argument will then show the reverse inequality (H\cap K)a\subseteq a(H\cap K).
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    9
    Again, use my version of the equivalent condition for being normal.
    ghg^{-1}\in H \mbox{ and }khk^{-1}\in K for all h\in H, k\in K, g\in G.

    Now let x\in (H\cap K) it means x\in H\mbox{ and }x\in K. So gxg^{-1} \in H \mbox{ and }gxg^{-1} \in K by normality. Thus, gxg^{-1} \in (H\cap K). Thus, (H\cap K)\triangleleft G. Q.E.D.

    My point is you should learn the way I do it. My approach certainly does not look as elegant as saying the left-right cosets. But it is much more efficient because I am using single elements only while you are working with an entire set.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 1
    Last Post: November 30th 2011, 07:35 PM
  2. About minimal normal groups and subnormal groups
    Posted in the Advanced Algebra Forum
    Replies: 9
    Last Post: October 20th 2011, 01:53 PM
  3. intersection of finitely generated groups
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: June 23rd 2010, 12:34 AM
  4. normal groups...
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: July 21st 2008, 08:06 PM
  5. Order of the intersection of groups
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: September 29th 2007, 11:26 PM

Search Tags


/mathhelpforum @mathhelpforum