且结合。
构造.设"formula_1"是域formula_7上一个向量空间。对任何非负整数formula_8，我们定以"formula_1"的formula_8"次张量积为"formula_1"与自己的formula_8"次张量积：这便是讲，formula_14由"formula_1"上所有秩"formula_8"张量组成。习惯上formula_17是基域"formula_7"（作为自己的一维向量空间）。令formula_2为所有"formula_14"（formula_