Proposition 12
Tag 049X, permanent. Cite it as [Bourbaki, Tag 049X].
Commutative Algebra, chapter II, § 4. Spectra of rings and supports of modules
For all , the open set in is quasi-compact; in particular, the space is quasi-compact.
As the form a base of the topology, it is sufficient to prove that, if is a family of elements of such that , then there exists a finite subfamily such that . But the relation means that there exists an integer and a finite subfamily such that "f" belongs to the ideal generated by that subfamily (Corollary 3 to Proposition 11); whence the proposition.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.