所有 "n"-元组的群 "G" ("n"=0 时是平凡群)。例如:
模的直积.模的直积(不要混淆于张量积)非常类似于上述群直积的定义，使用笛卡尔积带有逐分量的加法运算，和只分布在所有分量上的标量乘法运算。开始于 R 我们得到欧几里得空间R，它是实 "n"-维向量空间的原型例子。R 和 R 的直积是 R。注意有限索引 formula_24 的直积同一于直和 formula_25。直和与直积只对无限索引有区别，这里直和的元素对于除了对于有限多个之外所有的项目是零。它们是对偶的: