Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2008/ia/paper-3/5e/ii/solution

Assume for a group homomorphism . For and ,
Thus . Apply the same inclusion with to obtain the reverse inclusion, giving . Hence every kernel is a normal subgroup, proving the reverse implication and the required equivalence.

New to topics? Read the docs here!