Proposition 1

Tag 04BE, permanent. Cite it as [Bourbaki, Tag 04BE].

Commutative Algebra, chapter II, § 5. Finitely generated projective modules. Invertible fractional ideals

Let $f$ be an element of a ring $A$ and $\phi : A \to A_f$ , the canonical mapping. The mapping $^a\phi : \operatorname{Spec}(A_f) \to \operatorname{Spec}(A)$ is a homeomorphism of $\operatorname{Spec}(A_f)$ onto the open subspace $X_f$ of $X = \operatorname{Spec}(A)$ (§ 4, no. 3).

This a particular case of § 4, no. 3, Corollary to Proposition 13.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

§ 4, no. 3
§ 4, no. 3, Corollary to Proposition 13