The Stacks project

chern -> Chern and noetherian -> Noetherian

Thanks to Lor Gro
https://stacks.math.columbia.edu/tag/0FWC#comment-5372

Elkik's algebraization in general

This large set of changes finally gives a ``good'' proof of Elkik's
algebraization of rig-etale algebras. Note the fun lemma descending
a given deformation through an \'etale map which is an isomorphism
along the non-\'etale locus!

pell check: words starting with n, o, p, q, r, N, O, P, Q, or R

\text{Mod}(R) ---> \text{Mod}_R and similar

Whitespace changes

Tags: Added new tags

Formal glueing

	Bhargav Bhatt submitted a write up on formal glueing that I
	edited to make it fit better with the stacks project. The
	statement implies for example the following: Suppose that C is a
	smooth curve over a field k and p a closed point of C. Then
	vector bundles over C are the same thing as triples (E, E', phi)
	where E is a vector bundle on C - {p}, E' is a vector bundle on
	the formal completion of C at p, and phi is an isomorphism
	between E and E' over the punctured formal completion of C at
	p. This is sometimes a good way to think about vector bundles
	(e.g. because the vectorbundle E is trivial if it has trivial
	determinant).

	Adding this caused me to start a new chapter on algebra called
	"More on Algebra". If you have a less prosaic title, then drop
	me an email.