{"id":"arxiv/2603.18183","url":"https://arxiv.org/abs/2603.18183","tags":["math.GR","math.DS","nlin.CG"],"score":0,"title":"Around Gromov's injectivity lemma and applications to post-injunctive groups","domain":"math.GR","source":"arxiv","authors":["Xuan Kien Phung"],"reviews":0,"subject":"math.GR","summary":"Gottschalk's surjunctivity conjecture states that for all group universes and finite alphabets, every equivariant and continuous selfmap of the full shift, known as cellular automaton, cannot be a strict embedding. Not all surjective cellular automata are injective. However, if the surjectivity condition is replaced by a certain strengthened property called post-surjectivity then all post-surjective cellular automata must be bijective whenever the universe is a sofic group. A group universe is said to be post-injunctive if every post-surjective cellular automaton with finite alphabet over…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-18","reactions":{}}