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.

Neurotic changes

Two algebraicity results

	(1) The finite locally free morphisms of degree d form an
	algebraic stack called the finite Hilbert stack of the point,
	and
	(2) Res_{Z/B}(X) is an algebraic space whenever Z ---> B is
	finite locally free and X ---> Z is an algebraic space. This is
	actually a really trivial consequence of the fact that
		Mor_B(Z, X)
	is an algebraic space (see previous commit).

Hom-sheaf

	Our first result is that Mor_B(Z, X) is an algebraic space if Z
	is finite locally free over the base B.

Added two new chapters

	Of course these are virtually empty at this point. The idea of
	the chapter "criteria" is to put there the stuff which allows
	you to prove that a given stack in groupoids is an algebraic
	stack. The idea of the chapter "quot" is to put there existence
	results for Quot and Hilbert schemes/spaces.

Towards existence of finite Hilbert stacks

	Basically this lemma allows us to do \'etale localization in
	order to prove existence in ``good'' cases.