Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0AL1

Go back to the tag's page.

type time link
changed the proof 2016-05-05 9edeb55
Fix a typo

Thanks to jojo
http://stacks.math.columbia.edu/tag/0AL1#comment-1980
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
changed the proof 2016-05-04 89d7504
Move two sections from restricted to formal-spaces

Absolutely no change in mathematical content
changed the proof 2016-05-02 973d328
Add quite a few details to proof Lemma 0AL1

Thanks to Brian Conrad for comments
http://stacks.math.columbia.edu/tag/0AL1#comment-1970

This was really a case where we omitted too much.
changed the statement 2016-05-02 eeae2b2
Fix error in the proof of Gabber's lemma

Thanks to Brian Conrad for pointing it out
http://stacks.math.columbia.edu/tag/0AIX#comment-1947

The error (due to me) was that twice we used that the product of open
ideals is open in the ring A^\wedge without justification (and surely it
isn't true). What is true is that the closure of the product of two open
ideals is open and that is enough for the proof to go through.
moved the statement to file restricted.tex 2014-08-29 330bbf3
Added a new chapter entitled "Restricted Power Series"

Not completely happy with the title yet, but we can change it later
changed the statement and the proof 2014-08-29 330bbf3
Added a new chapter entitled "Restricted Power Series"

Not completely happy with the title yet, but we can change it later
assigned tag 0AL1 2014-07-24 98b9f96
Tags: Added new tags
created statement with label lemma-category-affine-over in formal-spaces.tex 2014-07-17 8f98278
Try to clean up notation and terminology