Prove or disprove that a surjective homomorphism from a finitely generated abelian group to itself is an isomorphism.

The best solution was submitted by 김유일 (2020학번). Congratulations!

Here is his solution of problem 2020-17.

A different solution was submitted by 박은아 (수리과학과 2015학번, +3).