Sylowapp
Sylowapp
KEITH CONRAD
For a group theorist, Sylow’s Theorem is such a basic tool, and so fundamental, that it is
used almost without thinking, like breathing. Geoff Robinson
1It is used in Theorems 2.4 and 2.8, Corollary 8.5, and Theorem 9.4.
1
2 KEITH CONRAD
Proof. This group has size 20, so the 2-Sylows have size 4 and the 5-Sylows have size 5.
By Sylow III, n2 | 5, so n2 = 1 or 5. The matrices ( 20 01 ) and ( 20 11 ) generate different
2-Sylow subgroups, so n2 = 5.
Now we turn to the 5-Sylow subgroups. By Sylow III, n5 | 4 and n5 ≡ 1 mod 5. The only
choice is n5 = 1.
Let’s explore Aff(Z/(5)) a little further. Since we know the number of 2-Sylow and 5-
Sylow subgroups, we can search for all the Sylow subgroups and know when to stop. There
are five 2-Sylow subgroups and the five matrices ( 20 1j ), where j ∈ Z/(5), generate different
subgroups of size 4, so these are all of the 2-Sylow subgroups (and they are cyclic). The
matrix ( 10 11 ) has order 5 and therefore generates the unique 5-Sylow subgroup.
As an illustration of Sylow II in Aff(Z/(5)), each element of 2-power order is conjugate
to an element of the subgroup h( 20 01 )i. For instance, ( 20 11 ) has order 4 and an explicit search
reveals −1
2 1 3 4 2 0 3 4
= .
0 1 0 1 0 1 0 1
The matrix ( 40 41 ) has order 2 and
2 −1
4 4 3 2 2 0 3 2
= .
0 1 0 1 0 1 0 1
Remark 2.3. Here is a misapplication of the Sylow theorems. Suppose |G| = 42 = 2 · 3 · 7.
Using the third Sylow theorem, n2 ∈ {1, 3, 7, 21}, n3 = 1 or 7, and n7 = 1. For prime
p, different subgroups of order p intersect trivially and all p − 1 nontrivial elements in a
subgroup of order p have order p, so there are np (p − 1) elements of order p. Therefore G
has 6 elements of order seven. Using the maximal possibilities for n2 and n3 , there are at
most 21 elements of order two and at most 14 elements of order three. Adding to this count
the single element of order one, we have counted at most 6 + 21 + 14 + 1 = 42 elements,
which is the size of G. Since we used the maximal possibilities for n2 and n3 , and got 42
elements, n2 and n3 can’t be smaller than the maximal choices, so n2 = 21 and n3 = 7.
This reasoning is false, since Z/(42) has n2 = n3 = 1 and Aff(Z/(7)) has n2 = n3 = 7. The
source of the error is that some elements may have an order other than 1, 2, 3, or 7.
Theorem 2.4. For a prime p, each element of GL2 (Z/(p)) with order p is conjugate to a
strictly upper-triangular matrix ( 10 a1 ). The number of p-Sylow subgroups is p + 1.
Proof. The size of GL2 (Z/(p)) is (p2 − 1)(p2 − p) = p(p − 1)(p2 − 1). Therefore a p-Sylow
subgroup has size p. The matrix ( 10 11 ) has order p, so it generates a p-Sylow subgroup
P = h( 10 11 )i = {( 10 1∗ )} Since all p-Sylow subgroups are conjugate, a matrix with order p is
conjugate to some power of ( 10 11 ).
The number of p-Sylow subgroups is [GL2 (Z/(p)) : N(P )] by Sylow III*. We’ll compute
N(P ) and then find its index. For ( ac db ) to lie in N(P ) means it conjugates ( 10 11 ) to some
power ( 10 1∗ ). Since
−1
a2 /∆
a b 1 1 a b 1 − ac/∆
= ,
c d 0 1 c d −c2 /∆ 1 + ac/∆
where ∆ = ad − bc 6= 0, ( ac db ) ∈ N(P ) precisely when c = 0. Therefore N(P ) = {( ∗0 ∗∗ )} in
GL2 (Z/(p)). The size of N(P ) is (p − 1)2 p. Since GL2 (Z/(p)) has size p(p − 1)(p2 − 1), the
index of N(P ) is np = p + 1.
CONSEQUENCES OF THE SYLOW THEOREMS 3
( x0 y1 )( a0 01 )( x0 y1 )−1 = ( a0 y(1−a)
1
). For this to be in P at least requires y(1 − a) = 0, so y = 0
since a 6= 1. Thus N(P ) ⊂ H.
The number of p-Sylow subgroups of Aff(F) is [Aff(F) : H] = q(q − 1)/q − 1 = q.
Remark 2.9. From the theory of finite fields, every finite field has prime-power size and
for every prime power there is a field of that size. (Warning: a field of size 9 is not
constructed as Z/(9), since that is not a field. Fields of non-prime size can’t be constructed
as quotient rings of Z. Another method is needed.) Therefore Theorem 2.8 shows each
prime power ≡ 1 mod p is the number of p-Sylow subgroups of some finite group. For
example, 81 ≡ 1 mod 5 and there are 81 different 5-Sylow subgroups of Aff(F81 ), where F81
is a field of size 81.
It is an interesting question to ask if the congruence condition n ≡ 1 mod p from Sylow
III is the only constraint on p-Sylow counts: for n ∈ Z+ with n ≡ 1 mod p is there a finite
group in which the number of p-Sylow subgroups is n? The answer is affirmative when
n = 1 using Z/(p), so we only consider n > 1. When p = 2 the answer is affirmative using
dihedral groups: when n > 1 is odd a 2-Sylow subgroup of Dn has order 2 and the elements
of order 2 are precisely the n reflections, so the number of 2-Sylow subgroups of Dn is n.
If p 6= 2, there is an n ≡ 1 mod p that does not arise as a p-Sylow count: there is no finite
group G in which n3 (G) = 22 or n5 (G) = 21 or np (G) = 1 + 3p for prime p ≥ 7. This is
proved in [2].
Note Theorem 3.2 is not saying the p-Sylow and q-Sylow subgroups of G are abelian, but
rather that elements of either subgroup commutes with elements of the other subgroup if
the two Sylow subgroups are the only subgroups of their size.
Theorem 3.3. All the Sylow subgroups of a finite group are normal if and only if the group
is isomorphic to the direct product of its Sylow subgroups.
Proof. If a group is isomorphic to the direct product of its Sylow subgroups then its Sylow
subgroups are normal since a group that is one of the factors in a direct product is a normal
subgroup of the direct product. Conversely, suppose G is finite and its Sylow subgroups
are all normal. Write the nontrivial Sylow subgroups as P1 , . . . , Pm . Elements in Pi and Pj
commute with each other for i 6= j, by Theorem 3.2, so the map P1 × · · · × Pm → G given
by
(x1 , . . . , xm ) 7→ x1 · · · xm
is a homomorphism. It is injective since the order of a product of commuting elements with
relatively prime orders is equal to the product of their orders. Our map is between two
groups of equal size, so from injectivity we get that it is an isomorphism.
Proof. Let |G| = pq, where p < q and q 6≡ 1 mod p. By Cauchy’s theorem, G has an element
a of order p and an element b of order q. Let P = hai and Q = hbi.
The subgroups P and Q have respective sizes p and q and are p-Sylow and q-Sylow
subgroups of G. Using the Sylow theorems, we will show P and Q are both normal subgroups
of G. It then will follow from Theorem 3.2 that elements of P commute with elements of
Q. Then, since a and b commute and they have relatively prime order, their product ab has
order pq. From |G| = pq, G is cyclic.
To show P C G, by Sylow III np | q and np ≡ 1 mod p. From np | q we have np = 1 or q,
and q 6≡ 1 mod p by hypothesis, so np = 1. Thus P is the only p-Sylow subgroup of G and
is thus normal in G.
To show Q C G, by Sylow III nq | p and nq ≡ 1 mod q. Then nq is 1 or p, so from
1 < p < q the congruence condition on nq implies nq = 1. Therefore Q is the only q-Sylow
subgroup of G and is thus normal in G. (Compare this to the proof in the handout on
consequences of Cauchy’s theorem that G has only one subgroup of size q.)
Assume n3 6= 1, so n3 = 4. Since the 3-Sylows have size 3, Lemma 5.3 says G has
n3 · 2 = 8 elements of order 3. The number of remaining elements is 12 − 8 = 4. A 2-Sylow
subgroup has size 4, and thus fills up the remaining elements. Therefore n2 = 1.
For example, A4 has n2 = 1 and n3 = 4, while D6 has n2 = 3 and n3 = 1.
Theorem 5.5. If |G| = 24 then G has a normal subgroup of size 4 or 8.
Proof. Let P be a 2-Sylow subgroup, so |P | = 8. Consider the left multiplication action
` : G → Sym(G/P ) ∼ = S3 . Set K to be the kernel of `. Then
• K ⊂ P , so |K| | 8,
• G/K embeds into S3 , so [G : K] | 6. That is, 4 | |K|.
This tells us |K| = 4 or 8. Since K is the kernel of `, K C G.
Example 5.6. Let G = S4 . The number of 2-Sylow subgroups is 3, so S4 does not have a
normal subgroup of size 8 (Theorem 3.1). Theorem 5.5 then says S4 must have a normal
subgroup of size 4. Indeed, one is
{(1), (12)(34), (13)(24), (14)(23)}.
There are other subgroups of size 4, such as h(1234)i, but they are not normal.
Example 5.7. Let G = SL2 (Z/(3)). This group has size 24 and a normal 2-Sylow subgroup.
Lemma 5.8. If N C G and a p-Sylow subgroup P of N is normal in N , then P is normal
in G.
Proof. Since P CN , P is the only p-Sylow subgroup of N . For all g ∈ G, gP g −1 ⊂ gN g −1 =
N , so gP g −1 is a subgroup of N with the same order as P . Therefore gP g −1 = P . Since g
is arbitrary in G, gP g −1 = P .
Theorem 5.9. If |G| = 30 then G has normal 3-Sylow and 5-Sylow subgroups.
Proof. Pick g ∈ G of order 2. Since |G| = 30, left multiplication `g : G → G is a product of
15 transpositions, so its sign is −1. Therefore the composite sgn ◦` : G → {±1} is onto, so
the kernel is a (normal) subgroup of G with size 15. Call it N . Then N is cyclic (Theorem
4.3). Its 3-Sylow and 5-Sylow subgroups are normal in N (since N is abelian), so they are
also normal in G by Lemma 5.8.
Remark 5.10. A groups of order 30 is isomorphic to Z/(30), D15 , Z/(3)×D5 , or Z/(5)×S3 .
Theorem 5.11. Every group of size 105 has normal 5-Sylow and 7-Sylow subgroups. In
other words, every group of size 105 has unique subgroups of size 5 and 7.
Proof. We will first prove n5 = 1 or n7 = 1. Then we will refine this to n5 = 1 and n7 = 1.
By Sylow III,
n3 | 35, n3 ≡ 1 mod 3 =⇒ n3 = 1 or 7,
n5 | 21, n5 ≡ 1 mod 5 =⇒ n5 = 1 or 21,
n7 | 15, n7 ≡ 1 mod 7 =⇒ n7 = 1 or 15.
Could n5 > 1 and n7 > 1? If so, then n5 = 21 and n7 = 15. Using Lemma 5.3, the number
of elements with order 5 is 21 · 4 = 84 and the number of elements with order 7 is 15 · 6 = 90.
Since 84 + 90 > |G|, we have a contradiction, so n5 = 1 or n7 = 1. In either case we will
show G has a subgroup with order 35.
8 KEITH CONRAD
Proof. Without loss of generality, p < q. By the Sylow theorems, nq | p2 and nq ≡ 1 mod q,
so nq = 1 or p2 . If nq = 1 then the q-Sylow subgroup is normal. Now suppose nq = p2 .
Then p2 ≡ 1 mod q, so p ≡ ±1 mod q. Since p < q, the congruence forces p = q − 1. As
consecutive primes, p = 2 and q = 3, which shows for |G| = 6 36 that nq = 1. (The reader
who doesn’t care too much about this theorem can skip the rest of the proof, which analyzes
the remaining case |G| = 36.)
For the rest of the proof, let |G| = 36. Then n3 = 1 or 4. We will show that if n3 = 4
then n2 = 1. Assume n3 = 4 and n2 > 1. Since n2 > 1, G has no subgroup of size 18 (it
would have index 2 and therefore be normal, so a 3-Sylow subgroup of it would be normal
in G by Lemma 8.3, which contradicts n3 > 1). Since n2 > 1, G is non-abelian. Our goal is
to get a contradiction. We will try to count elements of different orders in G and find the
total comes out to more than 36 elements. That will be our contradiction.
Let Q be a 3-Sylow in G, so [G : Q] = 4. Left multiplication of G on G/Q gives a
homomorphism G → Sym(G/Q) ∼ = S4 . Since |G| > |S4 |, the kernel K is nontrivial. Since
K ⊂ Q, either |K| = 3 or K = Q. Since Q C 6 G, Q does not equal K, so |K| = 3.
Since K C G, we can make G act on K by conjugations. This is a homomorphism
G → Aut(K) ∼ = Z/(2). If this homomorphism is onto (that is, some element of G conjugates
on K in a nontrivial way) then the kernel is a subgroup of G with size 18, which G does
not have. So the conjugation action of G on K is trivial, which means every element of
G commutes with the elements of K, so K ⊂ Z(G). Then 3 | |Z(G)|, so the size of Z(G)
is one of the numbers in {3, 6, 9, 12, 18, 36}. Since G is non-abelian and a group is abelian
when the quotient by its center is cyclic, |Z(G)| can’t be 12, 18, or 36. Since n3 > 1 there is
no normal subgroup of size 9, so |Z(G)| = 6 9. If |Z(G)| = 6 then the product set Z(G)Q is a
subgroup of size 18, a contradiction. So we must have |Z(G)| = 3, which means Z(G) = K.
Now we start counting elements with various orders. The center is a 3-subgroup of G, so
by the conjugacy of 3-Sylow subgroups every 3-Sylow subgroup contains K. Each pair of
different 3-Sylow subgroups have K as their intersection, so we can count the total number
of elements of 3-power order: |K| + n3 · (9 − 3) = 27.
Let g ∈ G have order 2. Then the product set Khgi is abelian of size 6, so Khgi is
cyclic. A cyclic group has a unique element of order 2, which must be g. Therefore when g
and g 0 are different elements of order 2 in G, the groups Khgi and Khg 0 i have K has their
intersection. So each element of order 2 provides us with 2 new elements of order 6. Let n be
the number of elements of order 2 in G, so there are at least 2n elements of order 6, giving
at least 3n elements in total with order 2 or 6. Since we already found 27 elements with
3-power order (including the identity), 3n ≤ 36 − 27, or n ≤ 3. We can get an inequality on
n in the other direction: n ≥ 2. Indeed, no element of order 2 lies in Z(G) = K, so some
conjugate of an element of order 2 is a second element of order 2. So n = 3.
Since |{g ∈ G : g 2 = e}| is even (by McKay’s proof of Cauchy’s theorem) and this number
is 1+n, n is odd, so n = 3. Therefore G has 3 elements of order 2, so at least 3n = 9 elements
of order 2 or 6. Adding this to 27 from before gives 9 + 27 = 36 = |G|, so each element of G
has 3-power order or order 2 or 6. In particular, the 2-Sylow subgroup of G is isomorphic
to Z/(2) × Z/(2) (no elements of order 4 in G). Then different 2-Sylow subgroups meet at
most in a group of order 2, which gives us 5 elements of order 2 from both subgroups. We
saw before that there are only 3 elements of order 2. This is a contradiction.
Theorem 6.1. Let H be a subgroup of G. For each P ∈ Sylp (G), there is a conjugate
gP g −1 such that gP g −1 ∩ H ∈ Sylp (H).
Proof. Let H act on G/P by left multiplication. Since G/P has size not divisible by p, an
element gP of G/P has H-orbit with size not divisible by p. Since |OrbgP | = |H|/| StabgP |,
StabgP is a subgroup of H containing the maximal power of p in |H|. We will show | StabgP |
has p-power order, and that would make StabgP a p-Sylow subgroup of H:
StabgP = {h ∈ H : hgP = gP }
= {h ∈ H : g −1 hg ∈ P }
= {h : h ∈ gP g −1 }
= gP g −1 ∩ H,
so StabgP is a subgroup of the p-group gP g −1 .
The conjugation of P in Theorem 6.1 is important: it is false in general that if P ∈ Sylp (G)
and H is a subgroup of G then P ∩ H ∈ Sylp (H). For example, if P and H are two
different p-Sylow subgroups of G then P ∩ H is a proper subgroup of H, so P ∩ H is not in
Sylp (H) = {H}.
Example 6.2. Let G = Dn = hr, si with n ≥ 3 odd, so 2-Sylow subgroups of G have order
2. Use P = {1, s} and H = {1, rs}.
An interesting application of Theorem 6.1 is the following: if a finite group G has sub-
groups H and K such that G = HK as a set then for each prime p there is a P ∈ Sylp (G)
such that P ∩ H ∈ Sylp (H), P ∩ K ∈ Sylp (K), and P = (P ∩ H)(P ∩ K) as sets. Here we
allow H and K to overlap nontrivially and we don’t assume elements of H commute with
elements of K. See https://math.stackexchange.com/questions/610094/.
Remark 6.3. The proof of Theorem 6.1 did not use the Sylow theorems for H, so it shows
the existence of Sylow subgroups of a group implies the existence of Sylow subgroups of each
subgroup. In particular, we can show a finite group has a p-Sylow subgroup by embedding
it in a larger group where it might be easier to write down a p-Sylow subgroup.
For example, every finite group can be embedded in a symmetric group (Cayley’s theo-
rem). To be precise, the left multiplication action of G on G gives an embedding of G into
Sym(G) ∼ = Sn , where n = |G|. Therefore if one can construct, for each prime p, a p-Sylow
subgroup of every symmetric group then we obtain the existence of a p-Sylow subgroup
of every finite group. Exercises 15 and 16 in [4, p. 84] give a construction of Sylow sub-
groups of symmetric groups using wreath products. A construction of a p-Sylow subgroup
of the symmetric groups Spk actually suffices, since Sn embeds into Spk for pk ≥ n; the
construction in this special case can be found in the discussion of the Sylow theorems in [3,
pp. 95–97].
Corollary 6.4. Let N C G. For each p-Sylow P of G, P ∩ N is a p-Sylow of N and all
p-Sylows of N arise in this way. In particular, np (N ) ≤ np (G).
Proof. By Theorem 6.1, there is a g such that gP g −1 ∩ N is a p-Sylow in N . Since N is a
normal subgroup of G,
gP g −1 ∩ N = gP g −1 ∩ gN g −1 = g(P ∩ N )g −1 .
Therefore P ∩ N is a p-Sylow subgroup of g −1 N g = N .
CONSEQUENCES OF THE SYLOW THEOREMS 11
(There are proofs that P ∩ N is a p-Sylow subgroup of N that do not rely on Theorem
6.1. Since P ∩ N is a p-group, as it is contained in P , it remains to show P ∩ N has
maximal p-power order in N . Here are two ways of showing that. First, we will show the
index [N : P ∩ N ] is not divisible by p. The set P N is a subgroup of G since N C G and
|P N | = |P ||N |/|P ∩ N |, so [N : P ∩ N ] = |N |/|P ∩ N | = |P N |/|P | = [P N : P ], which is
a factor of [G : P ] and thus is not divisible by p. Second, by the Sylow theorems P ∩ N
is contained in a p-Sylow subgroup of N , say K. Then K, being a p-subgroup of G, is
contained in a conjugate of P : K ⊂ gP g −1 . Thus g −1 Kg ⊂ P . Also g −1 Kg ⊂ g −1 N g = N ,
so g −1 Kg ⊂ P ∩ N ⊂ K. Since |K| = |g −1 Kg|, we get |P ∩ N | = |K|, so P ∩ N = K is a
p-Sylow subgroup of N .)
Let Q be a p-Sylow subgroup of N . Pick a p-Sylow of G, say P , which contains Q. Then
Q ⊂ P ∩ N , and P ∩ N is a p-Sylow of N , so Q = P ∩ N .
There is an extension of Corollary 6.4 to certain non-normal subgroups. Suppose H C
K C G (perhaps H is not normal in G). If P is a Sylow subgroup of G then P ∩ K is a Sylow
subgroup of K, so (P ∩ K) ∩ H = P ∩ H is a Sylow subgroup of H. It is left to the reader to
show every Sylow subgroup of H arises in this way. This can be extended to every subgroup
that is at the bottom of a chain of subgroups increasing up to G with each one normal in the
next. Such subgroups are called subnormal. (For example, in D4 the subgroup hsi satisfies
hsi C hs, r2 i C D4 , so hsi is subnormal in D4 but not normal in D4 .) The condition on a
subgroup H ⊂ G that P ∩ H is a Sylow subgroup of H for each Sylow subgroup P of G is
actually equivalent to H being subnormal. This was the Kegel–Wielandt conjecture, and
its proof [5] depends on the classification of finite simple groups.
We now show the inequality at the very end of Corollary 6.4 is true for all subgroups of
a finite group.
Theorem 6.5. Let G be a finite group and H be a subgroup. Choose a prime p. Distinct
p-Sylow subgroups of H do not lie in a common p-Sylow subgroup of G. In particular,
np (H) ≤ np (G).
Proof. Let Q and Q0 be distinct p-Sylow subgroups of H. If they lie in a common p-Sylow
subgroup of G then the group hQ, Q0 i is a p-group and it lies in H. However its size is too
large, since it is a p-subgroup of H that properly contains the p-Sylow subgroup Q.
If we associate to each p-Sylow subgroup of H a p-Sylow subgroup of G it lies inside of
(there is no canonical way to do this if we have choices available) then this correspondence
from Sylp (H) to Sylp (G) is one-to-one, so np (H) ≤ np (G).
Theorem 6.6. Let N C G. For every p-Sylow P of G, P N/N is a p-Sylow of G/N and all
p-Sylows of G/N arise in this way. In particular, np (G/N ) ≤ np (G).
Proof. First, we will show for every p-Sylow P of G that P N/N is a p-Sylow of G/N .
The group P N/N is a p-group (either because every element has p-power order or because
P N/N ∼= P/(P ∩ N )). Using the inclusions
G ⊃ P N ⊃ N, G ⊃ P N ⊃ P,
the first one shows [G/N : P N/N ] = [G : P N ] and the second one shows [G : P N ] 6≡
0 mod p. Therefore P N/N is a p-Sylow of G/N .
Now we show every p-Sylow of G/N has the form P N/N for some p-Sylow P of G.
Let Q ∈ Sylp (G/N ) and write Q = H/N for some subgroup H ⊂ G containing N . Then
[G : H] = [G/N : Q] 6≡ 0 mod p. Choose P ∈ Sylp (H), so P ∈ Sylp (G) too by the previous
12 KEITH CONRAD
4The same argument shows that every normal subgroup whose order is relatively prime to its index is the
only subgroup with its order.
CONSEQUENCES OF THE SYLOW THEOREMS 13
The proof of Theorem 9.2 required knowledge of the conjugacy classes in A5 . We now
prove A5 is simple using much less information: its size and that it has more than one
5-Sylow subgroup. (cf. Theorem 2.1). The result will apply to each group with the same
two properties. Our discussion is based on [1, pp. 145–146].
Theorem 9.3. If |G| = 60 and n5 > 1 then G is a simple group.
16 KEITH CONRAD
Proof. Assume G is not simple, so there is N C G with 1 < |N | < 60. That means
|N | ∈ {2, 3, 4, 5, 6, 10, 12, 15, 20, 30}.
We will get a contradiction. Our argument will use many of the previous consequences we
drew from the Sylow theorems (to groups of size 12, 15, 20, and 30).
First we show |N | is not divisible by 5. Assume 5 | |N |, so N contains a 5-Sylow subgroup,
which is also a 5-Sylow subgroup of G since 60 = 5 · 12. Because N C G, Sylow II shows
all the 5-Sylow subgroups of G lie in N . Let n5 be the number of 5-Sylows in G (which we
know are all subgroups of N ). Since n5 | 12 and n5 ≡ 1 mod 5, n5 = 1 or 6. Because n5 > 1
by hypothesis, n5 = 6. Therefore N contains six different subgroups of size 5. Counting
elements of N with orders 1 or 5, Lemma 5.3 says
|N | ≥ n5 · 4 + 1 = 25.
Since |N | is a proper factor of 60, |N | = 30. But then, by Theorem 5.9, N has only one
5-Sylow subgroup. This is a contradiction of n5 = 6, so |N | is not divisible by 5. This
means
|N | ∈ {2, 3, 4, 6, 12}.
If |N | equals 6 then Theorem 5.2 says N contains a normal 3-Sylow subgroup. If |N |
equals 12 then Theorem 5.4 says N contains a normal 2-Sylow or 3-Sylow subgroup. A
normal Sylow subgroup of N is a normal subgroup of G by Theorem 8.3. Because such
a normal subgroup of G has size 3 or 4, which is one of the possibilities already under
consideration for |N |, we are reduced to eliminating the possibility that |N | = 2, 3, or 4.
If |N | equals 2, 3, or 4, let G = G/N , so G is a group with size 30, 20, or 15. By Theorem
4.3, a group of size 15 is cyclic and thus has a normal 5-Sylow subgroup. By Theorem 5.1,
a group of size 20 has a normal 5-Sylow subgroup. By Theorem 5.9, a group of size 30 has
a normal 5-Sylow subgroup. Therefore in all cases G contains a normal 5-Sylow subgroup,
say P , with |P | = 5.
Consider the projection π : G → G. Set H = π −1 (P ). Since P C G, H C G. Since H 6= G,
H is a proper normal subgroup of G. Since π sends H onto P , |H| is divisible by 5. But
we showed earlier that G contains no proper normal subgroups of size divisible by 5.
Since all choices for |N | have been eliminated, there is no such N . Thus G is simple.
The next result shows that A5 is the only simple group of size 60, up to isomorphism.
(In total, there are 13 groups of size 60 up to isomorphism.) The proof will use Sylow III*.
Theorem 9.4. Every simple group of size 60 is isomorphic to A5 .
Proof. Let G be a simple group of size 60. To prove G is isomorphic to A5 , we will make
G act on a set of 5 objects and then show this action is given by the even permutations of
the 5 objects.
We seek an action on cosets. Suppose G has a subgroup H with [G : H] = 5 (i.e., |H| =
12), so the left multiplication action of G on the coset space G/H gives a homomorphism
ϕ : G → Sym(G/H) ∼ = S5 .
The kernel of ϕ is a normal subgroup of G, and therefore is trivial or is G since G is simple.
If g ∈ G is in the kernel of ϕ then gH = H, so g ∈ H. In particular, the kernel of ϕ is a
subgroup of H and therefore the kernel can’t be G. Thus the kernel of ϕ is trivial, so ϕ
is an embedding of G into S5 ; G is isomorphic to its image ϕ(G). In particular, ϕ(G) is a
simple group of size 60. Let’s prove this image is A5 .
CONSEQUENCES OF THE SYLOW THEOREMS 17
If ϕ(G) 6⊂ A5 then ϕ(G) contains an odd permutation. That means the sign homomor-
phism
sgn : ϕ(G) → {±1}
is surjective, so its kernel is a normal subgroup of ϕ(G) with index 2. However, ϕ(G) doesn’t
have such normal subgroups since it is simple. (Remember, ϕ gives an isomorphism of G
with ϕ(G).) We conclude that all elements of ϕ(G) have sign 1, so ϕ(G) ⊂ A5 . Both groups
have size 60, so ϕ(G) = A5 .
We have shown that if G has a subgroup H with index 5 then the left multiplication
action of G on the coset space G/H gives an isomorphism of G with A5 . The rest of the
proof is devoted to showing G has a subgroup with index 5.
Step 1: For each proper subgroup H ⊂ G, [G : H] ≥ 5. Thus |H| ≤ 12.
Let t = [G : H]. The left multiplication action of G on G/H gives a homomorphism
G → Sym(G/H) ∼ = St . Since H is a proper subgroup and G is simple, this homomorphism
has trivial kernel. (The reason follows as before, when we were only concerned with index
5 subgroups: the kernel is a subgroup of H and therefore is a proper normal subgroup of
G, which must be trivial since G is simple.) Therefore we have an embedding of G into St ,
so 60 | t!. This can happen only when t ≥ 5.
Step 2: G has a subgroup with index 5.
We use Sylow III for the primes 2, 3, and 5. They tell us that
n2 ∈ {1, 3, 5, 15}, n3 ∈ {1, 4, 10}, n5 ∈ {1, 6}.
Since G is simple, the nontrivial Sylow subgroups are not normal, so n2 , n3 , and n5 all
exceed 1. Moreover, because Sylow III* says each np is the index of a subgroup of G, Step
1 tells us n2 , n3 , n5 ≥ 5. Therefore
n2 ∈ {5, 15}, n3 = 10, n5 = 6.
If n2 = 5 then Sylow III* says there is a subgroup of G with index 5 and we’re done. What
should we do now: show the only other possibility, that n2 = 15, leads to a contradiction?
Instead we will show that if n2 = 15 then there is a second way to show G has a subgroup
with index 5.
Assume n2 = 15. By Lemma 5.3, G has n3 · 2 = 20 elements of order 3 and n5 · 4 = 24
elements of order 5. This is a total of 44 elements, which leaves at most 60 − 44 = 16
elements that can lie in the 2-Sylow subgroups of G. Each 2-Sylow subgroup of G has size
4 (and thus is abelian), so if n2 = 15 then we have 15 different subgroups of size 4 squeezed
into a 16-element subset of G. These 2-Sylow subgroups can’t all pairwise intersect trivially
(otherwise there would be 3·15 = 45 non-identity elements among them). Pick two different
2-Sylows, say P and Q, which intersect nontrivially. Let I = P ∩ Q. Both P and Q are
abelian (they have size 4), so I is normal in each. Therefore the normalizer of I in G
contains both P and Q, so it has size properly divisible by 4. The normalizer of I is not
all of G since G has no proper nontrivial normal subgroups. Since proper subgroups of G
have size 1, 2, 3, 4, 6, or 12, the normalizer of I has size 12 and thus [G : I] = 5.
Since n2 (A5 ) = 5, we know after the proof that the assumption n2 = 15 in the last
paragraph does not actually occur.
18 KEITH CONRAD
References
[1] D. Dummit and R. Foote, “Abstract Algebra,” 3rd ed., Wiley, 2004.
[2] M. Hall, On the Number of Sylow Subgroups in a Finite Group, J. Algebra 7 (1961), 363–371.
[3] I. Herstein, “Topics in Algebra,” 2nd ed., Wiley, 1975.
[4] N. Jacobson, “Basic Algebra I,” 2nd ed., W. H. Freeman & Co., New York, 1985
[5] P. B. Kleidman, A proof of the Kegel–Wielandt conjecture on subnormal subgroups, Ann. of Math. 133
(1991), 369–428.
[6] C. Leedham-Green, “The Structure of Groups of Prime Power Order,” Oxford Univ. Press, Oxford, 2002.
[7] D. J. S. Robinson, “A Course in the Theory of Groups,” Springer-Verlag, New York, 1982.
[8] W. R. Scott, “Group Theory,” Dover, New York, 1987.