Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 031V

Go back to the tag's page.

type time link
changed the statement 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 2013-12-27 ef5f598
Fix an error in proof lemma-make-separably-generated

Thanks to Keenan for pointing out the mistake and the fix.
http://stacks.math.columbia.edu/tag/030I#comment-406
moved the statement to file fields.tex 2013-08-19 916962c
Fix references to point to the results moved to fields.tex
changed the proof 2013-08-19 916962c
Fix references to point to the results moved to fields.tex
changed the proof 2011-08-13 4ea0b65
Whitespace changes
assigned tag 031V 2009-08-21 15d48db
Added new tags

	modified:   tags/tags
created statement with label lemma-pth-root 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