En las matemáticas, particularmente en la teoría de grupos, el producto libre de grupos es la construcción de un nuevo grupo