SiG_1, G_2, \dots, G_n es una lista den grupos hacemos el producto cartesianoG_1\times G_2 \times \dots \times G_n en un grupo definiendo la operación binaria\[(a_1,a_2, \dots, a_n) \cdot ...SiG_1, G_2, \dots, G_n es una lista den grupos hacemos el producto cartesianoG_1\times G_2 \times \dots \times G_n en un grupo definiendo la operación binaria(a_1,a_2, \dots, a_n) \cdot (b_1, b_2, \dots, b_n) = (a_1 \cdot b_1, a_2 \cdot b_2, \dots, a_n \cdot b_n). Aquí para cadai \in \{ 1, 2, \dots, n \} productoa_i \cdot b_i es el producto dea_i y b_ien el grupoG_i.
