Tensor product
设"formula_1"是域formula_7上一个向量空间。对任何非负整数formula_8，我们定以"formula_1"的formula_8"次张量积为"formula_1"与自己的formula_8"次张量积：