Closed Image Characterizations of Locally Finite Groups via Cellular Automata
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.22740
curl -X POST /api/v1/records/arxiv/2606.22740/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.22740/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'