在数学中，经常定义已知对象的直积（direct product）来给出新对象。例子有集合的乘积（参见笛卡尔积），群的乘积（下面描述），环的乘积和其他代数结构的乘积。拓扑空间的乘积是另一个例子。
例子.以类似的方式，我们可以谈论多于两个对象的乘积，比如 formula_18。我们甚至可以谈论无限多个对象的乘积比如 formula_19。
群直积.在群论中可以定义两个群 ("G", *) 和 ("H", o) 的直积，指示为 "G" × "H"。对于写