The Stacks project

Improve completion lemmas Noetherian ring case

Thanks to Vignesh
https://stacks.math.columbia.edu/tag/0BNH#comment-3389
https://stacks.math.columbia.edu/tag/0BNH#comment-3390

Typo in algebra

Thanks to Nicholas
https://stacks.math.columbia.edu/tag/00MA#comment-3294

Completion with respect to I

Thanks to Kestutis Cesnavicius
https://stacks.math.columbia.edu/tag/00MA#comment-2979

Fix 'the the ' occurences

Thanks to Burt Totaro

LaTeX: get rid of useless brackets

Fixing references, etc

	Fallout from moving stuff in the previous commit.

More on comlpetion and towards Nagata rings are universally Japanese

	modified:   algebra.tex

More stuff in algebra.tex:

	Integral closure is transitive
	Surjectivity of completion of surjective maps?
	Definition of I-adically complete modules
	Criterion as to when completion is complete
	Completion complete in Noetherian case
	Finiteness criterion (still not done)
	Residue field extension of map dvrs bounded
	Complete local ring with finitely generated maximal ideal is
		Noetherian
	Lemmas on Japanese property
	Starting to prove Tate's theorem on Japaneseness of complete
		rings

	modified:   algebra.tex

Started tags infrastructure

	new file:   scripts/add_tags.py
	modified:   scripts/functions.py
	new file:   tags/initial_tags
	new file:   tags/tags

More neurotic changes

Moved around local flatness criteria

	modified:   algebra.tex

	modified:   algebra.tex