Freeness of automaton groups vs boundary dynamics

Daniele D'Angeli, Emanuele Rodaro

Research output: Contribution to journalArticleResearchpeer-review

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.

Original languageEnglish
Pages (from-to)115-136
Number of pages22
JournalJournal of algebra
Volume462
DOIs
Publication statusPublished - 15 Sep 2016

Fingerprint

Transducer
Automata
Finite Graph
Semigroup
Class

Keywords

  • Automaton groups
  • Boundary actions
  • Essentially free actions
  • Schreier graphs

ASJC Scopus subject areas

  • Algebra and Number Theory

Cite this

Freeness of automaton groups vs boundary dynamics. / D'Angeli, Daniele; Rodaro, Emanuele.

In: Journal of algebra, Vol. 462, 15.09.2016, p. 115-136.

Research output: Contribution to journalArticleResearchpeer-review

D'Angeli, Daniele ; Rodaro, Emanuele. / Freeness of automaton groups vs boundary dynamics. In: Journal of algebra. 2016 ; Vol. 462. pp. 115-136.
@article{c83a7e89f04041caa538e0b832477e21,
title = "Freeness of automaton groups vs boundary dynamics",
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.",
keywords = "Automaton groups, Boundary actions, Essentially free actions, Schreier graphs",
author = "Daniele D'Angeli and Emanuele Rodaro",
year = "2016",
month = "9",
day = "15",
doi = "10.1016/j.jalgebra.2016.05.015",
language = "English",
volume = "462",
pages = "115--136",
journal = "Journal of algebra",
issn = "0021-8693",
publisher = "Academic Press",

}

TY - JOUR

T1 - Freeness of automaton groups vs boundary dynamics

AU - D'Angeli, Daniele

AU - Rodaro, Emanuele

PY - 2016/9/15

Y1 - 2016/9/15

N2 - 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.

AB - 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.

KW - Automaton groups

KW - Boundary actions

KW - Essentially free actions

KW - Schreier graphs

UR - http://www.scopus.com/inward/record.url?scp=84976554478&partnerID=8YFLogxK

U2 - 10.1016/j.jalgebra.2016.05.015

DO - 10.1016/j.jalgebra.2016.05.015

M3 - Article

VL - 462

SP - 115

EP - 136

JO - Journal of algebra

JF - Journal of algebra

SN - 0021-8693

ER -