Results 1 to 8 of 8

Thread: G is a group with |G|=mp where p is a prime and 1<m<p. Prove that G is not simple.

  1. #1
    Junior Member
    Joined
    Apr 2010
    Posts
    51

    Question G is a group with |G|=mp where p is a prime and 1<m<p. Prove that G is not simple.

    Suppose that G is a group with $\displaystyle |G| = mp$ where $\displaystyle p$ is a prime and $\displaystyle 1 < m < p$. Prove that $\displaystyle G$ is not simple.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member Tinyboss's Avatar
    Joined
    Jul 2008
    Posts
    433
    How many Sylow p-subgroups can G have?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Apr 2010
    Posts
    51
    Quote Originally Posted by Tinyboss View Post
    How many Sylow p-subgroups can G have?
    My class has not covered Sylow p-subgroups.
    There is a Sylow p-subgroup of order p, right? Are there others or just one?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Senior Member Tinyboss's Avatar
    Joined
    Jul 2008
    Posts
    433
    There are always Sylow p-subgroups. In this case, it follows immediately from Sylow's theorems that there is a unique one. Unique Sylow subgroups are normal.

    But as you say, you haven't covered that yet, so I'm sure you're expected to make a more direct argument.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Junior Member
    Joined
    Apr 2010
    Posts
    51

    Lightbulb

    Since $\displaystyle p|mp$, there is a a subgroup $\displaystyle H$ of order $\displaystyle p$. A (sub)group of order $\displaystyle p$ is cyclic, thus $\displaystyle H$ is Abelian thus normal. Since we have a normal subgroup $\displaystyle H\ne\{e\}$ and $\displaystyle H\ne G$, $\displaystyle G$ is not simple.

    Is this argument correct?
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Senior Member Tinyboss's Avatar
    Joined
    Jul 2008
    Posts
    433
    Abelian subgroups need not be normal. But I think you're on the right track considering the cyclic subgroup generated by an order-p element.
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Junior Member
    Joined
    Apr 2010
    Posts
    51
    Quote Originally Posted by Tinyboss View Post
    Abelian subgroups need not be normal. But I think you're on the right track considering the cyclic subgroup generated by an order-p element.
    Right. The subgroups of an Abelian subgroup H are normal in H but necessarily normal in the group G.


    I am stuck now.
    Follow Math Help Forum on Facebook and Google+

  8. #8
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    22
    Quote Originally Posted by JJMC89 View Post
    Suppose that G is a group with $\displaystyle |G| = mp$ where $\displaystyle p$ is a prime and $\displaystyle 1 < m < p$. Prove that $\displaystyle G$ is not simple.

    Let $\displaystyle H\leqslant G$ be such that $\displaystyle |H|=p$. It is trivial that there is a homomorphism $\displaystyle \phi:G\to \text{Sym}\left(G/H\right)$ by having $\displaystyle \phi_g(aH)=gaH$. Moreover, one can prove that $\displaystyle \ker\phi\subseteq H$. Now, since $\displaystyle p$ is prime and $\displaystyle \ker\phi\leqslant H$ we must have that $\displaystyle \ker\phi=\{e\}$ or $\displaystyle \ker\phi=H$. Suppose that $\displaystyle \ker\phi=\{e\}$ then $\displaystyle \text{im}(\phi)$ is a subgroup of $\displaystyle \text{Sym}\left(G/H\right)$ of order $\displaystyle mp$ and so $\displaystyle mp\mid m!$ but since $\displaystyle p$ is prime and $\displaystyle m<p$ this is impossible. Thus, $\displaystyle H=\ker\phi$ and so $\displaystyle \{e\}\triangleleft H\triangleleft G$ so that $\displaystyle G$ isn't simple.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 1
    Last Post: Oct 22nd 2011, 12:37 PM
  2. Replies: 1
    Last Post: Jun 19th 2011, 12:56 PM
  3. Replies: 1
    Last Post: Mar 1st 2011, 06:39 PM
  4. Replies: 3
    Last Post: Feb 17th 2011, 07:51 AM
  5. Replies: 2
    Last Post: Feb 16th 2011, 06:41 PM

Search tags for this page

Search Tags


/mathhelpforum @mathhelpforum