On a characterization of locally finite groups in terms of linear cellular automata

Abstract

We prove that a group $G$ is locally finite if and only if every surjective real (or complex) linear cellular automaton with finite-dimensional alphabet over $G$ is injective.