Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/ib/paper-2/11e/iii/solution

Relabel the two primes so that . By the Sylow theorems, the number of Sylow -subgroups divides , so it is either or . But and , ruling out . Thus there is a unique Sylow subgroup of order , which is a normal subgroup. It is nontrivial and proper because . Consequently no group of order is simple. No additional assumption on divisibility of by is required.

New to topics? Read the docs here!