It is not at all obvious that a -Sylow subgroup exists. It is our main concern in this section to show that for each that a -Sylow subgroup exists. Note that is a -Sylow subgroup of if and only if where and .
We first consider and prove a very special case of the end result we wish to obtain.
The proof will proceed by induction on . If
, a prime, then the theorem is clearly true.
Thus suppose , where is composite and also suppose
that the theorem has been proven for all groups
whose order . Suppose is a prime such that .
We need to show that has an element of order .
We claim contains a subgroup not equal to
or to itself. This is clear if is cyclic
(see Theorem 5.2.1). If is
not cyclic, let , , the identity element of .
is a proper subgroup of . (Why?)
Let be a proper subgroup of of maximal order.
If , then since , we have by the induction
hypothesis that there exists an
such that , but clearly , also.
This proves our claim when . If, however, ,
then since is a proper subgroup of , there exists an
element . Let be the cyclic subgroup of
generated by , i.e.,
. Now the product is a subgroup of
(by Theorem 4.2.1) since is abelian. Also,
properly, i.e., ,
because but . However, was a
maximal proper subgroup. Thus it
must be that . Then, by Theorem 4.3.6,
Thus if is an abelian group and if , then contains a subgroup of order ; viz., the cyclic subgroup of order generated by an element of order whose existence is guaranteed by Theorem 10.1.2.
We now proceed to the main result of this section, i.e., the first Sylow Theorem.
As in the preceding theorem, the proof will be given by
induction on . The theorem is clearly
true if . Now let
, where .
By hypothesis, .
We next decompose into conjugacy classes according
to the discussion at the beginning of Section 4.1 and
use the class equation, i.e., equation (4.8),
We may, thus, assume that for each ,
On the basis of this theorem, we can now strengthen the result obtained in Theorem 10.1.2.
Proof: Let be a -Sylow subgroup of , and let . If , then implies , where . But then the cyclic group, , must have a (unique) subgroup of order , say , by Theorem 5.2.1. Thus and .