Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0461

Go back to the tag's page.

type time link
changed the proof 2013-08-03 4f3d6a1
Spell check: words starting with a or A
changed the proof 2012-05-10 3f35f36
zerodivisor and nonzerodivisor

	Seems better this way.
changed the statement 2011-08-14 ca002a3
Whitespace changes
changed the proof 2011-08-10 65ce54f
LaTeX: \Spec

	Introduced the macro

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

	and changed all the occurences of \text{Spec} into \Spec.
changed the proof 2010-06-09 1224208
More variants of splitting lemma

	Sometimes you get affine schemes...
changed the proof 2010-05-28 0b3f3eb
Typos

	Thanks to David Rydh.
changed the statement and the proof 2010-05-25 ee6be04
More Groupoids: Split out slicing lemmas

	We split the argument in the proof of Bootstrap, Lemma Tag 0489
	into separated pieces and put them in More on Groupoids. This
	will let us recycle those pieces in the (far) future.
changed the statement and the proof 2010-05-24 9bce4ba
More on Groupoids: Slicing lemma fixed

	After a bit of a detour we have finally fixed the lemma.
changed the statement and the proof 2010-05-18 b317565
More Groupoids: Small changes
moved the statement to file more-groupoids.tex 2010-05-14 753a2b1
Groupoids: Put advanced material on groupoids in separated chapter

	We will rewrite the technical lemmas, the slicing lemma, and
	etale localization lemmas in order to fix errors and for
	clarity.
changed the proof 2010-05-14 753a2b1
Groupoids: Put advanced material on groupoids in separated chapter

	We will rewrite the technical lemmas, the slicing lemma, and
	etale localization lemmas in order to fix errors and for
	clarity.
changed the statement 2010-05-05 6d21a0c
Groupoids: Error in proof slicing lemma

	This causes another lemma in bootstrap to be wrong. The proof
	can likely be fixed by adding some hypotheses, but a better
	replacement may be found as well.
changed the proof 2010-01-30 68883e8
Algebra: Grothendieck's lemma for finite presentation case

	We added the non-Noetherian case of what we like to call
	Grothendieck's lemma. It says that if R --> S is a flat and
	essentially of finite presentation local map of local rings, and
	if f is in the maximal ideal such that f maps to a nonzero
	divisor on S/m_RS, then f is a nonzero divisor on S and S/fS is
	flat over R.

	There is also a more general statement for modules.

	See EGA IV 11.3.7.

	For some reason we did not have this version of Grothendieck's
	lemma and it may be that some of the arguments in the algebra
	chapter may be simplified by using this lemma.
assigned tag 0461 2010-01-29 49580f9
Tags: added new tags
created statement with label lemma-slice in groupoids.tex 2010-01-27 2fd9732
Groupoid schemes: slicing lemma

	Here is the lemma promised in commit
	79c56068dee8636e2ae061dd70e3af6d8f9bd30d. The proof is really
	straightforward once you formulate it in the setting where you
	already know that s,t are Cohen-Macaulay.