Noun
surjunctive group (plural surjunctive groups) (mathematics) A group such that every injective cellular automaton with the group elements as its cells is also surjective.