History of tag 05DK
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2010-12-04 |
262ac78 |
Simplification
Remove unnecessary hypothesis.
|
|
assigned tag 05DK
|
2010-10-07 |
84ec8c5
|
Tags: Added new tags
|
|
changed the proof
|
2010-10-06 |
3b0820b |
Fixing references, etc
Fallout from moving stuff in the previous commit.
|
|
moved the statement to file flat.tex
|
2010-10-06 |
2c89739 |
Moving results
Moved some esoteric results on Mittag-Leffler modules and
completion into flat.tex apart from a result on lifting
projective modules which I put into a section on projective
modules.
|
|
created statement with label lemma-lift-ML in algebra.tex
|
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.
|