Solution

ID: past-exam-of-the-commutative-algebra-course-of-the-university-of-oxford/2017/1/b/solution

For , let be the indicator function of . In the ring of functions , multiplication is pointwise, so
Suppose first that is finite, and let be an ideal of . Define . If , choose such an ; multiplying it by shows that . Every satisfies
where the real scalars are constant functions. Thus has a finite generating set of an ideal, so is a Noetherian ring. If is empty, is the zero ring, and the conclusion still holds.
If is infinite, consider the ideal
It is an ideal because a sum has support contained in the union of the two supports, and multiplication by any function cannot enlarge support. If generated , their supports would have a finite union . Every element of would vanish outside , whereas for any . This contradiction proves

New to topics? Read the docs here!