Lemma 59.16.4. If $A \to B$ is faithfully flat and $M$ is an $A$-module, then the complex $(B/A)_\bullet \otimes _ A M$ is exact in positive degrees, and $H^0((B/A)_\bullet \otimes _ A M) = M$.

Proof. See Descent, Lemma 35.3.6. $\square$

There are also:

• 2 comment(s) on Section 59.16: Faithfully flat descent

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