Lemma 10.93.4. Let f: M \to N be universally injective map of R-modules. Suppose M is a direct sum of countably generated R-modules, and suppose N is flat and Mittag-Leffler. Then M is projective.
Proof. By Lemmas 10.82.7 and 10.89.7, M is flat and Mittag-Leffler, so the conclusion follows from Theorem 10.93.3. \square
Comments (0)