The Myhill property for cellular automata on amenable semigroups
Dynamical Systems
2015-05-06 v3 Functional Analysis
Group Theory
Abstract
Let be a cancellative left-amenable semigroup and let be a finite set. We prove that every pre-injective cellular automaton is surjective.
Cite
@article{arxiv.1302.5965,
title = {The Myhill property for cellular automata on amenable semigroups},
author = {Tullio Ceccherini-Silberstein and Michel Coornaert},
journal= {arXiv preprint arXiv:1302.5965},
year = {2015}
}