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, chooseThe principal open subschemecontains 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.
Articles by others on the same topic
There are currently no matching articles.