On groups of reversible automata

DOI10.15421/242528MaRDI QIDQ6846831zbMATH OpenFDO

Authors A. Oliynyk

Publication date 11 March 2026

Published in Researches in Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.15421/242528

zbMATH Keywords

automaton grouplamplighter groupreversible automaton

Mathematics Subject Classification ID

Groups acting on trees (20E08) Extensions, wreath products, and other compositions of groups (20E22) Semigroups in automata theory, linguistics, etc. (20M35)

Review text

The paper constructs, for an arbitrary nontrivial finite group \(X\), a reversible automaton \(A_X\) whose state set and alphabet both coincide with \(X\) and whose transition and output functions are defined via the left regular action of \(X\). The associated automaton arises from an oriented square complex \(\Delta_X\), which is shown to be non-complete; consequently, \(A_X\) is reversible but not bireversible. The paper studies the automaton group \(G_X\) generated by \(A_X\).\N\NOne of the main results establishes that \(G_X\) acts level transitively on the rooted tree \(X^*\). The group admits a structural decomposition: it splits as a semidirect product of a subgroup generated by infinitely many copies of \(X\) indexed over \(\mathbb{Z}\) with an infinite cyclic group generated by a distinguished element. A further result shows that \(G_X\) contains a lamplighter subgroup of the form \(A \wr \mathbb{Z}\), where \(A\) is the center of \(X\).

Cites work

• Affine automorphisms of rooted trees
• Amalgamated free product in terms of automata constructions
• Automata and square complexes.
• Automata, dynamical systems, and groups
• Automaton groups and complete square complexes
• Bireversible automata generating lamplighter groups
• Commensurators of groups and reversible automata
• scientific article; zbMATH DE number 2195483 (Why is no real title available?)
• Lamplighter groups, bireversible automata, and rational series over finite rings
• ON A CLASS OF AUTOMATA GROUPS GENERALIZING LAMPLIGHTER GROUPS
• On Burnside's problem on periodic groups
• On reversible automata generating lamplighter groups
• On state-closed representations of restricted wreath product of groups \(G_{p,d}=C_{p}wrC^{d}\)
• Self-similar products of groups
• Some solvable automaton groups.
• The lamplighter group Z₃ Z generated by a bireversible automaton
• The lamplighter group as a group generated by a 2-state automaton, and its spectrum
• The lamplighter group of rank two generated by a bireversible automaton

This page was built for publication: On groups of reversible automata

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