Von Neumann regular cellular automata

From MaRDI portal




Abstract: For any group G and any set A, a cellular automaton (CA) is a transformation of the configuration space AG defined via a finite memory set and a local function. Let extCA(G;A) be the monoid of all CA over AG. In this paper, we investigate a generalisation of the inverse of a CA from the semigroup-theoretic perspective. An element auinextCA(G;A) is von Neumann regular (or simply regular) if there exists sigmainextCA(G;A) such that aucircsigmacircau=au and sigmacircaucircsigma=sigma, where circ is the composition of functions. Such an element sigma is called a generalised inverse of au. The monoid extCA(G;A) itself is regular if all its elements are regular. We establish that extCA(G;A) is regular if and only if vertGvert=1 or vertAvert=1, and we characterise all regular elements in extCA(G;A) when G and A are both finite. Furthermore, we study regular linear CA when A=V is a vector space over a field mathbbF; in particular, we show that every regular linear CA is invertible when G is torsion-free elementary amenable (e.g. when G=mathbbZd,dinmathbbN) and V=mathbbF, and that every linear CA is regular when V is finite-dimensional and G is locally finite with extChar(mathbbF)mido(g) for all ginG.









This page was built for publication: Von Neumann regular cellular automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1704101)