History of tag 031W
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2022-01-23 |
9cee969 |
Try to use L/K notation for field extensions
We could also try to consistenly use "field extension" and not just
"extension" and consistently use "ring extension", etc.
|
|
changed the statement and the proof
|
2016-02-24 |
814ce23 |
Trivial generalization lemma in algebra
|
|
changed the proof
|
2013-08-19 |
916962c |
Fix references to point to the results moved to fields.tex
|
|
changed the proof
|
2011-12-22 |
8bf24c0 |
Field extension is colimit of CI
CI = Complete Intersection
|
|
assigned tag 031W
|
2009-08-21 |
15d48db
|
Added new tags
modified: tags/tags
|
|
created statement with label lemma-derivative-zero-pth-power 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
|