Solution

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

For , the third Sylow theorem gives and , so or . In the first case the Sylow -subgroup is unique.
If , conjugation acts transitively on the four Sylow -subgroups. Each normalizer has order and is the subgroup it normalizes. The action kernel lies in every such subgroup, whose intersection is trivial, so embeds in . Its image has order and hence index two. The unique index-two subgroup of is , so

New to topics? Read the docs here!