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 an index to be different (namespace problem)

Thanks to Paolo
https://stacks.math.columbia.edu/tag/030I#comment-5878

Typos and clarification

Thanks to Keenan Kidwell
http://stacks.math.columbia.edu/tag/06RU#comment-734
http://stacks.math.columbia.edu/tag/01WS#comment-735
http://stacks.math.columbia.edu/tag/056N#comment-736
http://stacks.math.columbia.edu/tag/04KM#comment-738
http://stacks.math.columbia.edu/tag/030W#comment-740

Fix an error in proof lemma-make-separably-generated

Thanks to Keenan for pointing out the mistake and the fix.
http://stacks.math.columbia.edu/tag/030I#comment-406

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

Spell check: words starting with d, e, f, g, D, E, F, or G

Tags: added new tags

Varieties: Loos ends

	There is much more work to be done here. For example this
	commit adds the fact that if X is a variety over a field k then
	there exists a finite purely inseparable extension k' of k such
	that (X_{k'})_{red} is geometrically reduced -- and of course in
	actuality the result is slightly more general.

	There is a similar result regarding geometric irreducibility
	which we should add as well, and we can also think about the
	correct formulation of such a result for geometric connectivity.

	Also, in the section on unit groups we have not yet stated the
	consequence that if X is a variety over k and k is algebraically
	closed in k(X) then O(X)^*/k^* is a finitely generated abelian
	group. In particular, this gives the same result for
	geometrically integral varieties.