概念

模

自由模有基，张量积把双线性映射线性化，正合列精确描述映射间的「无间隙」关系，是交换代数与同调代数的语言。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

模抽象代数

01定义

模是「环上的向量空间」：标量取自环

R

而非域——于是基未必存在、自由模与有限生成模出现微妙差异。张量积把双线性映射线性化，正合列精确描述映射间的衔接关系，是交换代数与同调代数的语言。

模 = 环 R 作用在加法群 M 上：r·m 满足分配与结合

域上向量空间全由维数分类；模则可能无基（如 $\mathbb{Z}/n$ 作为 $\mathbb{Z}$ -模）、有挠元——结构理论由此丰富（有限生成模分类定理）。

$M\otimes_R N$ 把双线性映射「线性化」： $\operatorname{Bilin}(M,N;P)\cong\operatorname{Hom}(M\otimes N,P)$ ——它是多重线性代数的通用接口。

$0\to A\xrightarrow{f}B\xrightarrow{g}C\to 0$ 正合即「像恰为核」： $f$ 单、 $g$ 满、 $B$ 被 $A$ 与 $C$ 「夹出」——模的语言精确描述结构的装配方式。

\operatorname{Bilin}(M\times N,P)\cong\operatorname{Hom}(M\otimes_R N,\,P)

\text{正合}:\operatorname{im}f=\ker g

模概念由诺特在 1920 年代引入以统一理想论与表示论；「张量积」术语由惠特尼 1938 年定型；布尔巴基学派将其确立为现代代数的基本构造。

同调代数的全部机器运转在模范畴上；微分几何的张量场、量子力学的态空间张量积、代数拓扑的上同调环都是模思想的化身。

Z/n 上的标量倍：循环模的轮盘拖 n 换模数、拖 k 换标量：每个元素被标量作用绕轮盘平移

n 模数8k 标量3