# Orbits of Automaton Semigroups and Groups

Abstract : We study the orbits of right infinite or $\omega$-words under the action of semigroups and groups generated by automata. We see that an automaton group or semigroup is infinite if and only if it admits an $\omega$-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 $\omega$-word with an infinite orbit under their action. We also discuss the situation in self-similar semigroups and groups and present some applications of the result. Additionally, we investigate the orbits of periodic and ultimately periodic words as well as the existence of $\omega$-words whose orbit is finite.
Document type :
Preprints, Working Papers, ...
Domain :

https://hal-ens-lyon.archives-ouvertes.fr/ensl-02409431
Contributor : Dominik Francoeur <>
Submitted on : Friday, December 13, 2019 - 2:22:25 PM
Last modification on : Tuesday, December 17, 2019 - 2:27:20 AM

### Identifiers

• HAL Id : ensl-02409431, version 1
• ARXIV : 1903.00222

### Citation

Daniele d'Angeli, Dominik Francoeur, Emanuele Rodaro, Jan Philipp Wächter. Orbits of Automaton Semigroups and Groups. 2019. ⟨ensl-02409431⟩

Record views