Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 05FQ

Go back to the tag's page.

type time link
changed the proof 2011-08-10 996a95d
LaTeX: fix colim

	Introduced the macro

	\def\colim{\mathop{\rm colim}\nolimits}

	and changed all the occurences of \text{colim} into \colim.
changed the proof 2010-11-24 516c79a
Bourbaki lemma in finite type case

	Finally!
assigned tag 05FQ 2010-10-23 ae2a311
Tags: Added new tags
created statement with label lemma-universally-injective-local in flat.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...