Lemma 10.162.12. Let $(R, \mathfrak m)$ be a Noetherian local domain. Let $x \in \mathfrak m$. Assume

1. $x \not= 0$,

2. $R/xR$ has no embedded primes, and

3. for each associated prime $\mathfrak p \subset R$ of $R/xR$ we have

1. the local ring $R_{\mathfrak p}$ is regular, and

2. $\mathfrak p$ is analytically unramified.

Then $R$ is analytically unramified.

Proof. Let $\mathfrak p_1, \ldots , \mathfrak p_ t$ be the associated primes of the $R$-module $R/xR$. Since $R/xR$ has no embedded primes we see that each $\mathfrak p_ i$ has height $1$, and is a minimal prime over $(x)$. For each $i$, let $\mathfrak q_{i1}, \ldots , \mathfrak q_{is_ i}$ be the associated primes of the $R^\wedge$-module $R^\wedge /\mathfrak p_ iR^\wedge$. By Lemma 10.162.11 we see that $(R^\wedge )_{\mathfrak q_{ij}}$ is regular. By Lemma 10.65.3 we see that

$\text{Ass}_{R^\wedge }(R^\wedge /xR^\wedge ) = \bigcup \nolimits _{\mathfrak p \in \text{Ass}_ R(R/xR)} \text{Ass}_{R^\wedge }(R^\wedge /\mathfrak pR^\wedge ) = \{ \mathfrak q_{ij}\} .$

Let $y \in R^\wedge$ with $y^2 = 0$. As $(R^\wedge )_{\mathfrak q_{ij}}$ is regular, and hence a domain (Lemma 10.106.2) we see that $y$ maps to zero in $(R^\wedge )_{\mathfrak q_{ij}}$. Hence $y$ maps to zero in $R^\wedge /xR^\wedge$ by Lemma 10.63.19. Hence $y = xy'$. Since $x$ is a nonzerodivisor (as $R \to R^\wedge$ is flat) we see that $(y')^2 = 0$. Hence we conclude that $y \in \bigcap x^ nR^\wedge = (0)$ (Lemma 10.51.4). $\square$

There are also:

• 2 comment(s) on Section 10.162: Nagata rings

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).