Spectrum is sober
Statement
The spectrum of a commutative unital ring, with the usual topology, is a sober space: in other words, any irreducible closed subset is the closure of a one-point subset.
The spectrum of a commutative unital ring, with the usual topology, is a sober space: in other words, any irreducible closed subset is the closure of a one-point subset.