Results 1 to 4 of 4

Math Help - Show P is normal in G

  1. #1
    Junior Member guildmage's Avatar
    Joined
    Aug 2009
    From
    Philippines
    Posts
    35

    Show P is normal in G

    Problem:

    Let P be a Sylow p-subgroup of G and assume that P \triangleleft N \triangleleft G. Show that P \triangleleft G.


    Could this be shown without giving out the cardinality of G first? I mean, for example without assuming first that G has a cardinality a power of a prime, or G has even cardinality, or anything like that. How do you start solving this?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor Swlabr's Avatar
    Joined
    May 2009
    Posts
    1,176
    Quote Originally Posted by guildmage View Post
    Problem:

    Let P be a Sylow p-subgroup of G and assume that P \triangleleft N \triangleleft G. Show that P \triangleleft G.


    Could this be shown without giving out the cardinality of G first? I mean, for example without assuming first that G has a cardinality a power of a prime, or G has even cardinality, or anything like that. How do you start solving this?
    Firstly, you know that P must be a Sylow p-subgroup og G (why?). You also know that conjugation by elements of G permutes through the Sylow p-subgroups of G. However, conjugation of P by elements of G will always keep you inside N. This means that conjugation of P by an element of G will give you a Sylow p-subgroup of N. Now, as P is normal in N it is unique and so P is a unique sylow p-subgroup of G.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member guildmage's Avatar
    Joined
    Aug 2009
    From
    Philippines
    Posts
    35

    Lightbulb

    Tell me if I got you right:

    Well, P is given to be a Sylow p-subgroup of G. I also know that each conjugate of P is also a Sylow p-subgroup. Now gP{g^{ - 1}} \subseteq N for all g \in G because N \triangleleft G. Since P \triangleleft N, then P must be the only Sylow p-subgroup of N. Since P is a Sylow p-subgroup of G (which is also the only Sylow p-subgroup of G), then P must also be the only Sylow p-subgroup of G. Therefore, P \triangleleft G.

    With this proof, however, I used the fact that if P \triangleleft N then P is unique. But the notes I have only guarantees the other way around: that if P is the only Sylow p-subgroup of N, then P \triangleleft N. Is this statement a really biconditional? Because if it is, I would have to show it first.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor Swlabr's Avatar
    Joined
    May 2009
    Posts
    1,176
    Quote Originally Posted by guildmage View Post
    Tell me if I got you right:

    Well, P is given to be a Sylow p-subgroup of G. I also know that each conjugate of P is also a Sylow p-subgroup. Now gP{g^{ - 1}} \subseteq N for all g \in G because N \triangleleft G. Since P \triangleleft N, then P must be the only Sylow p-subgroup of N. Since P is a Sylow p-subgroup of G (which is also the only Sylow p-subgroup of G), then P must also be the only Sylow p-subgroup of G. Therefore, P \triangleleft G.

    With this proof, however, I used the fact that if P \triangleleft N then P is unique. But the notes I have only guarantees the other way around: that if P is the only Sylow p-subgroup of N, then P \triangleleft N. Is this statement a really biconditional? Because if it is, I would have to show it first.
    Yes, it is a biconditional. The theorem in question reads as "All the Sylow p-subgroups are conjugate in G". The result you have been given is merely a corollary of this.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Show H∩N is a normal subgroup of H
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: January 30th 2011, 12:00 PM
  2. Show Y has normal distribution
    Posted in the Advanced Statistics Forum
    Replies: 1
    Last Post: October 12th 2010, 12:58 PM
  3. Show that X+Y is normal
    Posted in the Advanced Statistics Forum
    Replies: 4
    Last Post: August 29th 2010, 06:58 AM
  4. Show standard normal variables
    Posted in the Advanced Statistics Forum
    Replies: 5
    Last Post: July 5th 2010, 11:32 AM
  5. Show H is not normal in A_4
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: November 10th 2008, 08:15 AM

Search Tags


/mathhelpforum @mathhelpforum