Matemáticamente, la teoría de Bass-Serre se construye sobre la explotación y generalización de las propiedades de dos viejas construcciones teórico-grupales: producto libre amalgamado y HNN-extensión.