The Stacks project

Spec(A) - V(I) is Jacobson sometimes

Namely if A is Noetherian and (A, I) is a Zariski pair which means that
I is contained in the Jacobson radical of A

New macro: \NL for naive cotangent complex

The naive cotangent complex is an important ingredient to several
topics discussed in the Stacks project. It deserves its own macro.

Clarify proof Elkik's lemma

	Now we use a result of the chapter "More on Algebra" so we have
	to move the chapter "Smoothing Ring Maps" later. Since we expect
	to use restriction of scalars (which really should be explained
	in the context of schemes) we'll have to move it after some of
	the chapters on schemes. We'll do this later (so temporarily
	there is a forward reference in the stacks project).

Relationship geometric regularity and L

	Faltings argument + more. To be added later: Relationship with
	formal smoothness (for topological rings.

TAGS: added new tags

Field extension is colimit of CI

	CI = Complete Intersection

Local complete intersection maps

	This should have been added a while ago. It still is rather
	cumbersome to talk about these maps as one has to repeatedly
	verify things on the level of presentations.

	Also: Six term sequence becomes exact...