Groups which satisfy a Thue–Morse identity
Abstract
In this paper, we study 3-Thue–Morse groups, but these are the groups satisfying the semigroup identity xy2xyx2y=yx2yxy2xxy2xyx2y=yx2yxy2x. We prove that if GG is a 3-Thue–Morse group then 〈x,xy〉⟨x,xy⟩ is soluble for every xx and yy in GG. Furthermore, if GG is an Engel group without involution then we show that GG is locally nilpotent.
Communicated by M. L. Lewis