Skip to main content
1 of 2
user26857
  • 1.3k
  • 14
  • 30

The quoted result relies on the following elementary characterization of local regular rings:

Let $R$ be a local regular ring with maximal ideal $\mathfrak m$ and $x\in\mathfrak m-\mathfrak m^2$. Then $R$ is regular iff $R/(x)$ is regular and $x$ doesn't belong to any minimal prime.

user26857
  • 1.3k
  • 14
  • 30