Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2004/iii/paper-2/1/b/solution

Put and choose a Sylow subgroup of . Since is normal, the Frattini argument gives : for , the Sylow subgroups and of are conjugate by an element of , leaving an element of . The non-generator property of the Frattini subgroup proved above forces . Thus every Sylow subgroup of is normal. Distinct such Sylow subgroups commute because their group commutators lie in their trivial intersection. Hence is a nilpotent normal subgroup, and

New to topics? Read the docs here!