Results 1 to 2 of 2

Thread: Group of Order 315

  1. #1
    Newbie
    Joined
    Mar 2008
    Posts
    12

    Question Groups

    Let $\displaystyle G$ be a group of order 315 and $\displaystyle G$ contains a normal Sylow subgroup. Show that $\displaystyle G$ must be abelian.
    Last edited by syme.gabriel; Oct 15th 2008 at 03:43 AM.
    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 syme.gabriel View Post
    Let $\displaystyle G$ be a group of order 315 and suppose that $\displaystyle G$ contains a normal 3-Sylow subgroup. Prove that $\displaystyle G$ is abelian.
    I cannot finish this . Maybe someone can finish this.

    Let $\displaystyle C = G'$, the commutator subgroup. To show $\displaystyle G$ is abelian it is sufficient to show $\displaystyle |C| = 1$. Let $\displaystyle H$ be the unique Sylow $\displaystyle 3$-subgroup, then it is normal. Construct the group $\displaystyle G/H$ and note $\displaystyle |G/H| = 5\cdot 7$. Since $\displaystyle 7\not \equiv 1 (\bmod 5)$ it means $\displaystyle G/H$ is an abelian group. This implies that $\displaystyle C$ is contained in $\displaystyle H$. But since $\displaystyle |H| = 3^2$ it means by Lagrange's theorem $\displaystyle |C| = 1,3,9$.

    Lemma: If $\displaystyle G$ is a group with $\displaystyle |G| = 3^2\cdot 7=63$ then $\displaystyle G$ is abelian.

    Proof: There is exactly one Sylow $\displaystyle 3$-subgroup and exactly one Sylow $\displaystyle 7$-subgroup. Call them $\displaystyle M_1,M_2$. Then $\displaystyle |M_1\cap M_2| = 1$ therefore $\displaystyle |M_1M_2| = 63$ i.e. $\displaystyle M_1M_2 = G$. Furthermore, both $\displaystyle M_1,M_2$ are normal subgroups. It follows by isomorphism theorems that $\displaystyle G \simeq M_1 \times M_2 \simeq \mathbb{Z}_3 \times \mathbb{Z}_7$.

    Consider the Sylow $\displaystyle 7$-subgroups. By Sylow theorems there are either $\displaystyle 1$ or $\displaystyle 15$ of them. If there is just one, call it, $\displaystyle N$ then form $\displaystyle G/N$. It follows that $\displaystyle |G/N| = 63$. This is abelian by lemma. Thus, $\displaystyle N$ contains $\displaystyle C$. This means by Lagrange's theorem $\displaystyle |C| = 1,7$. But by the first paragraph it would force $\displaystyle |C|=1$. Therefore, $\displaystyle G$ abelian. Thus, it is safe to assume that there are $\displaystyle 15$ Sylow $\displaystyle 7$-subgroups.

    But I do not know how to show that having 15 is impossible.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Order of Group. Direct Product of Cyclic Group
    Posted in the Advanced Algebra Forum
    Replies: 9
    Last Post: Nov 19th 2011, 01:06 PM
  2. Order of a Group, Order of an Element
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Nov 15th 2010, 06:28 PM
  3. Order of a Group, Order of an Element
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: Nov 15th 2010, 06:02 PM
  4. Prove that a group of order 375 has a subgroup of order 15
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: May 13th 2010, 11:08 PM
  5. Group of order pq must have subgroups of order p and q.
    Posted in the Advanced Algebra Forum
    Replies: 19
    Last Post: Sep 15th 2009, 12:04 PM

Search tags for this page

Click on a term to search for related topics.

Search Tags


/mathhelpforum @mathhelpforum