Bounding the Minimal Number of Generators of Groups and Monoids of Cellular Automata
Abstract
For a group G and a finite set A, denote by $$\mathrm {CA}(G;A)$$ the monoid of all cellular automata over $$A^G$$ and by $$\mathrm {ICA}(G;A)$$ its group of units. We study the minimal cardinality of a generating set, known as the rank, of $$\mathrm {ICA}(G;A)$$. In the first part, when G is a finite group, we give upper bounds for the rank in terms of the number of conjugacy classes of subgroups of G. The case when G is a finite cyclic group has been studied before, so here we focus on the cases when G is a finite dihedral group or a finite Dedekind group. In the second part, we find a basic lower bound for the rank of $$\mathrm {ICA}(G;A)$$ when G is a finite group, and we apply this to show that, for any infinite abelian group H, the monoid $$\mathrm {CA}(H;A)$$ is not finitely generated. The same is true for various kinds of infinite groups, so we ask if there exists an infinite group H such that $$\mathrm {CA}(H;A)$$ is finitely generated.
Origin | Files produced by the author(s) |
---|
Loading...