Results 1 to 3 of 3

Thread: Sylow p-subgroups

  1. #1
    Newbie
    Joined
    Sep 2008
    Posts
    18

    Sylow p-subgroups

    Show that a Sylow p-subgroup of the dihedral group is cyclic and normal for every odd prime.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Nov 2008
    From
    Paris
    Posts
    354
    Let $\displaystyle p$ be an odd prime, $\displaystyle D_{p}$ the dihedral group with $\displaystyle 2p$ elements and $\displaystyle e$ its identity element.

    A $\displaystyle p$-Sylow in $\displaystyle D_{p}$ has an order of $\displaystyle p$, so it is cyclic: indeed, the order of an element of such a $\displaystyle p$-Sylow subgroups is either $\displaystyle 1$ or $\displaystyle p$ (because it divides $\displaystyle p$) so if the element is different than $\displaystyle e$, then it's a generator, and since $\displaystyle p$ is different from $\displaystyle 1$, there are generators.
    Furthermore, $\displaystyle D_{p}$ has $\displaystyle 2p$ elements. The number $\displaystyle N_{p}$ of $\displaystyle p$-Sylow and $\displaystyle 1$ are congruent modulo $\displaystyle p$, and $\displaystyle N_{p}$ divides $\displaystyle \frac{|Dp|}{p}$, so divides $\displaystyle 2$. So $\displaystyle N_{p}=1$. But all $\displaystyle p$-Sylow subgroups are conjugate, so when there is only one $\displaystyle p$-Sylow $\displaystyle H$, it is normal.
    Indeed, $\displaystyle \forall x \in D_{p},\ xHx^{-1}$ has the same order than $\displaystyle H$. Thus it's a $\displaystyle p$-Sylow, and $\displaystyle xHx^{-1}=H$.
    Last edited by clic-clac; Nov 10th 2008 at 09:10 AM. Reason: voc
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    clic-clac, the dihedral group is not necessarily in the form $\displaystyle D_p.$ it could be $\displaystyle D_n$ with $\displaystyle p \mid n.$ i'll prove that in fact every sugroup of odd order in $\displaystyle D_n$ is normal and cyclic. to see this, let

    $\displaystyle D_n=<a,b: \ a^2=b^n=1, \ aba=b^{-1}>$ and suppose $\displaystyle H \subset D_n$ is a subgroup with odd order. then $\displaystyle H \subseteq <b>,$ because $\displaystyle ab^j, \ 0 \leq j < n,$ have order 2 and hence they cannot be in

    H. so H is cyclic. besides a cyclic group has only one subgroup of any order, i.e. H is normal. Q.E.D.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Sylow-p subgroups of A4
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Jun 26th 2010, 05:37 AM
  2. Sylow Subgroups
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Dec 6th 2009, 12:47 AM
  3. Sylow 2-subgroups
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Oct 1st 2008, 07:26 PM
  4. 2-sylow subgroups of S6
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Aug 8th 2008, 02:56 AM
  5. Sylow p-subgroups
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: Apr 1st 2008, 09:49 PM

Search Tags


/mathhelpforum @mathhelpforum