Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/ib/paper-1/9e/b/solution

Let act by conjugation on the Sylow -subgroups. The only fixed point is : if normalizes another , then is a -subgroup, forcing . For , a stabilizer element in normalizes , hence lies in by the same argument; the hypothesis then makes it trivial. Every nontrivial orbit therefore has size , so

New to topics? Read the docs here!