The Stacks project

Example 10.86.2. If $(A_ i, \varphi _{ji})$ is a directed inverse system of sets or of modules and the maps $\varphi _{ji}$ are surjective, then clearly the system is Mittag-Leffler. Conversely, suppose $(A_ i, \varphi _{ji})$ is Mittag-Leffler. Let $A'_ i \subset A_ i$ be the stable image of $\varphi _{ji}(A_ j)$ for $j \geq i$. Then $\varphi _{ji}|_{A'_ j}: A'_ j \to A'_ i$ is surjective for $j \geq i$ and $\mathop{\mathrm{lim}}\nolimits A_ i = \mathop{\mathrm{lim}}\nolimits A'_ i$. Hence the limit of the Mittag-Leffler system $(A_ i, \varphi _{ji})$ can also be written as the limit of a directed inverse system over $I$ with surjective maps.


Comments (2)

Comment #5548 by a on

I was confused but figured out where ML condition was being used in the proof that is surjective, and thought it would be worth mentioning:

Given in the stable image , for all there is a mapping to , ... but these might map to different elements in that only become equal in ! With ML hypothesis, there exists such that for , maps to ... then maps to an element in the stable image that maps to .

Comment #5733 by on

Yes. But I thought just already even using the English phrase "stable image" suggests that the images of the transition maps in a fixed stabilize which only happens for ML systems (and in fact characterizes them).

There are also:

  • 4 comment(s) on Section 10.86: Mittag-Leffler systems

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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0596. Beware of the difference between the letter 'O' and the digit '0'.