Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/ib/paper-4/2g/b/solution

Take . Since is a normal subgroup, ; it has the same order as , so it is also a Sylow subgroup of . The conjugacy assertion in the Sylow theorems supplies such that
Consequently , and therefore
Thus , while the reverse inclusion is immediate because both factors are subgroups of . Hence

New to topics? Read the docs here!