Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

This question is a follow-up of this earlier question I asked.

Let $$ A_1\twoheadrightarrow A_2\twoheadrightarrow A_3\twoheadrightarrow A_4\twoheadrightarrow \cdots $$ be an inductive sequence of abelian groups, the connecting homomorphisms of which are surjective and split, that is, we have embeddings $A_{n+1}\rightarrowtail A_n$ such that the diagram \begin{array}{ccccccccc} A_n & \twoheadrightarrow & A_{n+1}\\ \uparrow & & \uparrow\\ A_n & \leftarrowtail & A_{n+1} \end{array} commutes for every $n$. Here the vertical arrows denote identity homomorphisms. This means that $A_{n+1}$ is a direct summand of $A_n$.

Let $\varinjlim A_n$ denote the inductive limit of the system $$ A_1\twoheadrightarrow A_2\twoheadrightarrow A_3\twoheadrightarrow A_4\twoheadrightarrow \cdots $$ and let $\varprojlim A_n$ denote the projective limit of the system $$ A_1\leftarrowtail A_2\leftarrowtail A_3\leftarrowtail A_4\leftarrowtail \cdots. $$ We get an induced map $$ \varprojlim A_n\to\varinjlim A_n. $$ As Zhen Lin has shown in his answer to my earlier question, this map need not be surjective. Here is a weaker question:

Question: If we have $\varinjlim A_n=0$, then can we conclude that $\varprojlim A_n=0$?

This would, of course, follow if the map $\varprojlim A_n\to\varinjlim A_n$ was always injective. Is there any reason to expect this?

share|cite|improve this question
I re-asked this question on MO:… – Rasmus Dec 11 '12 at 9:46

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.