Lemma 15.63.13. Let $A \to B$ be a flat ring map. Let $M$ be an $m$-pseudo-coherent (resp. pseudo-coherent) $A$-module. Then $M \otimes _ A B$ is an $m$-pseudo-coherent (resp. pseudo-coherent) $B$-module.

Proof. Immediate consequence of Lemma 15.63.12 and the fact that $M \otimes _ A^{\mathbf{L}} B = M \otimes _ A B$ because $B$ is flat over $A$. $\square$

There are also:

• 3 comment(s) on Section 15.63: Pseudo-coherent modules, I

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