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.