Results 1 to 2 of 2

Thread: Sylow's theorem and direct product.

  1. #1
    Newbie
    Joined
    Mar 2009
    Posts
    11

    Sylow's theorem and direct product.

    Let G be a finite p-group of order p^m. Show that G has normal subgroups G0, G1 ....Gm such that {e}=G0 < G1 <.......< Gm=G and O(Gi)=p^i for all i=0, 1, 2.....m.
    (e is identity).
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    10
    Quote Originally Posted by niranjan View Post
    Let G be a finite p-group of order p^m. Show that G has normal subgroups G0, G1 ....Gm such that {e}=G0 < G1 <.......< Gm=G and O(Gi)=p^i for all i=0, 1, 2.....m.
    (e is identity).
    You can use Sylow's theorem, which is straightforward and your last exercise. But I think it is better to actually prove this result without the use of Sylow's theorem. We will use the same theorem we proved here.

    Obviously $\displaystyle G_0$ exists. Now by Cauchy's theorem there is a subgroup $\displaystyle G_1$. We will show how to prove $\displaystyle G_2$ exists. By the theorem we proved we know that $\displaystyle N(G_1)\not = G_1$. Since $\displaystyle G_1\triangleleft N(G_1)$ we can form $\displaystyle N(G_1)/G_1$ and we see that $\displaystyle p$ divides $\displaystyle |N(G_1)/G_1|$. By Cauchy's theorem there is a subgroup $\displaystyle K\subseteq N(G_1)/G_1$ with $\displaystyle |K|=p$. If $\displaystyle \pi : N(G_1)\to N(G_1)/G_1$ is the natural projection then $\displaystyle \pi^{-1}(K)$ is a subgroup of $\displaystyle N(G_1)$ with $\displaystyle |\pi^{-1}(K)| = p^2$. Just keep on repeating this argument for $\displaystyle p^2,p^3,..$ and so form and this gives us a chain $\displaystyle G_0\subseteq G_1 \subseteq ... \subseteq G_n$ with $\displaystyle G_j \triangleleft G_{j+1}$ and $\displaystyle (G_{j+1}:G_j)=p$.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Sylow's Theorem
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: Nov 12th 2011, 09:54 PM
  2. Sylow's theorem
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Mar 14th 2010, 04:03 PM
  3. Sylow's theorem and direct products
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Mar 7th 2009, 08:16 PM
  4. Sylow's Theorem
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: Feb 12th 2008, 09:01 AM
  5. Sylow's theorem
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: Feb 18th 2007, 06:31 AM

Search Tags


/mathhelpforum @mathhelpforum