Bourbaki

Proposition 5

Tag 044B, permanent. Cite it as [Bourbaki, Tag 044B].

Commutative Algebra, chapter I, § 3. Faithfully flat modules

Let ρ\rho be a homomorphism from a ring AA to a ring BB. If EE is a faithfully flat right AA-module, the right BB-module ρ∗(E)=E(B)=E⊗AB\rho^*(E) = E_{(B)} = E \otimes_A B is faithfully flat.

Apply Proposition 4 of no. 2 with R=A,S=F=BR = A, S = F = B, noting that the BB-module BdB_d is faithfully flat.

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.