Lemma 10.162.5. Let $R$ be a Nagata ring. If $R \to S$ is a quasi-finite ring map (for example finite) then $S$ is a Nagata ring also.

Proof. First note that $S$ is Noetherian as $R$ is Noetherian and a quasi-finite ring map is of finite type. Let $\mathfrak q \subset S$ be a prime ideal, and set $\mathfrak p = R \cap \mathfrak q$. Then $R/\mathfrak p \subset S/\mathfrak q$ is quasi-finite and hence we conclude that $S/\mathfrak q$ is N-2 by Lemma 10.161.5 as desired. $\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).