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.

Assume ideal nonzero in algebra

Thanks to Aaron Landesman
http://stacks.math.columbia.edu/tag/00PG#comment-2596

Glueing dimension 1 rings

Can anybody prove this kind of thing without Krull-Akizuki?

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.)

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

Done with first pass over Krull-Akizuki

	modified:   algebra.tex
	modified:   my.bib