Skip to main content
Logo image

Abstract Algebra: Theory and Applications

Thomas W. Judson

🔗

Section 15.1 The Sylow Theorems

🔗
🔗
We will use what we have learned about group actions to prove the Sylow Theorems. Recall for a moment what it means for G to act on itself by conjugation and how conjugacy classes are distributed in the group according to the class equation, discussed in Chapter 14. A group G acts on itself by conjugation via the map (g,x)↦gxg−1. Let x1,…,xk be representatives from each of the distinct conjugacy classes of G that consist of more than one element. Then the class equation can be written as
|G|=|Z(G)|+[G:C(x1)]+⋯+[G:C(xk)],
🔗
where Z(G)={g∈G:gx=xg for all x∈G} is the center of G and C(xi)={g∈G:gxi=xig} is the centralizer subgroup of xi.
🔗
We begin our investigation of the Sylow Theorems by examining subgroups of order p, where p is prime. A group G is a p-group if every element in G has as its order a power of p, where p is a prime number. A subgroup of a group G is a p-subgroup if it is a p-group.

Proof.

We will use induction on the order of G. If |G|=p, then clearly G itself is the required subgroup. We now assume that every group of order k, where p≤k<n and p divides k, has an element of order p. Assume that |G|=n and p∣n and consider the class equation of G:
|G|=|Z(G)|+[G:C(x1)]+⋯+[G:C(xk)].
We have two cases.

Case 1.

Suppose the order of one of the centralizer subgroups, C(xi), is divisible by p for some i, i=1,…,k. In this case, by our induction hypothesis, we are done. Since C(xi) is a proper subgroup of G and p divides |C(xi)|, C(xi) must contain an element of order p. Hence, G must contain an element of order p.

Case 2.

Suppose the order of no centralizer subgroup is divisible by p. Then p divides [G:C(xi)], the order of each conjugacy class in the class equation; hence, p must divide the center of G, Z(G). Since Z(G) is abelian, it must have a subgroup of order p by the Fundamental Theorem of Finite Abelian Groups. Therefore, the center of G contains an element of order p.
🔗

Example 15.3.

🔗
Let us consider the group A5. We know that |A5|=60=22⋅3⋅5. By Cauchy’s Theorem, we are guaranteed that A5 has subgroups of orders 2, 3 and 5. The Sylow Theorems will give us even more information about the possible subgroups of A5.
🔗
We are now ready to state and prove the first of the Sylow Theorems. The proof is very similar to the proof of Cauchy’s Theorem.

Proof.

We induct on the order of G once again. If |G|=p, then we are done. Now suppose that the order of G is n with n>p and that the theorem is true for all groups of order less than n, where p divides n. We shall apply the class equation once again:
|G|=|Z(G)|+[G:C(x1)]+⋯+[G:C(xk)].
First suppose that p does not divide [G:C(xi)] for some i. Then pr∣|C(xi)|, since pr divides |G|=|C(xi)|⋅[G:C(xi)]. Now we can apply the induction hypothesis to C(xi).
Hence, we may assume that p divides [G:C(xi)] for all i. Since p divides |G|, the class equation says that p must divide |Z(G)|; hence, by Cauchy’s Theorem, Z(G) has an element of order p, say g. Let N be the group generated by g. Clearly, N is a normal subgroup of Z(G) since Z(G) is abelian; therefore, N is normal in G since every element in Z(G) commutes with every element in G. Now consider the factor group G/N of order |G|/p. By the induction hypothesis, G/N contains a subgroup H of order pr−1. The inverse image of H under the canonical homomorphism ϕ:G→G/N is a subgroup of order pr in G.
🔗
🔗
A Sylow p-subgroup P of a group G is a maximal p-subgroup of G. To prove the other two Sylow Theorems, we need to consider conjugate subgroups as opposed to conjugate elements in a group. For a group G, let S be the collection of all subgroups of G. For any subgroup H, S is a H-set, where H acts on S by conjugation. That is, we have an action
H×S→S
🔗
defined by
h⋅K↦hKh−1
🔗
for K in S.
🔗
🔗
The set
N(H)={g∈G:gHg−1=H}
🔗
is a subgroup of G called the the normalizer of H in G. Notice that H is a normal subgroup of N(H). In fact, N(H) is the largest subgroup of G in which H is normal.

