History of tag 046Z
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2012-05-10 |
3f35f36 |
zerodivisor and nonzerodivisor
Seems better this way.
|
|
assigned tag 046Z
|
2010-02-20 |
677b58a
|
Tags: Added new tags
|
|
created statement with label lemma-grothendieck-general in algebra.tex
|
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.
|