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.

Fix references to point to the results moved to fields.tex

A bit more about Galois theory

We've so far considered all field theory to be part of the basic
requisites for the Stacks project. But we could have a bit more
detail in the presentation of this material.

Added new tags

	modified:   tags/tags

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