History of tag 00TO
Go back to the tag's page.
| type |
time |
link |
|
moved the statement to file obsolete.tex
|
2011-12-24 |
8a291eb |
Cleanup section formally smooth ring maps
|
|
changed the proof
|
2011-12-24 |
8a291eb |
Cleanup section formally smooth ring maps
|
|
changed the proof
|
2011-12-22 |
7a98453 |
Fix use NL in algebra chapter
Fallout from improvement in previous commit.
|
|
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 00TO
|
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 label to lemma-formally-smooth-smooth
|
2009-01-14 |
7c8aef6 |
More topologies
modified: algebra.tex
modified: morphisms.tex
modified: topologies.tex
|
|
changed the statement
|
2009-01-14 |
7c8aef6 |
More topologies
modified: algebra.tex
modified: morphisms.tex
modified: topologies.tex
|
|
created statement with label lemma-formally-smooth-finite-type-field in algebra.tex
|
2008-12-02 |
b357427 |
Switch to home
modified: algebra.tex
|