{"id":"arxiv/2610.20329","url":"https://arxiv.org/abs/2610.20329","tags":["math.GR"],"score":0,"title":"Generation by lazy and invertible cellular automata over the Klein four-group","domain":"math.GR","source":"arxiv","authors":["Edgar Alcalá-Arroyo","Alonso Castillo-Ramirez","Haobo Ma","Wenlin Zhang"],"reviews":0,"subject":"math.GR","summary":"Let $G=C_2\\times C_2$ and $A=\\{0,1\\}$. We characterize the submonoid of $\\text{CA}(G;A)$ generated by lazy and invertible cellular automata. A cellular automaton belongs to this submonoid if and only if, whenever it maps the two free $G$-orbits onto the same free orbit, it maps both constant configurations and some two-point orbit to the same constant. The proof gives a factorization using elementary orbit collapses and three two-cell lazy maps. The criterion yields the cardinality $59\\,712$ and identifies the maps missed by a weaker constant-separation invariant. Adjoining one idempotent…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-14","reactions":{}}