Any finitely presented module is Mittag-Leffler. This follows, for instance, from Proposition 10.87.6 (1). In general, it is true that a finitely generated module is Mittag-Leffler if and only it is finitely presented. This follows from Propositions 10.88.2, 10.88.3, and 10.88.5.
A free module is Mittag-Leffler since it satisfies condition (1) of Proposition 10.87.6.
By the previous example together with Lemma 10.88.10, projective modules are Mittag-Leffler.
Post a comment
Your email address will not be published. Required fields are marked.
In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).