Infinite Automaton Semigroups and Groups Have Infinite Orbits

Daniele D'Angeli, Dominik Francoeur, Emanuele Rodaro +1

We show that an automaton group or semigroup is infinite if and only if it admits an $\omega$-word (i. e. a right-infinite word) with an infinite orbit, which solves an open problem com…