Bourbaki

Remark

Tag 046A, permanent. Cite it as [Bourbaki, Tag 046A].

Commutative Algebra, chapter II, § 2. Rings and modules of fractions

For an ideal aa of AA to satisfy S−1a=S−1AS^{-1}a = S^{-1}A (or, what amounts to the same thing by no. 4, Theorem I, S−1(A/a)=0S^{-1}(A/a) = 0), it is necessary and sufficient that a∩S≠∅a \cap S \neq \varnothing, as follows immediately from the definitions.

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

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed volume. Not translated.