The Myhill property for cellular automata on amenable semigroups

Abstract

Let $S$ be a cancellative left-amenable semigroup and let $A$ be a finite set. We prove that every pre-injective cellular automaton $\tau :A^S\to A^S$ is surjective.