"a",1), ("a","b")}，带有逐元素运算。例如，(1,"b")*("a",1) = (1*"a", "b"*1) = ("a","b")，而 (1,"b")*(1,"b") = (1,"b") = (1,1)。通过直积，我们得到一些自然群同态: 投影映射 叫做坐标函数。还有，在直积上的所有同态 "f" 都完全决定自它的分量(component)函数 formula_23。对于任何群 ("G", *)，和任何整数 "n" ≥ 0，多次应用直积得到所有 "n"-元组的群 "G" ("n