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.
|