Linear cellular automata over modules of finite length and stable finiteness of group rings

Let M be a left (or right) module of finite length over a ring R and let G be a sofic group. We show that every injective R-linear cellular automaton is surjective. As an application, we prove that group rings of sofic groups with coefficients in left (or right) Artinian rings are stably finite.