Results 1 to 3 of 3

Thread: Normal group problem

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

    Normal group problem

    Let N be normal in G, and let H be a subgroup of G. Prove that NH is a subgroup of G.

    I'm a confused about NH, what kind of element belong to this set?
    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
    10
    Quote Originally Posted by tttcomrader View Post
    Let N be normal in G, and let H be a subgroup of G. Prove that NH is a subgroup of G.

    I'm a confused about NH, what kind of element belong to this set?
    NH means the set of all products of an element of N times an element of H. So an element of NH is of the form nh, where n is in N and h is in H.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    10
    Quote Originally Posted by tttcomrader View Post
    Let N be normal in G, and let H be a subgroup of G. Prove that NH is a subgroup of G.

    I'm a confused about NH, what kind of element belong to this set?
    The set $\displaystyle NH = \{nh| n\in N \mbox{ and }h\in H\}$. If $\displaystyle N,H$ are subgroups of $\displaystyle G$ then not necessarily does it means $\displaystyle NH$ is a subgroup. If however, $\displaystyle N$ is normal, i.e. $\displaystyle gng^{-1} \in N$ for any $\displaystyle n\in N$ and $\displaystyle g\in G$ then $\displaystyle NH$ is a group.

    However, it turns out that $\displaystyle N$ need not be normal in $\displaystyle G$. It can have a weaker property but yet $\displaystyle NH$.

    Theorem: If $\displaystyle N$ has the property that $\displaystyle hnh^{-1} \in N$ for any $\displaystyle n\in N$ and $\displaystyle h\in H$ then $\displaystyle NH$ is a group.
    (Do you see why this would prove you case? Meaning, if $\displaystyle N$ is normal then certainly $\displaystyle hnh^{-1}\in N$. So of course it works).

    Proof: All I will show is closure of $\displaystyle NH$ which is the only part which takes a little work. Let $\displaystyle x_1 \in NH$ and $\displaystyle x_2\in NH$ we want to show $\displaystyle x_1x_2\in NH$. But this means $\displaystyle x_1 = n_1h_1$ and $\displaystyle x_2 = n_2h_2$ for $\displaystyle n_i \in N$ and $\displaystyle h_i \in H$. Thus, $\displaystyle x_1x_2=n_1h_1n_2h_2$. But is this product in $\displaystyle NH$? Not necessarily, so we need to use the additional condition in the theorem. Which says $\displaystyle h_1n_2h_1^{-1}\in N$, i.e. $\displaystyle h_1n_2h_1^{-1} = n_3\implies h_1n_2 = n_3h_1$ for some $\displaystyle n_3\in N$. Thus, $\displaystyle n_1h_1n_2h_2 = n_1(h_1n_2)h_2 = n_1(n_3h_1)h_2 = (n_1n_3)(h_1h_2)$ which certainly is in $\displaystyle NH$. Q.E.D.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Klein four-group is normal group of A4
    Posted in the Advanced Algebra Forum
    Replies: 7
    Last Post: Dec 29th 2009, 02:15 PM
  2. Quick questions on Group Theory - Cosets / Normal Group
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: Oct 16th 2009, 08:39 AM
  3. Normal subgroups of a group
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Mar 8th 2009, 01:33 PM
  4. Group, Cosets, Normal Group help
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: Sep 10th 2008, 09:12 PM
  5. Normal Subgroups of A Group
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: Dec 29th 2006, 06:43 AM

Search Tags


/mathhelpforum @mathhelpforum