Lemma 10.161.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.31.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.37.9 we see that $R'[[x]]$ is a normal domain. Apply Lemma 10.161.16 to the element $x \in R'[[x]]$ to see that $R'[[x]]$ is N-2. Then Lemma 10.161.7 shows that $R[[x]]$ is N-2. $\square$

There are also:

• 5 comment(s) on Section 10.161: Japanese 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).