Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2008/iii/paper-7/1/a/solution

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 . Therefore
Explicitly, if , multiplication by annihilates but becomes invertible after localization, forcing every localized element to be zero.

New to topics? Read the docs here!