Lemma 77.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
$u \otimes 1 : M \otimes _ A B \to N \otimes _ A B$ is zero, and
$\varphi (I) = 0$.
Comments (0)