Des groupes magiques ou quand des sous-groupes libres affines opèrent proprement discontinûment sur
Nous présentons un algorithme permettant de convertir une présentation de variété de dimension 3 comme revêtement simple à trois feuillets de la sphère en une présentation de chirurgie.
This paper is the first in a sequence on the structure of sets of solutions to systems of equations in a free group, projections of such sets, and the structure of elementary sets defined over a free group. In the first paper we present the (canonical) Makanin-Razborov diagram that encodes the set of solutions of a system of equations. We continue by studying parametric families of sets of solutions, and associate with such a family a canonical graded Makanin-Razborov diagram, that encodes the collection...