1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Abstract->p-sylow groups

  1. Dec 21, 2009 #1
    1. The problem statement, all variables and given/known data
    Let P be a p-sylow sbgrp of a finite group G.
    N(P) will be the normalizer of P in G. The quotient group N(P)/P is cyclic from order n.

    PROVE that there is an element a in N(P) from order n and that every element such as a represnts a generator of the quotient group N(P)/P


    2. Relevant equations
    3. The attempt at a solution

    Welll.... there is mP in N(P)/P such as (mP)^n = P -> m^n*P=P -> m^n = 1 ...
    If m has order that is less the n, we'll get a contradiction to the fact that mP is from order n.
    It's pretty obvious that every element of this kind is a generator of this group...But I realy feel I'm missing something... It's a 20 points question and the answer will take me 2 lines...

    Where is my mistake?

    TNX in advance
     
  2. jcsd
  3. Dec 21, 2009 #2
    You cannot deduce that [tex]m^n = 1[/tex] from [tex]m^n P = P[/tex]; that tells you only that [tex]m^n \in P[/tex]. However, there is a simple way to produce the element of order [tex]n[/tex] you need, using [tex]m^n[/tex].
     
  4. Dec 21, 2009 #3
    Hmmmm...Yep, you're right...
    So we have m^n is in P... We need to produce an element k of order n that is in N(P)... Hmmmm we have m^n*P=P, and m^n is in P, m is in N(P). We know something more about this m? We know nothing about its order but we know that mP=Pm, which means m^n*P=P*m^n, and it's still gives us nothing...

    Can you please give more detailed directions?
    I'll appreciate any kind of further help...

    TNX a lot
     
  5. Dec 21, 2009 #4
    Wait a sec! We know that m^n is in P and that P has order p^r for some r in N...So m^n must have an order that is a power of p, say p^k... so we know that m^(p^k) has order n in N(P)...
    But how will we discover what k is? And why it's a generator of N(P)/P?


    Will you help me please?
    :(


    TNX
     
    Last edited: Dec 22, 2009
  6. Dec 22, 2009 #5
    bouncing this message
     
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook