2
$\begingroup$

Let $R$ be a regular local ring of dimension $d$ and let $x_1,x_2,...,x_d$ be a regular system of parameters. Now, for any $y\in R$, the colon ideal $(x_1,x_2,...,x_h):y$ where $h\leq d$ is a prime ideal or the whole ring. I was wondering, if given a prime ideal $P$ in a regular local ring $R$, does there exist a subset of a regular system of parameters, such that $P$ is a colon ideal of the above form?

$\endgroup$
1
  • 1
    $\begingroup$ Since each ideal generated by a partial system of parameters $(x_1, \dots, x_h)$ is prime, your colon ideal $(x_1, \dots, x_h):y$ is just $(x_1, \dots, x_h)$ again as long as $y \notin (x_1, \dots, x_h)$, and is the ring otherwise. $\endgroup$ Sep 9, 2011 at 10:24

1 Answer 1

3
$\begingroup$

The answer is no. It is easy enough to construct counter-examples, but to convince yourself that such a statement is hopeless, here is a salient point.

Any ideal $P$ such that $P$ is a "colon ideal" of a regular system of parameters is such that $R/P$ is itself a regular ring (indeed $R/P$ is of dimension $d-h$ and its maximal ideal is generated by $x_{h+1},\cdots,x_{d}$). On the other hand, Cohen's structure theorem tells you that any equicharacteristic complete noetherian local domain is a quotient of a regular ring by a prime ideal (and quite a bit more than that, of course). So any equicharacteristic complete noetherian local domain which is not regular would provide a counterexample.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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