Letbe a group of order 315 and
contains a normal Sylow subgroup. Show that
must be abelian.
I cannot finish this. Maybe someone can finish this.
Let, the commutator subgroup. To show
is abelian it is sufficient to show
. Let
be the unique Sylow
-subgroup, then it is normal. Construct the group
and note
. Since
it means
is an abelian group. This implies that
is contained in
. But since
it means by Lagrange's theorem
.
Lemma: Ifis a group with
then
is abelian.
Proof: There is exactly one Sylow-subgroup and exactly one Sylow
-subgroup. Call them
. Then
therefore
i.e.
. Furthermore, both
are normal subgroups. It follows by isomorphism theorems that
.
Consider the Sylow-subgroups. By Sylow theorems there are either
or
of them. If there is just one, call it,
then form
. It follows that
. This is abelian by lemma. Thus,
contains
. This means by Lagrange's theorem
. But by the first paragraph it would force
. Therefore,
abelian. Thus, it is safe to assume that there are
Sylow
-subgroups.
But I do not know how to show that having 15 is impossible.