MathOverflow is a question and answer site for professional mathematicians. 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

In [M. Gromov, Endomorphisms of symbolic algebraic varieties, J. Eur. Math. Soc. (JEMS) 1 (1999), 109–197], Gromov introduces the notion of pre-injective map. Recasting this notion in the setting of Abelian groups we get the following:

Definition. Given a finite discrete Abelian group $G$, an (infinite) index set $X$ and taking the product $G^X$ endowed with the product topology, we say that a continuous endomorphism $\phi:G^X\to G^X$ is pre-injective if the restriction of $\phi$ to $G^{(X)}$ (the subgroup of elements with finite support) is injective.

The Pontryagin-Van Kampen dual of $\phi$ is just an endomorphism $\widehat\phi$ of the discrete group $G^{(X)}$. Can we say that $\phi$ is pre-injective just looking at $\widehat\phi$? In other words, what is the algebraic property of $\widehat\phi$ which corresponds to the pre-injectivity of $\phi$?

share|cite|improve this question

Well, in the case X is also a group, your question somehow relates with cellular automata, i.e your map $\phi :G^X\rightarrow G^X$ is continuous and X-equivariant. When X is amenable,$\phi$ is pre-injective if and only if $\phi$ is surjective. Thus, your dual $\widehat{\phi}$ will be injective in this case. It is not true anymore when $X=F_2$, the free group with 2 generators, see section 5.11 of Ceccherini-Silberstein, Coornaert's book "Cellular Automata and Groups" for an example of pre-injective but not surjective cellular automaton over $F_2$.

share|cite|improve this answer
Yes I did know such connection, which is in fact part of the motivation for my question... – Simone Virili Jan 28 '13 at 20:36
It is my first time to use Mathoverflow. I would like to post it as a comment, not an answer. Now, I know how to post a comment ^^. – Phu Chung Jan 28 '13 at 20:55
no problem, it is nice to have this motivation for my question here – Simone Virili Jan 28 '13 at 21:16

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.