If $A$ is a noetherian ring, then a ring homomorphism $f: A \to A$ is surjective iff it is an isomorphism. (see the accepted answer of this [question][1]) [1]: https://mathoverflow.net/questions/71185/a-proof-for-a-statement-about-polynomial-automorphism