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$
Comments (0)
There are also: