Infinite Automaton Semigroups andGroups Have Infinite Orbits - ENS de Lyon - École normale supérieure de Lyon Accéder directement au contenu
Article Dans Une Revue Journal of Algebra Année : 2020

Infinite Automaton Semigroups andGroups Have Infinite Orbits

Daniele d'Angeli
  • Fonction : Auteur
Emanuele Rodaro
  • Fonction : Auteur
Jan Philipp Wächter
  • Fonction : Auteur

Résumé

We show that an automaton group or semigroup is infinite if and only if it admits an ω-word (i. e. a right-infinite word) with an infinite orbit, which solves an open problem communicated to us by Ievgen V. Bondarenko. In fact, we prove a generalization of this result, which can be applied to show that finitely generated subgroups and subsemigroups as well as principal left ideals of automaton semigroups are infinite if and only if there is an ω -word with an infinite orbit under their action. The proof also shows some interesting connections between the automaton semigroup and its dual. Finally, our result is interesting from an algorithmic perspective as it allows for a reformulation of the finiteness problem for automaton groups and semigroups.
Fichier principal
Vignette du fichier
1903.00222.pdf (258.12 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

ensl-02409431 , version 1 (11-12-2020)

Identifiants

Citer

Daniele d'Angeli, Dominik Francoeur, Emanuele Rodaro, Jan Philipp Wächter. Infinite Automaton Semigroups andGroups Have Infinite Orbits. Journal of Algebra, 2020, 553, pp.119-137. ⟨10.1016/j.jalgebra.2020.02.014⟩. ⟨ensl-02409431⟩

Collections

ENS-LYON UDL
135 Consultations
38 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More