Esta teoría relaciona las acciones de los grupos sobre árboles con la descomposición de grupos como aplicaciones iteradas de las operaciones de producto libres con amalgamación y la de HNN-extensión, empleando principalmente el concepto de grupo fundamental de un grafo de grupos.