Lemma 15.90.15. Let $(R \to R',f)$ be a glueing pair. Then $\text{Tor}^ R_1(R', R/R[f^\infty ]) = 0$.

Proof. We have $R/R[f^\infty ] = \mathop{\mathrm{colim}}\nolimits R/R[f^ n] = \mathop{\mathrm{colim}}\nolimits f^ nR$. As formation of Tor groups commutes with filtered colimits (Algebra, Lemma 10.76.2) we may apply Lemma 15.90.14. $\square$

There are also:

• 4 comment(s) on Section 15.90: The Beauville-Laszlo theorem

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