Vanishing criterion in a module localization
ID: vanishing-criterion-in-a-module-localization
The fraction relation defining localization of a module gives this criterion. For localization at powers of a single element , a fraction vanishes exactly when some power of annihilates its numerator. Finitely many such vanishing relations can be cleared with one common exponent. This is distinct from detecting global zero by localizing at every prime ideal.
New to topics? Read the docs here!