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: