Spectrum is T0: Difference between revisions

From Commalg
(New page: {{spectrum topology fact}} ==Statement== ===Verbal statement=== The spectrum of a commutative unital ring is a T0 space: given any two points, it cannot happen that each one...)
(No difference)

Revision as of 21:11, 15 March 2008

This article gives a fact about the relation between ring-theoretic assumptions about a commutative unital ring and topological consequences for the spectrum
View other such facts

Statement

Verbal statement

The spectrum of a commutative unital ring is a T0 space: given any two points, it cannot happen that each one is in the closure of the other one.

Proof

The proof follows directly from the following fact: given two prime ideals, such that each is contained in the other, the ideals must be equal.