Solution

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

If all distinct Sylow 2-subgroups met trivially, part (b) would give . But Sylow gives and odd, so after excluding normality, none congruent to one modulo eight. Thus some distinct pair has nontrivial intersection. That intersection is a nontrivial finite 2-group, so Cauchy's theorem supplies an element of order two.

New to topics? Read the docs here!