The Myhill property for cellular automata on amenable semigroups

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

No reviews yet.

No comments yet.