Is a surjective linear operator on $\mathbb{Z}^n$ always bijective?

Question

For the simple case of $n=1$, this is pretty easy since if $\phi\in Hom(\mathbb{Z})$ is surjective then $\exists z \in \mathbb{Z}$ such that $\phi(z)=1$, since $\phi$ is linear we can factor $\phi(z(1))=z\phi(1)=1$. Since $\phi$ must map $1$ to some integer, $z$ can only be $\pm1$ and thus $\phi$ is injective and therefore bijective. Can I generalize this argument?

Answer 1

If $\phi\colon\mathbb Z^n\to \mathbb Z^n$ is surjective, then $\phi(e_1),\ldots,\phi(e_n)$ must span $\mathbb Z^n$. So the rank of the corresponding matrix must be $n$. Then, by the rank-nullity formula, it has to have zero kernel, meaning it is injective.