1
$\begingroup$

Let $R$ be a Noetherian local ring and $I$ is an ideal of $R$ such that both $R$ and $R/I$ are regular local rings. Could we deduce that $I$ is generated by an $R$-sequence?

I know that a noetherian local ring is regular if and only if its maximal ideal is generated by an $R$-sequence. Thanks for any cooperation.

$\endgroup$
3
$\begingroup$

From Bruns and Herzog, Proposition 2.2.4, we learn that if $R$ is a regular local ring, then $R/I$ is local regular if and only if $I$ is generated by a subset of a regular system of parameters. Now the conclusion follows.

$\endgroup$

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.