Results 1 to 2 of 2

Math Help - Checking validity of proof

  1. #1
    Junior Member
    Joined
    Oct 2013
    From
    Moscow, Russia
    Posts
    41

    Checking validity of proof

    I would like to check if my proof of this proposition has been correctly done. I would also like help on proving part (c). Thanks in advance.


    **Proposition:** Let $H$ be a subgroup of a group $G$, and let $N$ be the normalizer of $H$. Prove that:


    (a) $H$ is a normal subgroup of $N$


    (b) $H$ is a normal subgroup of $G$ if and only if $N$ = $G$


    (c) $|H|$ divides $|N|$ and $|N|$ divides $|G|$.


    **Proof:**


    Part (a):


    Suppose $H$ is a subgroup of $G$. Suppose $N$ is a normalizer of $H$, meaning $N(H)$ $=$ $\{g \in G: gHg^{-1}=H\}$. We want to show that $H$ is a normal subgroup of $N$. Note that by definition: $g$ $\in$ $N$ $\leftrightarrow gHg^{-1}=H$. Thus $gHg^{-1}=H$ for every $g$ $\in$ $N$. Hence, $H$ is normal in $N$.


    Part (b): Suppose $H$ is a normal subgroup of $G$. Thus $gHg^{-1}=H$ for every $g$ $\in$ $G$. Thus for every $g$ in $G$, we have $gHg^{-1} = H$ $\in$ $N$. So $G$ is a subset of $N$. Since $N$ is a subset of $G$, we must have $N=G$.


    Now other direction: Suppose $N=G$. Then, for every $g \in G$ and $g \in N$, we have: $gHg^{-1} = H$. Thus, by definition of normal, $H$ is normal in $G$.


    How do I proceed with part c?


    Thanks.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member
    Joined
    Dec 2012
    From
    Athens, OH, USA
    Posts
    631
    Thanks
    254

    Re: Checking validity of proof

    Hi,
    a) You need to observe that H is a subset of N by closure in H.
    b) Looks okay.
    c) In any finite group G, the order of any subgroup k divides the order of G. Apply this to H, N and G.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Checking validity of defined operations
    Posted in the Algebra Forum
    Replies: 5
    Last Post: June 18th 2011, 05:27 PM
  2. Replies: 3
    Last Post: August 16th 2010, 12:32 AM
  3. Checking proof of atom
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: October 31st 2009, 06:19 AM
  4. Proof Checking Help
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: July 22nd 2009, 12:24 AM
  5. A simple proof, just want some checking!
    Posted in the Number Theory Forum
    Replies: 6
    Last Post: March 22nd 2008, 01:19 PM

Search Tags


/mathhelpforum @mathhelpforum