Solution

ID: past-exam-of-the-commutative-algebra-course-of-the-university-of-oxford/2023/3/d/solution

Let be the nilradical of . By b, the reduced locus of a ring is
The Noetherian ring hypothesis makes the ideal finitely generated; write . Fix . For every , the vanishing criterion in a module localization gives with . The product lies outside the prime ideal and satisfies . When , take .
For every prime ideal in the distinguished open set
the element is a unit in . The equality therefore implies , so is reduced. Thus , proving that is a Zariski-open subset of the spectrum of a ring.
More precisely, let , the annihilator of a module . The argument shows that if and only if some lies outside . Hence
Equivalently, the complement is the support of a module . This is vanishing of a finitely generated module near a prime applied to : its finite generation lets the separately chosen denominators be combined into one element annihilating all of .

New to topics? Read the docs here!