Lemma 15.58.5. Let $R \to R'$ be a ring map. If $K^\bullet$ is a K-flat complex of $R$-modules, then $K^\bullet \otimes _ R R'$ is a K-flat complex of $R'$-modules.

Proof. Follows from the definitions and the fact that $(K^\bullet \otimes _ R R') \otimes _{R'} L^\bullet = K^\bullet \otimes _ R L^\bullet$ for any complex $L^\bullet$ of $R'$-modules. $\square$

There are also:

• 4 comment(s) on Section 15.58: Derived tensor product

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