History of tag 031K
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2011-12-24 |
8a291eb |
Cleanup section formally smooth ring maps
|
|
changed the statement and the proof
|
2011-05-15 |
06d9c1e |
Short exact sequence of conormal bundles and sheaves of differentials
These of course would each follow easily from having the theory
of the cotangent complex setup and working for algebraic spaces.
But on the other hand, one would still have to split out the
precise statements separately in order to use them.
|
|
assigned tag 031K
|
2009-08-21 |
15d48db
|
Added new tags
modified: tags/tags
|
|
created statement with label lemma-ses-formally-smooth in algebra.tex
|
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
|