The Stacks project

A mild modification to Beauville-Laslo

Thanks to Kestutis Cesnavicus who writes:
------------------

I attach a minor edit to the section https://stacks.math.columbia.edu/tag/0BNI
on the Beauville--Laszlo theorem --- could you include it in the
Stacks Project? The goal is to generalize the section to more general maps
R ---> R', not just those that arise from the f-adic completion. This makes
this material better suited for an eventual nonaffine statement.

I tried to be careful, hopefully I did not introduce any errors. The same
proofs worked in the more general situation with only cosmetic changes
(I went through the arguments in detail).

Typos and improvements in Beauville-Lazlo

Thanks to Kiran Kedlaya

Tags: Added new tags

Edits to material on Beauville-Laszlo

Edits to material on Beauville-Laszlo

Beauville-Laszlo

Thanks to Kiran Kedlaya who writes:

"Here's the thing I typed up generalizing the Beauville-Laszlo theorem,
optimally weakening the conditions on the base ring, the element with
respect to which the ring is completed, and the module over that ring.
If you want this for the stacks project, it's yours; I have no other use
for it..."