Lemma 29.15.6. Let $f : X \to S$ be a morphism. If $S$ is (locally) Noetherian and $f$ (locally) of finite type then $X$ is (locally) Noetherian.
Proof. This follows immediately from the fact that a ring of finite type over a Noetherian ring is Noetherian, see Algebra, Lemma 10.31.1. (Also: use the fact that the source of a quasi-compact morphism with quasi-compact target is quasi-compact.) $\square$
Comments (2)
Comment #5043 by Taro konno on
Comment #5268 by Johan on
There are also: