Bourbaki

Exercise 13, § 1

Algebra, X, p. 169

Now prove that every finitely generated flat module P over an integral ring A is projective (consider a presentation 0→R→iL→ρP→00 \to R \xrightarrow{i} L \xrightarrow{\rho} P \to 0, where L is a free module of finite type; choose a finitely generated submodule R' of R such that R/R′R/R' is torsion, and apply theorem 1, p. 14).

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.