Bireversible automata generating lamplighter groups

Abstract

For every non-trivial finite abelian group $A$, we exhibit a bireversible automaton generating the lamplighter group $A\wr \mathbb{Z}$.

7 pages