2020-17 Endomorphisms of abelian groups Prove or disprove that a surjective homomorphism from a finitely generated abelian group to itself is an isomorphism.