Is Orzech's generalization of the surjective-endomorphism-is-injective theorem correct?
Let $A$ be a commutative ring. Let $M$ be a finitely generated $A$-module and $N$ be an $A$-submodule of $M$. Let $f\colon N \rightarrow M$ be a surjective homomorphism of $A$-modules. Then $f$ is injective.
Proof. Let $0 \neq x'_0 \in N$. It suffices to prove $f(x'_0) \neq 0$. Set $f(x'_0) = x_0$.
Let $x_1, \dots, x_n$ be generators for $M$. Then $x'_0=\sum_{i=1}^na'_ix_i$ and $x_0=\sum_{i=1}^na_ix_i$.
Let $x'_i\in N$ such that $f(x'_i) = x_i$ and write $x'_i = \sum_{j = 1}^{n} a_{ij} x_j$.
Let $A' = \mathbb{Z}[a_{ij}, a_{i}, a'_i]$. $A'$ is a Noetherian subring of $A$.
Let $N' = A'x'_0 + A'x'_1 + \cdots + A'x'_n$, $M' = A'x_1 + \cdots + A'x_n$, and $f':N'\to M'$ defined in an obvious way.
user26857's answer shows how to repair the reduction to the Noetherian case. Here is how to repair the proof of the Noetherian case:
Let $M$ be a noetherian $A$-module and let $N \subseteq M$ be a submodule. Let $f : N \to M$ be a surjective linear map. Then $f$ is injective.
Proof: Let $n \geq 0$. Although $f^n$ is not a well-defined homomorphism this is a partial homomorphism, defined on the submodule $D_n = N \cap f^{-1}(N) \cap f^{-1}(f^{-1}(N)) \cap \dotsc \cap f^{-1}(f^{-1}(\dotsc))$ (intersection of $n$ submodules). Let $K_n \subseteq D_n$ be the kernel of $f^n$. Then $K_n \subseteq K_{n+1}$ for all $n$. Since $M$ is noetherian, there is some $n$ such that $K_n = K_{n+1}$. Let $x \in N$ with $f(x)=0$. Since $f$ is surjective, the same is true for $f^n : D_n \to M$. Choose some $y \in D_n$ with $x = f^n(y)$. Then $y \in D_{n+1}$ and actually $f^{n+1}(y)=0$, so that $x=f^n(y)=0$.
I have now found A constructive proof of Orzech's theorem, which relies on the Cayley-Hamilton theorem.