3

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.

user26857
  • 52,094
karparvar
  • 5,730
  • 1
  • 14
  • 36

1 Answers1

5

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.

user26857
  • 52,094