Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0BJ0

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 proof 2017-10-05 0adaa52
Remove 'f.f.'

Sad IMHO.

Thanks to BCnrd, Dario Weissmann, and sdf
https://stacks.math.columbia.edu/tag/02JQ#comment-2762
https://stacks.math.columbia.edu/tag/02JQ#comment-2765
https://stacks.math.columbia.edu/tag/02JQ#comment-2766
https://stacks.math.columbia.edu/tag/02JQ#comment-2767
changed the proof 2015-12-03 955c625
Small changes; mostly typos
assigned tag 0BJ0 2015-06-28 eda091b
Tags: Added new tags
created statement with label lemma-Nagata-local-ring in more-algebra.tex 2015-06-28 fd2c506
Characterize local Nagata rings

Thanks to J\'anos Koll\'ar
http://stacks.math.columbia.edu/tag/0331#comment-1524

Comment: Clearly this proof is not optimal. On the other hand it is
sometimes a good idea to use a little bit more theory in order for
the reader to see that it exists and the lemma is not just some
completely random fact...