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: Symmetric group, Normalizers

  1. Jan 28, 2012 #1
    1. The problem statement, all variables and given/known data
    What is the normalizer of the Sylow p-subgroup in the symmetric group Sym(p) generated by the element (1,2,...,p) where p is a prime number?

    2. Relevant equations

    3. The attempt at a solution
    I know that the normalizer has order p(p-1). And I know that it has to include the group generated by (1,2,...,p). I know there must be elements outside <(1,2,...,p)> that conjugates (1,2,...,p) to (1,2,...,p)^n but what are their forms?
    Your help will be greatly appreciated.
  2. jcsd
  3. Jan 28, 2012 #2


    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Try writing out the p elements of the subgroup in question:

    (1 2 3 ... p)
    (1 3 5 ... )
    p-1 of these are p-cycles and the final element is the identity map. The identity map is normalized by any element of Sym(P), so we need only consider which elements of Sym(P) map one of the p-cycles to another.

    Each p-cycle can be written in one of p equivalent ways, by choosing where to write 1 in the cycle.

    Furthermore, each cycle is completely characterized by, for example, the distance between 1 and 2 in the cycle.

    Conjugation of a p-cycle by any element of Sym(p) simply relabels the elements and results in another p-cycle. How many of these relabelings will result in one of the powers of (1 2 ... p)?

    It's clear that there are p choices for where to place 1, and p-1 choices for where to place 2. These two choices completely characterize the cycle if it is to be a power of (1 2 ... p). This gives you your p*(p-1) for the size of the normalizer.

    This analysis should give you enough info to work out what the elements of the normalizer must look like.
    Last edited: Jan 28, 2012
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Similar Threads for Symmetric group Normalizers
Are these homomorphisms?