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).