surjunctive group

/S ER1 JH AH1 NG K T IH0 V G R UW0 P/
noun
  1. 1

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