Remark 15.90.21. In it is assumed that $f$ is a nonzerodivisor in $R$ and $R' = R^\wedge$, which gives a glueing pair by Lemma 15.90.7. Even in this setting Theorem 15.90.17 says something new: the results of only apply to modules on which $f$ is a nonzerodivisor (and hence glueable in our sense, see Lemma 15.90.11). Lemma 15.90.20 also provides a slight extension of the results of : not only can we allow $M$ to have nonzero $f$-power torsion, we do not even require it to be glueable.

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