模的张量积
**模的张量积**
我们先从模的基本概念开始。一个模可以看作是在一个环上的“向量空间”,不过环不一定是一个域。具体来说,如果R是一个环,一个左R-模M是一个交换群(其运算写作加法),并配备了一个标量乘法 R × M → M,满足分配律、结合律等公理。
现在,假设我们有两个R-模,M和N。我们想构造一个新的R-模,它能够以一种“最一般”的方式来反映M和N的双线性关系。这个新的模就是M和N的张量积,记作 M ⊗_R N。
构造张量积的第一步是考虑一个巨大的自由模。我们取由所有形如 (m, n)
2025-11-09 17:30:41
0