Related papers: The Lamplighter Group

We realize lamplighter groups $A\wr \mathbb Z$, with $A$ a finite abelian group, as automaton groups via affine transformations of power series rings with coefficients in a finite commutative ring. Our methods can realize $A\wr \mathbb Z$…

We consider the two generalizations of lamplighter groups: automata groups generated by Cayley machine and cross-wired lamplighter groups. For a finite step two nilpotent group with central squares, we study its associated Cayley machine…

It is known that splittings of finitely presented groups over 2-ended groups can be characterized geometrically. We show that this characterization does not extend to all finitely generated groups. Answering a question of Kleiner we show…

We construct a 4-state 2-letter bireversible automaton generating the lamplighter group $(\mathbb Z_2^2)\wr\mathbb Z$ of rank two. The action of the generators on the boundary of the tree can be induced by the affine transformations on the…

Generalizing the idea of self-similar groups defined by Mealy automata, we itroduce the notion of a self-similar automaton and a self-similar group over a changing alphabet. We show that every finitely generated residually-finite group is…

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…

We show presentations of automata groups generated by Cayley machines of finite groups of nilpotency class two and these automata groups are all cross-wired lamplighters.

In this paper we introduce a way to estimate a level of closeness of Cayley automatic groups to the class of automatic groups using a certain numerical characteristic. We characterize Cayley automatic groups which are not automatic in terms…

We construct a bireversible self-dual automaton with $3$ states over an alphabet with $3$ letters which generates the lamplighter group $\mathbb{Z}_3\wr\mathbb{Z}$.

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

We consider a very simple Mealy machine (three states over a two-symbol alphabet), and derive some properties of the semigroup it generates. In particular, this is an infinite, finitely generated semigroup; we show that the growth function…

We prove that a semigroup generated by a reversible two-state Mealy automaton is either finite or free of rank 2. This fact leads to the decidability of finiteness for groups generated by two-state or two-letter invertible-reversible Mealy…

Bartholdi, Neuhauser and Woess proved that a family of metabelian groups including lamplighters have a striking geometric manifestation as 1-skeleta of horocyclic products of trees. The purpose of this article is to give an elementary…

In this article, we introduce halo products as a natural generalisation of wreath products. They also encompass lampshuffler groups $\mathrm{FSym}(H) \rtimes H$ and lampcloner groups $\mathrm{FGL}(H) \rtimes H$, as well as many possible…

We describe a family of finitely presented groups which are quasi-isometric but not bilipschitz equivalent. The first such examples were described by the first author and are the lamplighter groups $F \wr \mathbb{Z}$ where $F$ is a finite…

Classification of groups generated by 3-state automata over a 2-letter alphabet started in the first paper (see http://www.arxiv.org/abs/math/0612178) is continued.

It is shown that certain ascending HNN extensions of free abelian groups of finite rank, as well as various lamplighter groups, can be realized as automaton groups, i.e., can be given a self-similar structure. This includes the solvable…

We show that certain lamplighter groups that are quasi-isometric to each other are not bilipschitz equivalent. This gives a positive answer to a question in Topics in Geometric Group Theory by Pierre de la Harpe (page 107).

We examine the geometry of the Cayley graph of the lamplighter group with respect to the generating set rising from its interpretation as an automata group due to Grigorchuk and Zuk. We find some metric behavior with respect to this…

We consider Turing machines as actions over configurations in $\Sigma^{\mathbb{Z}^d}$ which only change them locally around a marked position that can move and carry a particular state. In this setting we study the monoid of Turing machines…