Makanin–Razborov diagrams for limit groups

Abstract

We give a description of $Hom\left(G,L\right)$, where $L$ is a limit group (fully residually free group). We construct a finite diagram of groups, the Makanin–Razborov diagram, that gives a convenient representation of all such homomorphisms.