これによりテンソル積空間上に環構造が定まり、は体のテンソル積(tensor product of fields)と呼ばれる可換-代数になる。