3
$\begingroup$

Let $O$ be a noetherian local domain with maximal ideal $m$. I want to prove: for a suitable choice of generators $x_1,\dots,x_n$ of $m$, the ideal $(x_1)$ in $O'=O[x_2/x_1,\dots,x_n/x_1]$ is not equal to the unit ideal.

This statement originates from Ex.4.11, Chapter 2 of Hartshorne.

$\endgroup$
2
$\begingroup$

If one is willing to use the results already proved in Hartshorne in the context of the valuative criterion, that is before exercise 4.11, I see the following approach: there exists a valuation ring $O_v$ of the field $K$ (for the moment I ignore the finite extension $L$ that appears in the exercise) that dominates the local ring $O$. In particular we have $v(x_k)>0$ for any set $x_1,\ldots ,x_n$ of generators of the maximal ideal $m$ of $O$. Suppose $v(x_1)$ is minimal among the values $v(x_k)$. Then $O^\prime\subseteq O_v$ and $q:=M_v\cap O^\prime$, $M_v$ the maximal ideal of $O_v$, is a proper prime ideal of $O^\prime$. By definition $x_1\in q$ and thus $x_1O^\prime\neq O^\prime$. The "suitable choice" is just relabelling the elements $x_k$ if necessary.

$\endgroup$
  • $\begingroup$ I roughly got your idea,thank you! Here are few comments and questions:(1) For the exercise alone, it is enough to just consider $L=K$ as you did.(2)I do not quite follow the claim"$\dots M_{v}$ the maximal ideal of $O_{v}$ is a proper prime ideal of $O'$" , and I cannot see it is relevant to $x_1O' \neq O'$.(3)Which results in Harshorne did you use ? I guess the only thing you use is the existence of $O_{v}$, which can be derived from "the valuation ring is the maximal local ring in the order of domination". $\endgroup$ – Li Zhan Jul 6 '11 at 12:39
  • $\begingroup$ (2) I mean that $q:=M_v\cap O^\prime$ is a proper prime ideal of $O^\prime$. Of course then $x_1O^\prime$ is a proper ideal of $O^\prime$ since it is contained in $q$. (3) Yes. $\endgroup$ – Hagen Knaf Jul 6 '11 at 15:28

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.