ON SURJUNCTIVITY OF THE TRANSITION FUNCTIONS OF CELLULAR AUTOMATA ON GROUPS
Lev Glebsky, E. I. Gordon · Taiwanese Journal of Mathematics · 2005
We give a simple proof of the fact that the following property: any injective transition function of a cellular automaton on a group $G$ is surjective, holds for any group $G$ approximable by amenable groups. For finitely generated groups this was proved by Gromov in [1]