Lemma 10.89.6. Let $M$ be a flat Mittag-Leffler module over $R$. Let $F$ be an $R$-module and let $x \in F \otimes _ R M$. Then there exists a smallest submodule $F' \subset F$ such that $x \in F' \otimes _ R M$. Also, $F'$ is a finite $R$-module.

**Proof.**
Since $M$ is flat we have $F' \otimes _ R M \subset F \otimes _ R M$ if $F' \subset F$ is a submodule, hence the statement makes sense. Let $I = \{ F' \subset F \mid x \in F' \otimes _ R M\} $ and for $i \in I$ denote $F_ i \subset F$ the corresponding submodule. Then $x$ maps to zero under the map

whence by Proposition 10.89.5 $x$ maps to zero under the map

Since $M$ is flat the kernel of this arrow is $(\bigcap F_ i) \otimes _ R M$ which proves that $F' = \bigcap F_ i$. To see that $F'$ is a finite module, suppose that $x = \sum _{j = 1, \ldots , m} f_ j \otimes m_ j$ with $f_ j \in F'$ and $m_ j \in M$. Then $x \in F'' \otimes _ R M$ where $F'' \subset F'$ is the submodule generated by $f_1, \ldots , f_ m$. Of course then $F'' = F'$ and we conclude the final statement holds. $\square$

## 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 (2)

Comment #8086 by Laurent Moret-Bailly on

Comment #8203 by Stacks Project on

There are also: