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: