El coproducto en una categoría algebraica dada (comúnmente grupos, álgebras asociativas unitarias u otras variedades): el objeto universal generado por los factores sujeto únicamente a las relaciones ya presentes en cada factor. Para grupos, el producto libre G * H contiene copias de G y H y no impone relaciones entre ellas más allá de las internas a cada factor.

Principio

Formar la amalgama 'menos restringida' de objetos dados de modo que las aplicaciones desde los factores se extiendan de forma única: no imponer nuevas relaciones que enlacen factores distintos, realizando la propiedad universal del coproducto según la cual cualquier par de homomorfismos desde los factores hacia un objetivo factoriza a través del producto libre.

Demostración

El producto libre Z * Z de dos grupos cíclicos infinitos es el grupo libre F_2 sobre dos generadores; los elementos son palabras reducidas que alternan potencias de los dos generadores sin más relaciones.

Aplicación incorrecta

Suponer que las relaciones de un factor interactúan automáticamente o colapsan las del otro —por ejemplo esperar conmutatividad entre factores— contradice la propiedad universal; mezclar relaciones sin efectuar una amalgama o un cociente es un uso indebido.

Consecuencia

La construcción del producto libre proporciona una herramienta flexible para construir objetos con relaciones internas prescritas manteniéndose externamente lo más libre posible; sustenta construcciones en teoría combinatoria de grupos, descomposiciones de van Kampen y construcciones universales en álgebra.

Inversión

El enfoque opuesto es imponer todas las relaciones cruzadas posibles, produciendo productos con restricciones máximas (p. ej. producto directo o diversas construcciones por cociente); la inversión enfatiza interacciones dependientes en lugar de amalgama libre.

Límite

Se aplica como el coproducto categórico en la variedad algebraica elegida; su forma y propiedades dependen de la categoría (en categorías abelianas el coproducto difiere de los productos libres no abelianos), y no sirve cuando se requieren identificaciones o amalgamas adicionales sin cocientes posteriores.

Tensión semántica

Existe tensión entre 'producto libre' y 'objeto libre' o 'producto directo' — el producto libre es universal sin relaciones cruzadas, mientras que el producto directo o las construcciones en contextos abelianos introducen coordenadas conmutativas o restricciones universales adicionales.

Síntesis

La construcción del producto libre crea la amalgama universal de objetos dados sin relaciones inter-factor adicionales, siendo la forma canónica de combinar generadores y relaciones preservando la estructura interna de cada factor.