History of tag 0GZ7
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0GZ7
|
2022-06-14 |
5575c4b
|
Tags: Added new tags
Also made some unimportant mostly invisible changes
|
|
created statement with label lemma-construct-some-maps in dpa.tex
|
2022-06-14 |
69fcde4 |
Finish the proof
Decided to prove the lemma that
Rlim(M_n \otimes_R K_t) = Rlim(M_n \otimes_{K_n} K_t)
via an explicit comparison of the systems
(K_t) <----> (K_n \otimes_R K_t)
over the varying dgas K_n. On the one hand, you could claim that this
makes the proof "easier" as you only need to check some explicit
computations with complexes, but on the other hand this make the proof
harder to understand as it isn't just deduced from some general
principle... The reason for my choice is that I was having trouble
formulating a beautiful general principle underlying what is going on
here... Dear imaginary reader, maybe you can help?
|