Vanishing of a finitely generated module near a prime

ID: vanishing-of-a-finitely-generated-module-near-a-prime

For a finitely generated module and a prime ideal , if , choose annihilating . Their product annihilates all of . Conversely such an becomes a unit in , forcing . Thus
This identifies the support of a module with the Zariski-closed set . For , use . No Noetherian assumption on is required.

New to topics? Read the docs here!