Solution

ID: past-exam-of-the-introduction-to-schemes-course-of-the-university-of-oxford/2017/2/b/ii/solution

Yes: every scheme is a Kolmogorov space. Choose an affine open subscheme containing . If , take .
Otherwise, the distinct points correspond to distinct prime ideals . There is an element in one of these prime ideals and not the other. After interchanging the names of the two points if necessary, choose
The principal open subscheme
contains and does not contain . It is an open subset of , hence an open subset of because is open in . This establishes in every case, proving schemes are Kolmogorov spaces.

New to topics? Read the docs here!