The Stacks project

Clarify argument

Thanks to GGTTTTLL
https://stacks.math.columbia.edu/tag/02NV#comment-5084

LaTeX: \Spec

	Introduced the macro

	\def\Spec{\mathop{\rm Spec}}

	and changed all the occurences of \text{Spec} into \Spec.

Morphisms: Structure of finite maps

	A finite map of affine schemes becomes, after a finite locally
	free base change, the composition of a closed immersion by a
	morphism Y --> X where Y is a union of closed subschemes mapping
	isomorphically to X. We use this to show that a nowhere dense
	set is mapped to a nowhere dense set by a finite morphism.

	We also add an example that shows that a non-quasi-separated
	quasi-finite morphism does not become finite after localizing
	around a generic point of the target.

Morphisms: Two simple lemmas on normalization

	Namely, normalization behaves well with respect to disjoint
	unions. And if Y is integral over X then the normalization of X
	in Y is just Y.

	Also, small changes in section on algebraic version of Zariski's
	main theorem.

	modified:   morphisms.tex

New tags added to the project

	modified:   tags/tags

Filling in the proofs in chow.tex, continued

	modified:   algebra.tex
	modified:   chow.tex
	modified:   morphisms.tex

Filling in the proofs in chow.tex, continued

	modified:   algebra.tex
	modified:   chow.tex
	modified:   morphisms.tex

Filling in the proofs in chow.tex

	modified:   chow.tex
	modified:   coherent.tex