对象的乘积，比如 formula_18。我们甚至可以谈论无限多个对象的乘积比如 formula_19。
群直积.在群论中可以定义两个群 ("G", *) 和 ("H", o) 的直积，指示为 "G" × "H"。对于写为加法的阿贝尔群，它也可以叫做两个群的直和，指示为 formula_20。它定义为如下:(注意运算 * 可以同于 o。)这个构造给出了新群。它有同构于 "G" (构成自形如 ("g", 1) 的元素)的一个正规子群，和同构于 "H" (构成自元素 (1, "