Lemma 10.31.7. Let $R \to S$ be a ring map. Let $R \to R'$ be of finite type. If $S$ is Noetherian, then the base change $S' = R' \otimes _ R S$ is Noetherian.

Proof. By Lemma 10.14.2 finite type is stable under base change. Thus $S \to S'$ is of finite type. Since $S$ is Noetherian we can apply Lemma 10.31.1. $\square$

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).