Put , where the closure is taken in the underlying topological space of . It is nonempty because it contains .
Suppose for two closed subsets of in the subspace topology. Since is a closed subset of , both and are also closed subsets of . The point lies in one of them, say . By the defining minimality of the closure, every closed subset of containing contains . Hence , so .
Thus cannot be expressed as the union of two proper closed subsets, proving that is an irreducible closed subset. This proves closure of a point is irreducible in every topological space; the scheme assumption is unnecessary. Equivalently, is a generic point of its own closure.
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.

Articles by others on the same topic (0)

There are currently no matching articles.