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.
Articles by others on the same topic
There are currently no matching articles.