Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-101/1/b/solution

The induced map on the spectrum of a commutative ring is contraction of an ideal:
To see that it is well defined, let be a prime ideal of . Its inverse image is an ideal of , and it is proper because . If , then , whence or . This proves that the inverse image is a prime ideal.
For any ideal , its extension of an ideal to is . We have
Thus inverse images of Zariski-closed sets are Zariski-closed sets, which proves that is a continuous map.

New to topics? Read the docs here!