The Myhill property for strongly irreducible subshifts over amenable groups

摘要

Let G be an amenable group and let A be a finite set. We prove that if X ⊂ A G is a strongly irreducible subshift then X has the Myhill property, that is, every pre-injective cellular automaton τ : X → X is surjective.