Paper 1, Section II, G
Part IB, 2012
Let be a finite group. What is a Sylow -subgroup of ?
Assuming that a Sylow -subgroup exists, and that the number of conjugates of is congruent to , prove that all Sylow -subgroups are conjugate. If denotes the number of Sylow -subgroups, deduce that
If furthermore is simple prove that either or
Deduce that a group of order cannot be simple.