History of tag 0CB6
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2021-02-02 |
19b5155 |
Spell out things a bit more in formal-spaces
Kind of terrible...
|
|
moved the statement to file formal-spaces.tex
|
2016-05-04 |
89d7504 |
Move two sections from restricted to formal-spaces
Absolutely no change in mathematical content
|
|
created statement with label lemma-quotient-restricted-power-series-admissible in restricted.tex
|
2016-05-02 |
a555a1b |
Fix error in Lemma 0ANU
Thanks to Brian Conrad for pointing this out
http://stacks.math.columbia.edu/tag/0ANU#comment-1973
The mistake was using Lemma 07RD without checking the finiteness
assumption in that lemma. Fixed by replacing property (b) by a stronger
condition where we ask for a confinal system of weak ideals of
definition with the desired property.
Also: added a new lemma which explains that if we work with admissible
topological rings and ideals of definition (in stead of weakly
admissible topological rings and weak ideals of definition), then the
lemma is true as it was formulated before this change...
|
|
assigned tag 0CB6
|
2016-05-02 |
a555a1b
|
Fix error in Lemma 0ANU
Thanks to Brian Conrad for pointing this out
http://stacks.math.columbia.edu/tag/0ANU#comment-1973
The mistake was using Lemma 07RD without checking the finiteness
assumption in that lemma. Fixed by replacing property (b) by a stronger
condition where we ask for a confinal system of weak ideals of
definition with the desired property.
Also: added a new lemma which explains that if we work with admissible
topological rings and ideals of definition (in stead of weakly
admissible topological rings and weak ideals of definition), then the
lemma is true as it was formulated before this change...
|