Noetherian scheme (source code)

= Noetherian scheme
{wiki=Noetherian_scheme}

A Noetherian scheme has a finite cover by affine schemes $\operatorname{Spec}A_i$ with each $A_i$ a <Noetherian ring>. Equivalently, it is quasi-compact and locally Noetherian.