 Solution

ID: past-exam-of-the-mathematics-course-of-the-year-2-of-the-natural-sciences-course-of-the-university-of-cambridge/2024/paper-2/10/a/solution

Φ (g_{1} g_{2}) = Φ (g_{1}) Φ (g_{2}) for every g_{1}, g_{2} \in G .

It automatically sends the identity element to the identity and sends inverse elements to inverses. A group isomorphism is a bijective group homomorphism. For finite groups this requires equal group orders, and, once those orders agree, either injectivity or surjectivity of the group homomorphism is sufficient. Equal orders alone do not suffice.

 New to topics? Read the docs here!