テンソル積
となるように積が定義できる（実際この式は各変数に関して -線型ゆえ、テンソル積の普遍性により、生成元の上で考えたこの積はテンソル積空間全体で定義された双線型な積に拡張できる）。これによりテンソル積空間上に環構造が定まり、 は体のテンソル積 (tensor product of fields) と呼ばれる可換 -代数になる。