English

Cellular automata over algebraic structures

Group Theory 2023-01-27 v3 Formal Languages and Automata Theory Rings and Algebras

Abstract

Let GG be a group and AA a set equipped with a collection of finitary operations. We study cellular automata τ:AGAG\tau : A^G \to A^G that preserve the operations of AGA^G induced componentwise from the operations of AA. We show that τ\tau is an endomorphism of AGA^G if and only if its local function is a homomorphism. When AA is entropic (i.e. all finitary operations are homomorphisms), we establish that the set EndCA(G;A)\text{EndCA}(G;A), consisting of all such cellular automata, is isomorphic to the direct limit of Hom(AS,A)\text{Hom}(A^S, A), where SS runs among all finite subsets of GG. In particular, when AA is an RR-module, we show that EndCA(G;A)\text{EndCA}(G;A) is isomorphic to the group algebra End(A)[G]\text{End}(A)[G]. Moreover, when AA is a finite Boolean algebra, we establish that the number of endomorphic cellular automata over AGA^G admitting a memory set SS is precisely (kS)k(k \vert S \vert)^k, where kk is the number of atoms of AA.

Cite

@article{arxiv.1908.09675,
  title  = {Cellular automata over algebraic structures},
  author = {Alonso Castillo-Ramirez and O. Mata-Gutiérrez and Angel Zaldivar-Corichi},
  journal= {arXiv preprint arXiv:1908.09675},
  year   = {2023}
}

Comments

13 pages

R2 v1 2026-06-23T10:56:54.063Z