History of tag 0921
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2021-07-13 |
e23bc90 |
Fix application Artin-Rees
Thanks to Owen
https://stacks.math.columbia.edu/tag/0921#comment-6235
|
|
changed the statement and the proof
|
2020-09-17 |
96c53f7 |
Powers of an ideal in D(A) is related to Koszul
Of course only in the Noetherian case. Also improved the proof of the
corresponding statement about A/I^n...
|
|
changed the statement
|
2015-07-09 |
cf91846 |
Rearrange material on derived completion
|
|
changed the proof
|
2013-12-22 |
19733a9 |
LaTeX
Added a new macro
\def\Im{\text{Im}}
and replaced all occurrences of \text{Im} by \Im
|
|
changed the proof
|
2013-12-22 |
e179438 |
LaTeX
Introduced a macro
\def\Ker{\text{Ker}}
and replace all occurrences of \text{Ker} with \Ker
|
|
assigned tag 0921
|
2013-06-11 |
855db3b
|
Tags: Added new tags
|
|
changed the proof
|
2013-05-16 |
aa4e2d7 |
Derived completeness for Noetherian rings
Now we see exactly where the "isomorphism of pro-objects"
gets used and how. It is in proving that the derived limit
of systems maps pro-isomorphisms to isomorphisms. Cool!
|
|
created statement with label lemma-sequence-Koszul-complexes in more-algebra.tex
|
2013-05-16 |
06e26ec |
Koszul complexes over Noetherian rings
|