Lemma 38.7.2. Assumption and notation as in Lemma 38.7.1. Assume moreover that
$S$ is local and $R \to S$ is a local homomorphism,
$S$ is essentially of finite presentation over $R$,
$N$ is finitely presented over $S$, and
$N$ is flat over $R$.
Then each $s \in \Sigma $ defines a universally injective $R$-module map $s : N \to N$, and the map $N \to \Sigma ^{-1}N$ is $R$-universally injective.
Comments (0)