Localization detects zero elements
ID: localization-detects-zero-elements
An element of a commutative ring is zero if and only if its image in every localization at a prime ideal is zero. If , its proper annihilator lies in a maximal ideal . No element outside can annihilate , so in . This also applies to elements of an -module using localization of a module.
New to topics? Read the docs here!