Sylow Theorems
Sylow's theorems on subgroups of prime-power order, proved via the class equation and used to pin down how many subgroups of each order a finite group must contain.
17 exercises
Exercise 1
Find a Sylow 2-subgroup of .
Exercise 2
Find all primes such that is non-empty.
Exercise 3
Let be a group and . Prove that for any .
Exercise 4
Let be a group and . Prove that .
Exercise 5
Let be a group and be a non-empty subset of . Prove that is a subgroup of .
Exercise 6
Let be a finite group, be a prime number, and and be distinct Sylow -subgroups of . Prove that .
Exercise 7
Let be a group of order 784. Let be a Sylow 7-subgroup that is not a normal subgroup of . Find the order of .
Exercise 8
Show that any group of order is non-simple.
Problem 1
Show that a group of order 200 has a normal Sylow 5-subgroup.
Problem 2
Show that any Sylow -subgroup of a group of order 33 must be normal.
Problem 3
A perfect number is a positive integer that is equal to the sum of its positive divisors, excluding the number itself. All even perfect numbers are of the form where both and are primes. Prove that any group with an even perfect number order is not simple.
Problem 4
Let and be primes such that . Let be a group of order .
-
Prove that there is only one subgroup of of order . Deduce that .
-
Prove also that if then is cyclic.
Problem 5
Let be a finite group, and write the order of as where , , and is a prime such that . Let such that does not divide the index of in . Prove that contains all Sylow -subgroups of and vice versa. That is,
-
prove that any Sylow -subgroup of is also in ; and
-
prove that any Sylow -subgroup of is also in .
Problem 6
Show that any group of order 3325 is abelian.
Problem 7
Let be a finite group such that where , , and a prime such that . Prove that if then is non-simple.
Problem 8
Prove that a group of order 30 has a normal subgroup of order 5.
Problem 9
Let , and be distinct primes such that . Let be a group of order . Prove that is non-simple.(Hint: show that a normal subgroup of order , , or must exist.)
Adapted from A Complete Introduction to Abstract Algebra © 2022–2026 Kan Onn Kit. Licensed under CC BY-SA 4.0. Source: A Complete Introduction to Abstract Algebra. Imported at revision a559e8b.