Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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?

share|improve this question
1  
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. –  Graham Leuschke Sep 9 '11 at 10:24
add comment

1 Answer

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.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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