{"id":"arxiv/2610.18480","url":"https://arxiv.org/abs/2610.18480","tags":["math.GR","math.DS","nlin.CG"],"score":0,"title":"When do lazy and invertible cellular automata generate all cellular automata?","domain":"math.GR","source":"arxiv","authors":["Edgar Alcalá-Arroyo","Alonso Castillo-Ramirez"],"reviews":0,"subject":"math.GR","summary":"Let $G$ be a group and let $A$ be a set with at least two elements. A lazy cellular automaton over $A^G$ acts as the identity except at the cells where a fixed pattern occurs, where it replaces the central symbol by a fixed different symbol. Let $M(G;A)$ be the submonoid of $\\mathrm{CA}(G;A)$ generated by the lazy and the invertible cellular automata. We study when $M(G;A) = \\mathrm{CA}(G;A)$. Since no lazy cellular automaton is surjective, every surjective element of $M(G;A)$ is invertible; hence $M(G;A) \\neq \\mathrm{CA}(G;A)$ whenever $A$ is infinite or $G$ has an element of infinite…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-13","reactions":{}}