Proposition 10

Tag 0DYF, permanent. Cite it as [Bourbaki, Tag 0DYF].

Algebra, chapter X, § 6. Utilisation de résolutions non canoniques

Homomorphism (14) is bijective in the following cases: a) B is a finitely generated projective A-module; b) B is a flat A-module, A is noetherian, and E is a finitely generated A-module. This follows from Proposition 7 (X, p. 108).

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

Cited by

Nothing.

Cites

Nothing.