Lemma 10.39.6. Let $\{ R_ i, \varphi _{ii'}\}$ be a system of rings over the directed set $I$. Let $R = \mathop{\mathrm{colim}}\nolimits _ i R_ i$. Let $M$ be an $R$-module such that $M$ is flat as an $R_ i$-module for all $i$. Then $M$ is flat as an $R$-module.

Proof. Let $\mathfrak a \subset R$ be a finitely generated ideal. By Lemma 10.39.5 it suffices to show that $\mathfrak a \otimes _ R M \to M$ is injective. We can find an $i \in I$ and a finitely generated ideal $\mathfrak a' \subset R_ i$ such that $\mathfrak a = \mathfrak a'R$. Then $\mathfrak a = \mathop{\mathrm{colim}}\nolimits _{i' \geq i} \mathfrak a'R_{i'}$. Hence the map $\mathfrak a \otimes _ R M \to M$ is the colimit of the maps

$\mathfrak a'R_{i'} \otimes _{R_{i'}} M \longrightarrow M$

which are all injective by assumption. Since $\otimes$ commutes with colimits and since colimits over $I$ are exact by Lemma 10.8.8 we win. $\square$

There are also:

• 1 comment(s) on Section 10.39: Flat modules and flat ring maps

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