The Stacks project

Try to use L/K notation for field extensions

We could also try to consistenly use "field extension" and not just
"extension" and consistently use "ring extension", etc.

Explain why maps are surjective

Often used statement: A ---> B map of Noetherian complete local
rings such that m_A B = m_B and iso on residue fields, then this
map is surjective.

Cosmetic change

	Given a named theorem, such as Chevalley's theorem, we now code
	this as

	\begin{theorem}[Chevalley's theorem]
	\label{theorem-chevalley}

	and not as

	\begin{theorem}
	\label{theorem-chevalley}
	(Chevalley's Theorem.)

Whitespace changes

First macro of the project

	This gets rid of all the \nolimits commands following \lim by
	defining

	\def\lim{\mathop{\rm lim}\nolimits}

	in the file preamble.tex. As far as I can tell this is
	equivalent to \lim\nolimits where \lim is the internal command
	of TeX. The dvi files produced before and after this commit are
	identical.

Added new tags

	modified:   tags/tags

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

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

Starting to write more algebra:
	Transcendence degree of field extensions
	Separability of field extensions
	Modified section on base change of algebras over fields
	Formal smoothness for extensions of fields
	Cohen rings
	Cohen structure theorem
	Nagata rings
	Japanese rings
	Ascent of normality

	modified:   algebra.tex