On (bi)reversible automata generating lamplighter groups
Abstract
For any nontrivial abelian group $\mathbb{X}$ we construct a reversible (bireversible in case the order of $\mathbb{X}$ is odd) automaton such that its set of states and alphabet are identified with $\mathbb{X}$, transition and output functions are defined via the left and the right regular actions correspondingly and its group splits into the restricted wreath product $\mathbb{X} \wr \mathbb{Z}$, i.e. is a lamplighter group.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2023
- DOI:
- 10.48550/arXiv.2308.05808
- arXiv:
- arXiv:2308.05808
- Bibcode:
- 2023arXiv230805808N
- Keywords:
-
- Mathematics - Group Theory;
- 20E08 (Primary);
- 20E22;
- 20E26 (Secondary)