{"id":"arxiv/2606.22740","url":"https://arxiv.org/abs/2606.22740","tags":["math.GN","math.GR"],"score":0,"title":"Closed Image Characterizations of Locally Finite Groups via Cellular Automata","domain":"math.GN","source":"arxiv","authors":["Jiang Yang"],"reviews":0,"subject":"math.GN","summary":"We prove that a group $G$ is locally finite if and only if, for some (equivalently, every) infinite set $A$, every cellular automaton $A^G\\to A^G$ has closed image in the prodiscrete topology. Equivalently, this holds if and only if every linear cellular automaton $V^G\\to V^G$ has closed image for some pair $(K,V)$ with $V$ infinite-dimensional over the field $K$ (equivalently, for every such pair). This gives affirmative answers to Open Problems 6 and 7 of Ceccherini-Silberstein and Coornaert. More precisely, if $G$ is not locally finite, then for every infinite set $A$ there is a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-22","reactions":{}}