surjunctive group

noun

noun

Mathematics, Sciences A group such that every injective cellular automaton with the group elements as its cells is also surjective.

We prove that pre-injective, post-surjective cellular automata over surjunctive groups are reversible.2015, Silvio Capobianco, Jarkko Kari, Siamak Taati, “Post-surjectivity and balancedness of cellular automata over groups”, in arXiv:

Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.