Una manera similar pero más general de construir grupos a partir de antiguos es el producto libre amalgamado, que consiste empezar con dos grupos arbitrarios "A", "B" y un tercer "C" que se encuentra encajado en ambos "A" y "B", entonces uno toma el cociente formula_9