El producto cartesiano de una familia de estructuras algebraicas (módulos, grupos, anillos) provisto de operaciones componente a componente, compuesto por todas las tuplas sin restricción de finitud; es el producto categórico.

Principio

Caracterizado por la propiedad universal del producto: los morfismos hacia el producto corresponden a familias de morfismos hacia cada factor, con proyecciones canónicas desde el producto a cada componente.

Demostración

El producto directo de dos grupos abelianos A y B es A×B con la suma (a1,b1)+(a2,b2)=(a1+a2,b1+b2); un homomorfismo X→A×B equivale a un par de homomorfismos X→A y X→B obtenidos componiendo con las proyecciones.

Aplicación incorrecta

Usar el producto directo como si fuera la suma directa en familias infinitas o asumir propiedades de soporte finito; los cálculos de duales y las completaciones topológicas difieren sustancialmente entre producto y suma.

Consecuencia

Permite considerar simultáneamente muchos factores, constituye límites en categorías algebraicas y produce productos de módulos o grupos que preservan proyecciones y muchas propiedades estructurales componente a componente.

Inversión

Cambiar a la suma directa impone la restricción de soporte finito y da un coproducto en lugar de un producto; las propiedades de mapeo cambian de proyecciones a inclusiones y alteran el comportamiento dual.

Límite

Se aplica en categorías algebraicas ordinarias; cuando hay estructura adicional (topología, graduación) el producto algebraico puede requerir completaciones o no reflejar continuidad o restricciones de graduación deseadas.

Tensión semántica

A menudo se confunde con la suma directa externa para familias finitas y con construcciones tensoriales; el producto contiene todas las tuplas, mientras que construcciones relacionadas imponen finitud, combinaciones lineales o cocientes.

Síntesis

El producto directo es el ensamblaje cartesiano sin restricciones de factores algebraicos con operaciones por componente, representa el producto categórico y contrasta con la suma directa de soporte finito.