We prove that the boundary dynamics of the (semi)group generated by the enriched dual transducer characterizes the algebraic property of being free for an automaton group. We specialize this result to the class of bireversible transducers and we show that the property of being not free is equivalent to the existence of a finite Schreier graph in the boundary of the enriched dual pointed at some essentially non-trivial point. From these results we derive some consequences from the algebraic, algorithmic and dynamical points of view.

Freeness of automaton groups vs boundary dynamics

RODARO, EMANUELE
2016

Abstract

We prove that the boundary dynamics of the (semi)group generated by the enriched dual transducer characterizes the algebraic property of being free for an automaton group. We specialize this result to the class of bireversible transducers and we show that the property of being not free is equivalent to the existence of a finite Schreier graph in the boundary of the enriched dual pointed at some essentially non-trivial point. From these results we derive some consequences from the algebraic, algorithmic and dynamical points of view.
File in questo prodotto:
File Dimensione Formato  
Freeness of automaton groups vs boundary dynamics.pdf

Accesso riservato

: Publisher’s version
Dimensione 475.59 kB
Formato Adobe PDF
475.59 kB Adobe PDF   Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11311/1007642
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 12
  • ???jsp.display-item.citation.isi??? 12
social impact