Bourbaki

Proposition 13

Tag 048K, permanent. Cite it as [Bourbaki, Tag 048K].

Commutative Algebra, chapter II, § 3. Local rings. Passage from the local to the global

Let SS be a multiplicative subset of a ring AA and MM an AA-module. If MM is jflat (resp. faithfully flat), S−1MS^{-1}M is ajflat (resp. faithfully flat) S−1AS^{-1}A-module and a flat AA-module.

As S−1M=M⊗AS−1AS^{-1}M = M \otimes_A S^{-1}A, the first assertion follows from Chapter I, § 2, no. 7, Corollary 2 to Proposition 8 (resp. Chapter I, § 3, no. 3, Proposition 5); moreover, S−1AS^{-1}A is a flat AA-module (§2§ 2, no. 4, Theorem 1); hence if MM is a flat AA-module, so is S−1MS^{-1}M by virtue of Chapter I, § 2, no. 7, Corollary 3 to Proposition 8.

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

Cited by

Cites

Transcribed from the printed volume. Not translated.