Tensor product
现在, 如果我们在一个整环里取两个多项式formula_57, 使得理想 formula_58 是完全交, 那么张量积的性质告诉我们