History of tag 0923
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2017-06-05 |
ee5a3f9 |
Typo in more-algebra
|
|
changed the proof
|
2015-07-09 |
bfcfdf1 |
Work out the spectral sequence for principal ideal
|
|
changed the label to lemma-when-does-it-work
|
2015-07-09 |
cf91846 |
Rearrange material on derived completion
|
|
changed the statement and the proof
|
2015-07-09 |
cf91846 |
Rearrange material on derived completion
|
|
assigned tag 0923
|
2013-06-11 |
855db3b
|
Tags: Added new tags
|
|
created statement with label remark-when-does-it-work in more-algebra.tex
|
2013-05-17 |
60b8a3c |
A curiosity
Detect whether an inverse system (A_n) is zero as a pro-object by
testing whether
\lim (A_n) = 0 and R^1\lim \bigoplus_i (A_n) = 0
Apply this to show that derived completion agrees with naive derived
completion for I = (f) if and only if the f-torsion is bounded.
|