## Tag `05CK`

Chapter 10: Commutative Algebra > Section 10.81: Universally injective module maps

Lemma 10.81.11. Let $R \to S$ be a faithfully flat ring map. Then $R \to S$ is universally injective as a map of $R$-modules. In particular $R \cap IS = I$ for any ideal $I \subset R$.

Proof.Let $N$ be an $R$-module. We have to show that $N \to N \otimes_R S$ is injective. As $S$ is faithfully flat as an $R$-module, it suffices to prove this after tensoring with $S$. Hence it suffices to show that $N \otimes_R S \to N \otimes_R S \otimes_R S$, $n \otimes s \mapsto n \otimes 1 \otimes s$ is injective. This is true because there is a section, namely, $n \otimes s \otimes s' \mapsto n \otimes ss'$. $\square$

The code snippet corresponding to this tag is a part of the file `algebra.tex` and is located in lines 19054–19059 (see updates for more information).

```
\begin{lemma}
\label{lemma-faithfully-flat-universally-injective}
Let $R \to S$ be a faithfully flat ring map.
Then $R \to S$ is universally injective as a map of $R$-modules.
In particular $R \cap IS = I$ for any ideal $I \subset R$.
\end{lemma}
\begin{proof}
Let $N$ be an $R$-module. We have to show that $N \to N \otimes_R S$ is
injective. As $S$ is faithfully flat as an $R$-module, it suffices to prove
this after tensoring with $S$. Hence it suffices to show that
$N \otimes_R S \to N \otimes_R S \otimes_R S$,
$n \otimes s \mapsto n \otimes 1 \otimes s$ is injective. This is true
because there is a section, namely,
$n \otimes s \otimes s' \mapsto n \otimes ss'$.
\end{proof}
```

## Comments (3)

## Add a comment on tag `05CK`

Your email address will not be published. Required fields are marked.

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 lower-right corner).

All contributions are licensed under the GNU Free Documentation License.

There are also 2 comments on Section 10.81: Commutative Algebra.