History of tag 05D0
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2011-08-13 |
4ea0b65 |
Whitespace changes
|
|
changed the proof
|
2011-08-13 |
a2054b4 |
LaTeX: get rid of useless brackets
|
|
assigned tag 05D0
|
2010-10-07 |
84ec8c5
|
Tags: Added new tags
|
|
changed the label to lemma-product-over-Noetherian-ring
|
2010-09-27 |
a44efb0 |
Completion and Mittag-Leffler
The result here is that if we have a ring map R ---> S, an
S-module M, and an ideal I of R then, under some assumptions,
the completion of M wrt I is a Mittag-Leffler module. The
assumptions are that R is Noetherian and complete wrt I, R --->
S is finite type, M is finite over S and a flat R-module such
that M/IM is projective as a R/I-module.
Question: Can we drop the assumption that M be flat?
In order to prove the result we add some lemmas on lift of
projectivity and splitting sequences after completion.
|
|
changed the statement
|
2010-09-27 |
a44efb0 |
Completion and Mittag-Leffler
The result here is that if we have a ring map R ---> S, an
S-module M, and an ideal I of R then, under some assumptions,
the completion of M wrt I is a Mittag-Leffler module. The
assumptions are that R is Noetherian and complete wrt I, R --->
S is finite type, M is finite over S and a flat R-module such
that M/IM is projective as a R/I-module.
Question: Can we drop the assumption that M be flat?
In order to prove the result we add some lemmas on lift of
projectivity and splitting sequences after completion.
|
|
created statement with label lemma-product-over-coherent-ring in algebra.tex
|
2010-09-26 |
f37816e |
Direct products of Noetherian rings are ML
Tiny generalization of previous result.
|