Lemma 10.38.11 (Equational criterion of flatness). A module $M$ over $R$ is flat if and only if every relation in $M$ is trivial.

**Proof.**
Assume $M$ is flat and let $\sum f_ i x_ i = 0$ be a relation in $M$. Let $I = (f_1, \ldots , f_ n)$, and let $K = \mathop{\mathrm{Ker}}(R^ n \to I, (a_1, \ldots , a_ n) \mapsto \sum _ i a_ i f_ i)$. So we have the short exact sequence $0 \to K \to R^ n \to I \to 0$. Then $\sum f_ i \otimes x_ i$ is an element of $I \otimes _ R M$ which maps to zero in $R \otimes _ R M = M$. By flatness $\sum f_ i \otimes x_ i$ is zero in $I \otimes _ R M$. Thus there exists an element of $K \otimes _ R M$ mapping to $\sum e_ i \otimes x_ i \in R^ n \otimes _ R M$ where $e_ i$ is the $i$th basis element of $R^ n$. Write this element as $\sum k_ j \otimes y_ j$ and then write the image of $k_ j$ in $R^ n$ as $\sum a_{ij} e_ i$ to get the result.

Assume every relation is trivial, let $I$ be a finitely generated ideal, and let $x = \sum f_ i \otimes x_ i$ be an element of $I \otimes _ R M$ mapping to zero in $R \otimes _ R M = M$. This just means exactly that $\sum f_ i x_ i$ is a relation in $M$. And the fact that it is trivial implies easily that $x$ is zero, because

## Post a comment

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 toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (4)

Comment #1936 by Matthieu Romagny on

Comment #1994 by Johan on

Comment #2459 by Oliver Eivind Anderson on

Comment #2460 by Johan on

There are also: