History of tag 05DJ
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2011-06-04 |
9f62ac2 |
Small change
It is debatable whethere this commit improves anything at all...
|
|
assigned tag 05DJ
|
2010-10-07 |
84ec8c5
|
Tags: Added new tags
|
|
changed the statement and 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.
|
|
changed the statement and the proof
|
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-completed-direct-sum-ML in algebra.tex
|
2010-09-26 |
b587689 |
Completion and ML
|