When is a flat module projective

From MaRDI portal





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.











This page was built for publication: When is a flat module projective

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q794748)