Lemma 10.37.2. Let $R \to S$ be a ring map. If $S$ is a normal domain, then the integral closure of $R$ in $S$ is a normal domain.

Proof. Omitted. $\square$

There are also:

• 3 comment(s) on Section 10.37: Normal 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).