Reduced locus of a ring
ID: reduced-locus-of-a-ring
The subset of the spectrum of a ring where the localization at a prime ideal is reduced. Since the nilradical commutes with localization, its complement is the support of a module . When is a finitely generated module, vanishing of a finitely generated module near a prime givesso the locus is a Zariski-open subset. In particular this holds for every Noetherian ring.
New to topics? Read the docs here!