FAIR and interactive data graphics from a scientific knowledge graph

En teoría de grupos, el producto directo de dos grupos (G,*) y (H,·), denotado por G × H, es una forma natural de darle una estructura de grupo al producto cartesiano de los dos conjuntos. En el caso de grupos abelianos con notación aditiva, también se le llama suma directa, y se denota por .

El producto directo de (G,*) y (H,·) se define como sigue:^[1]​

• Como conjunto de elementos del nuevo grupo, tómese el producto cartesiano de los conjuntos G y H; es decir, {(g, h)| g ∈ G, h ∈ H}.
• Como operación entre estos elementos, defínase:

  

donde la primera componente es el producto en G y la segunda es el producto en H.

Esta construcción produce un nuevo grupo, con un subgrupo normal isomorfo a G, conformado por los elementos de la forma (g,1_H), y otro isomorfo a H, formado por los elementos (1_G,h).^[2]​

El argumento inverso también vale, como demuestra el siguiente teorema: si un grupo K contiene dos subgrupos normales G y H, tales que K = GH, y G ∩ H = {1}, entonces K es isomorfo a G × H.^[3]​ Al debilitar estas condiciones se obtiene el producto semidirecto.

Con el producto directo, se obtienen automáticamente algunos homomorfismos naturales, a saber: las funciones de proyección

,

llamadas a veces funciones coordenadas.

Todo homomorfismo f sobre un producto directo queda determinado totalmente por sus funciones componentes .

El producto directo es conmutativo en el sentido de que los productos G × H es isomorfo a H × G. También es asociativo en un sentido similar:^[4]​

Para cualquier grupo (G,·), y cualquier entero n ≥ 0, la aplicación repetida del producto directo da el grupo de n-tuplas Gⁿ (y el grupo trivial para n = 0).

A modo de ejemplo, sean G y H dos copias del grupo cíclico de orden dos, C₂: G = {1,g}, H = {1,h}. Entonces G × H = {(1,1), (1,h), (g,1), (g,h)}, con la operación elemento por elemento (por ejemplo, (1,h)·(g,1) = (1·g, h·1) = (g,h), y (1,h)·(1,h) = (1,h²) = (1,1)).

Si se toma G = R, el grupo de los reales con la suma, el grupo Gⁿ no es otro que Rⁿ, el espacio euclídeo de n dimensiones bajo la suma vectorial.

• Dummit, David S.; Foote, Richard M. (2004). Abstract Algebra (3ª edición). Wiley. ISBN 978-81-265-3228-5. 
• Rotman, Joseph J. (1999). An Introduction to the Theory of Groups (4ª edición). Springer. 

• Weisstein, Eric W. «Direct Product». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.