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.