On surjunctivity of the transition functions of cellular automata on groups Article uri icon

abstract

  • 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].

publication date

  • 2005-01-01