History of tag 090S
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 090S
|
2013-06-11 |
855db3b
|
Tags: Added new tags
|
|
moved the statement to file algebra.tex
|
2013-05-14 |
0ee24a6 |
Lemmas about completion
Does the second lemma also hold if I is not finitely generated?
Please email if you know.
|
|
changed the proof
|
2013-05-14 |
0ee24a6 |
Lemmas about completion
Does the second lemma also hold if I is not finitely generated?
Please email if you know.
|
|
created statement with label lemma-when-surjective-to-completion in more-algebra.tex
|
2013-05-14 |
5027993 |
Initial material on derived completion over rings
Todo: How does this compare with the "obvious" definition
that the map
M ---> \lim (M \otimes_A^L A/I^n)
be an isomorphism.
|