History of tag 07P5
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2022-01-19 |
6c3975b |
Typos in more-algebra
Thanks to éè¹é
https://stacks.math.columbia.edu/tag/07P0#comment-6713
https://stacks.math.columbia.edu/tag/07P0#comment-6724
|
|
changed the statement and the proof
|
2019-09-01 |
2d0cbee |
Typos in more-algebra
THanks to Bogdan
https://stacks.math.columbia.edu/tag/07P5#comment-4292
|
|
changed the statement
|
2018-10-22 |
a4e2701 |
Missing punctuation
Thanks to Dario Weissmann
https://stacks.math.columbia.edu/tag/07P5#comment-3536
|
|
changed the proof
|
2018-01-29 |
61dce31 |
Fix a couple of double word mistakes
|
|
changed the statement and 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
|
|
assigned tag 07P5
|
2012-04-27 |
0cd691b
|
Tags: Added new tags
|
|
created statement with label lemma-power-series-ring-subfields in more-algebra.tex
|
2012-04-18 |
fc1ffad |
Towards results on G-rings
This material is surprisingly annoying to grok. For example, the
correct way to proceed is undoubtedly to use Nagata's Jacobian
criterion to show that rings of finite type over Noetherian
complete local rings are G-rings. However, there seems to be no
easy way to actually prove that the criterion applies...
The algebra question that one gets is the following: Suppose
that P is a prime ideal of height c in a ring of the form
k[[x_1, ..., x_n]][y_1, ..., y_m]
where k is either a field or a Cohen ring. Then we need to prove
there are derivations D_1, ..., D_c of this ring such that the
matrix
D_i(f_j) mod P
has rank c for some f_1, ..., f_c in P. Let me know if there is
a simple proof of this result (currently I am not even 100% sure
it is true).
|