Definition 1

Tag 0445, permanent. Cite it as [Bourbaki, Tag 0445].

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

A right $A$ -module $E$ is called faithfully flat if it satisfies the four equivalent conditions of Proposition 1.

Faithfully flat left $A$ -modules are defined similarly; clearly, for a left $A$ -module $E$ to be faithfully flat, it is necessary and sufficient that $E$ , considered as a right $A^0$ -module, be faithfully flat.

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

Cited by

Nothing.

Cites

Proposition 1