## Tag `032Q`

Chapter 10: Commutative Algebra > Section 10.155: Japanese rings

Lemma 10.155.17. Let $R$ be a ring. If $R$ is Noetherian, a domain, and N-2, then so is $R[[x]]$.

Proof.Observe that $R[[x]]$ is Noetherian by Lemma 10.30.2. Let $R' \supset R$ be the integral closure of $R$ in its fraction field. Because $R$ is N-2 this is finite over $R$. Hence $R'[[x]]$ is finite over $R[[x]]$. By Lemma 10.36.9 we see that $R'[[x]]$ is a normal domain. Apply Lemma 10.155.16 to the element $x \in R'[[x]]$ to see that $R'[[x]]$ is N-2. Then Lemma 10.155.7 shows that $R[[x]]$ is N-2. $\square$

The code snippet corresponding to this tag is a part of the file `algebra.tex` and is located in lines 43009–43013 (see updates for more information).

```
\begin{lemma}
\label{lemma-power-series-over-N-2}
Let $R$ be a ring.
If $R$ is Noetherian, a domain, and N-2, then so is $R[[x]]$.
\end{lemma}
\begin{proof}
Observe that $R[[x]]$ is Noetherian by
Lemma \ref{lemma-Noetherian-power-series}.
Let $R' \supset R$ be the integral closure of $R$ in its fraction
field. Because $R$ is N-2 this is finite over $R$. Hence $R'[[x]]$
is finite over $R[[x]]$. By
Lemma \ref{lemma-power-series-over-Noetherian-normal-domain}
we see that $R'[[x]]$ is a normal domain.
Apply Lemma \ref{lemma-tate-japanese} to the
element $x \in R'[[x]]$ to see that $R'[[x]]$ is N-2. Then
Lemma \ref{lemma-finite-extension-N-2} shows that $R[[x]]$ is N-2.
\end{proof}
```

## Comments (0)

## Add a comment on tag `032Q`

Your email address will not be published. Required fields are marked.

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 lower-right corner).

All contributions are licensed under the GNU Free Documentation License.

There are no comments yet for this tag.

There are also 3 comments on Section 10.155: Commutative Algebra.