Lemma 76.8.3. Let $A$ be a ring. Let $u : M \to N$ be a map of $A$-modules. If $N$ is projective as an $A$-module, then there exists an ideal $I \subset A$ such that for any ring map $\varphi : A \to B$ the following are equivalent

1. $u \otimes 1 : M \otimes _ A B \to N \otimes _ A B$ is zero, and

2. $\varphi (I) = 0$.

Proof. As $N$ is projective we can find a projective $A$-module $C$ such that $F = N \oplus C$ is a free $R$-module. By replacing $u$ by $u \oplus 1 : F = M \oplus C \to N \oplus C$ we see that we may assume $N$ is free. In this case let $I$ be the ideal of $A$ generated by coefficients of all the elements of $\mathop{\mathrm{Im}}(u)$ with respect to some (fixed) basis of $N$. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).