The Stacks project

Make scripts happy

Fix a proof in Beauville-Laslzo section

Thanks to Anne
https://stacks.math.columbia.edu/tag/0BP2#comment-8685
https://stacks.math.columbia.edu/tag/0BP2#comment-8704

Fix typo in more-algebra

Thanks to Takagi Benseki（高城 辨積)
https://stacks.math.columbia.edu/tag/0BP2#comment-5480

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

Remove superfluous word

Also a change to try and get xyjax to parse diagram

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