It is known that the problem of determining consistency of a finite system of equations in a free group or a free monoid is decidable, but the corresponding problem for systems o...
The Whitehead minimization problem consists in finding a minimum size element in the automorphic orbit of a word, a cyclic word or a finitely generated subgroup in a finite rank...
A limit group is a finitely generated subgroup of a residually free group. We prove the result announced in the tittle. 2000 Mathematics Subject Classification: 20E06, 20E08, 20...