Suppose and are Abelian groups and is a group homomorphism. Suppose that there exists another group homomorphism such that . Prove that is isomorphic to for some other group .

Hint: Set (note that is injective, so viewing as a subgroup of is essentially harmless).

This was an extra credit question on my last exam. I just want to know what the proof is.