Definition: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 Noetherian if and only if $\struct {X, \OO_X}$ is locally Noetherian and quasi-compact.



Sources