History of tag 00TN
Go back to the tag's page.
| type |
time |
link |
|
changed the label to proposition-smooth-formally-smooth
|
2011-12-24 |
8a291eb |
Cleanup section formally smooth ring maps
|
|
changed the statement and the proof
|
2011-12-24 |
8a291eb |
Cleanup section formally smooth ring maps
|
|
changed the proof
|
2009-08-15 |
6ca4cf6 |
Continuing adding material to algebra.tex:
Power series ring over a Noetherian ring is Noetherian
Integral closure commutes with localization
Completions of Noetherian rings are Noetherian
Taking modules of differentials commutes with colimits
Better characterization of formally smooth ring maps
Short exact sequence of modules differentials associated to
formally smooth ring map
Formal smoothness lifts along small deformations
Bunch of lemmas with goal to characterize separable field
extensions as formally smooth field extensions
Cohen rings are formally smooth
Proof of Cohen structure theorem
modified: algebra.tex
modified: spaces.tex
|
|
assigned tag 00TN
|
2009-05-16 |
fad2e12
|
Started tags infrastructure
new file: scripts/add_tags.py
modified: scripts/functions.py
new file: tags/initial_tags
new file: tags/tags
|
|
changed the proof
|
2009-04-10 |
713944e |
More neurotic changes
|
|
changed the statement and the proof
|
2008-12-02 |
b357427 |
Switch to home
modified: algebra.tex
|
|
created statement with label lemma-smooth-formally-smooth in algebra.tex
|
2008-11-30 |
60130e4 |
More stuff on smooth ring maps
modified: algebra.tex
modified: homology.tex
|