Set , a multiplicative subset because is a prime ideal. The quotient module is a cyclic module generated by , so its localization of a module is zero precisely when . By the vanishing criterion in a module localization, this is equivalent to the existence of with in . The latter condition says . ThereforeExplicitly, if , multiplication by annihilates but becomes invertible after localization, forcing every localized element to be zero.
Articles by others on the same topic
There are currently no matching articles.