MODNET

Research Training Network in Model Theory

Publications > Preprint server > Preprint Number 972
Preprint Number 972
972. Laurent Bartholdi Algorithmic decidability of Engel's property for automaton groups E-mail: Submission date: 6 December 2015 Abstract: We consider decidability problems associated with Engel's identity ([…[[x,y],y],…,y]=1 for a long enough commutator sequence) in groups generated by an automaton. We give a partial algorithm that decides, given x,y, whether an Engel identity is satisfied. It succeeds, importantly, in proving that Grigorchuk's 2-group is not Engel. We consider next the problem of recognizing Engel elements, namely elements y such that the map x → [x,y] attracts to {1}. Although this problem seems intractable in general, we prove that it is decidable for Grigorchuk's group: Engel elements are precisely those of order at most 2. Our computations were implemented using the package FR within the computer algebra system GAP. Mathematics Subject Classification: Keywords and phrases: |

Last updated: December 17 2015 12:42 | Please send your corrections to: |