The Stacks project

Simplify proof key lemma in chow

Large set of changes in order to simplify the proof of the key lemma
used in proofs of properties for intersecting with effective Cartier
divisors and capping with c_1 of invertible modules.

Probably the original proof was a bit too original. It is still there
in an appendix, but the current proof can be read within an hour by
those familiar with standard (Noetherian) commutative algebra. The
original proof required checking commutativity of many diagrams and
checking many signs.

We also added more explanation of what is happening in the introduction
as well as a comment on Milnor K-theory giving the reference to Kato's
paper and how it is more general.

LaTeX

Added a new macro

\def\Im{\text{Im}}

and replaced all occurrences of \text{Im} by \Im

LaTeX

Introduced a macro

\def\Ker{\text{Ker}}

and replace all occurrences of \text{Ker} with \Ker

Fixes for XyJax

Some of the errors are fixed by just rearranging the order of things

Whitespace changes

Whitespace changes

New tags added to the project

	modified:   tags/tags

Bunch of things to stop parse.py from complaining:
	Moved Divisors to after Coherent
	Moved associated/embedded points to Divisors
	Changed reference in Chow to point to new version of
	characterization finite in Coherent
	Fixed some errors and omissions
	Added more useable lemmas on quasi-finite maps

	modified:   Makefile
	modified:   browse.html
	modified:   chapters.tex
	modified:   chow.tex
	modified:   coherent.tex
	modified:   divisors.tex
	modified:   more-morphisms.tex
	modified:   morphisms.tex
	modified:   preamble.tex
	modified:   tags/Makefile

First version of the result that K-groups compute chow groups

	modified:   chow.tex

Changed notation for symbols to make it less confusing hopefully

	modified:   chow.tex

Proved the key lemma and added the comparison between length and
determinants for (2, 1)-periodic complexes

	modified:   chow.tex