Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/ib/paper-1/10g/b/solution

Proceed by induction on . If , Cauchy's theorem for finite groups gives a central subgroup of order . By induction has a subgroup of order ; its inverse image in has order .
If , the class equation shows that some noncentral conjugacy class has size not divisible by . For a representative , its class size is , so . This centralizer is proper because is noncentral, and induction gives it, hence , a subgroup of order . This proves Sylow's first theorem.

New to topics? Read the docs here!