Lemma 10.31.3. Any finite type algebra over a field is Noetherian. Any finite type algebra over $\mathbf{Z}$ is Noetherian.

Proof. This is immediate from Lemma 10.31.1 and the fact that fields are Noetherian rings and that $\mathbf{Z}$ is Noetherian ring (because it is a principal ideal domain). $\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).