Noetherian Zariski topology
ID: noetherian-zariski-topology
The Zariski topology on affine space is Noetherian because polynomial rings are Noetherian. Every closed subset is a finite union of irreducible closed subsets: a minimal counterexample would split into two smaller closed subsets, each already having such a decomposition.
New to topics? Read the docs here!