Proposition 7
Tag 049J, permanent. Cite it as [Bourbaki, Tag 049J].
Commutative Algebra, chapter II, § 4. Spectra of rings and supports of modules
Let be an open subset of a topological space . The mapping (closure in ) is a bijection of the set & irreducible subsets of which are closed in onto the set & irreducible subsets & which are closed in and meet ; the inverse bijection is . In particular, this bijection maps the set & irreducible components & onto the set & irreducible components & which meet .
If is closed in and irreducible, is irreducible (Proposition 2) and . Conversely, if is irreducible and closed in and meets , is a non-empty open subset of , hence irreducible (Proposition 3) and dense in and, as is closed, . This proves the proposition.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.