Definition:Locally Noetherian Scheme

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\struct {X, \OO_X}$ be a scheme.


Then $\struct {X, \OO_X}$ is locally noetherian if and only if every $x \in X$ is has an affine open neighborhood $U \subseteq X$ such that the ring $\map {\OO_X} U$ is noetherian.



Sources