The Stacks project

Patch for algebra.tex by Dario Weissmann

Thanks to Dario Weissmann
Lightly edited by Johan de Jong

Fix indices and improve a lemma

Thanks to David Savitt
http://stacks.math.columbia.edu/tag/00H6#comment-2182

Small fixes in algebra.tex

Continuing adding material to algebra.tex:

	Power series ring over a Noetherian ring is Noetherian
	Integral closure commutes with localization
	Completions of Noetherian rings are Noetherian
	Taking modules of differentials commutes with colimits
	Better characterization of formally smooth ring maps
	Short exact sequence of modules differentials associated to
		formally smooth ring map
	Formal smoothness lifts along small deformations
	Bunch of lemmas with goal to characterize separable field
		extensions as formally smooth field extensions
	Cohen rings are formally smooth
	Proof of Cohen structure theorem

	modified:   algebra.tex
	modified:   spaces.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

Small changes to section on integral ring extensions

	modified:   algebra.tex

	modified:   algebra.tex
	modified:   my.bib