We combine combinatorial and geometric techniques from group theory to study the structure of sets of solutions to systems of equations (varieties) over a free semigroup.



 The Makanin-Razborov diagram that we associate with such a variety can be used to study fragments of the first order theory of a free semigroup, and to start the study of varieties over free associative algebras.