History of tag 0ALR
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2016-03-02 |
33c5439 |
Clean up the proof of lemma-quotient-by-idempotent
|
|
moved the statement to file more-algebra.tex
|
2016-03-02 |
c6f9334 |
Move section on Ratliff's theorem
|
|
changed the proof
|
2016-03-02 |
c6f9334 |
Move section on Ratliff's theorem
|
|
moved the statement to file dualizing.tex
|
2014-12-23 |
fd683ee |
Ratliff's result characterizing universally catenary rings
|
|
changed the statement and the proof
|
2014-12-23 |
fd683ee |
Ratliff's result characterizing universally catenary rings
|
|
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
|
|
assigned tag 0ALR
|
2014-08-01 |
5604da5
|
Tags: Added new tags
|
|
changed the proof
|
2014-08-01 |
3418934 |
Elkik's algebraization in general
This large set of changes finally gives a ``good'' proof of Elkik's
algebraization of rig-etale algebras. Note the fun lemma descending
a given deformation through an \'etale map which is an isomorphism
along the non-\'etale locus!
|
|
created statement with label lemma-quotient-by-idempotent in formal-spaces.tex
|
2014-07-30 |
a24127e |
Easier treatment of rig-etale in principal ideal case
Special case of a result of Elkik who treats more generally rig-smooth
ring maps
|