When is a flat module projective (Q794748)

The author proves the following Theorem: Let \(R\subset S\) be an extension of rings. Let M be a flat left R-module. For M to be projective, it is necessary and sufficient that there exists an exact sequence \(0\to K\to P\to M\to 0\) of left R-modules with P projective and the scalar extension \(S\otimes_ RK\) a finitely generated left S-module.