SiG1,G2,…,Gn es una lista den grupos hacemos el producto cartesianoG1×G2×⋯×Gn en un grupo definiendo la operación binaria\[(a_1,a_2, \dots, a_n) \cdot ...SiG1,G2,…,Gn es una lista den grupos hacemos el producto cartesianoG1×G2×⋯×Gn en un grupo definiendo la operación binaria(a1,a2,…,an)⋅(b1,b2,…,bn)=(a1⋅b1,a2⋅b2,…,an⋅bn). Aquí para cadai∈{1,2,…,n} productoai⋅bi es el producto deai y bien el grupoGi.
