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 . ThusThis 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!