Paper 1, Section II, G

Groups, Rings and Modules
Part IB, 2012

Let GG be a finite group. What is a Sylow pp-subgroup of GG ?

Assuming that a Sylow pp-subgroup HH exists, and that the number of conjugates of HH is congruent to 1modp1 \bmod p, prove that all Sylow pp-subgroups are conjugate. If npn_{p} denotes the number of Sylow pp-subgroups, deduce that

np1modp and npGn_{p} \equiv 1 \quad \bmod p \quad \text { and } \quad n_{p}|| G \mid

If furthermore GG is simple prove that either G=HG=H or

Gnp ! |G| \mid n_{p} \text { ! }

Deduce that a group of order 1,000,0001,000,000 cannot be simple.