Proof.

Certainly x∈N(P), and the cyclic subgroup, ⟨xP⟩⊂N(P)/P, has as its order a power of p. By the Correspondence Theorem there exists a subgroup H of N(P) containing P such that H/P=⟨xP⟩. Since |H|=|P|⋅|⟨xP⟩|, the order of H must be a power of p. However, P is a Sylow p-subgroup contained in H. Since the order of P is the largest power of p dividing |G|, H=P. Therefore, H/P is the trivial subgroup and xP=P, or x∈P.

Proof.

We define a bijection between the conjugacy classes of K and the right cosets of N(K)∩H by h−1Kh↦(N(K)∩H)h. To show that this map is a bijection, let h1,h2∈H and suppose that (N(K)∩H)h1=(N(K)∩H)h2. Then h2h1−1∈N(K). Therefore, K=h2h1−1Kh1h2−1 or h1−1Kh1=h2−1Kh2, and the map is an injection. It is easy to see that this map is surjective; hence, we have a one-to-one and onto map between the H-conjugates of K and the right cosets of N(K)∩H in H.

Proof.

Let P be a Sylow p-subgroup of G and suppose that |G|=prm with |P|=pr. Let
S={P=P1,P2,…,Pk}
consist of the distinct conjugates of P in G. By Lemma 15.6, k=[G:N(P)]. Notice that
|G|=prm=|N(P)|⋅[G:N(P)]=|N(P)|⋅k.
Since pr divides |N(P)|, p cannot divide k.
Given any other Sylow p-subgroup Q, we must show that Q∈S. Consider the Q-conjugacy classes of each Pi. Clearly, these conjugacy classes partition S. The size of the partition containing Pi is [Q:N(Pi)∩Q] by Lemma 15.6, and Lagrange’s Theorem tells us that |Q|=[Q:N(Pi)∩Q]|N(Pi)∩Q|. Thus, [Q:N(Pi)∩Q] must be a divisor of |Q|=pr. Hence, the number of conjugates in every equivalence class of the partition is a power of p. However, since p does not divide k, one of these equivalence classes must contain only a single Sylow p-subgroup, say Pj. In this case, x−1Pjx=Pj for all x∈Q. By Lemma 15.5, Pj=Q.

Proof.

Let P be a Sylow p-subgroup acting on the set of Sylow p-subgroups,
S={P=P1,P2,…,Pk},
by conjugation. From the proof of the Second Sylow Theorem, the only P-conjugate of P is itself and the order of the other P-conjugacy classes is a power of p. Each P-conjugacy class contributes a positive power of p toward |S| except the equivalence class {P}. Since |S| is the sum of positive powers of p and 1, |S|≡1(modp).
Now suppose that G acts on S by conjugation. Since all Sylow p-subgroups are conjugate, there can be only one orbit under this action. For P∈S,
|S|=|orbit of P|=[G:N(P)]
by Lemma 15.6. But [G:N(P)] is a divisor of |G|; consequently, the number of Sylow p-subgroups of a finite group must divide the order of the group.
🔗

Subsection Historical Note

🔗
Peter Ludvig Mejdell Sylow was born in 1832 in Christiania, Norway (now Oslo). After attending Christiania University, Sylow taught high school. In 1862 he obtained a temporary appointment at Christiania University. Even though his appointment was relatively brief, he influenced students such as Sophus Lie (1842–1899). Sylow had a chance at a permanent chair in 1869, but failed to obtain the appointment. In 1872, he published a 10-page paper presenting the theorems that now bear his name. Later Lie and Sylow collaborated on a new edition of Abel’s works. In 1898, a chair at Christiania University was finally created for Sylow through the efforts of his student and colleague Lie. Sylow died in 1918.
PrevTopNext