The Myhill property for strongly irreducible subshifts over amenable groups
Tullio G. Ceccherini-Silberstein, Michel Coornaert · arXiv (Cornell University) · 2010
Let $G$ be an amenable group and let $A$ be a finite set. We prove that if $X \subset A^G$ is a strongly irreducible subshift then $X$ has the Myhill property, that is, every pre-injective cellular automaton $τ\colon X \to X$ is surjective.