Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 05F2

Go back to the tag's page.

type time link
changed the proof 2016-05-05 6243da5
Fix a typo

Thanks to Alex St\"abler
http://stacks.math.columbia.edu/tag/05AU#comment-1978
changed the proof 2013-08-03 badd58f
Spell check: words starting with b, c, B, or C
changed the label to lemma-relative-weak-assassin-assassin-finite-type 2011-01-05 61c5a62
Criterion for purity
changed the statement 2011-01-05 61c5a62
Criterion for purity
assigned tag 05F2 2010-10-23 ae2a311
Tags: Added new tags
created statement with label lemma-relative-weak-assasin-assassin-finite-type in divisors.tex 2010-10-20 7f432aa
Explain purity

	We added the following fun lemma: Suppose R ---> S is a ring map
	with R local and M an R-module. Assume that
		S/m_RS is Noetherian
		M/m_RM is finite over S/m_RS
		M is projective as an R-module
	Then any prime q of S which is an associated prime of M \otimes
	k(p) where p = q \cap R is contained in a prime of S lying over
	m_R. This lemma in some sense explains the notion of purity
	introduced in Raynaud-Gruson...