主理想整环上的模

模就是把标量从域换成环的向量空间。你可以做加法，可以用环元素去乘，所有寻常的分配律、结合律都成立——唯一的让步是环标量不必可逆。向量空间恰好就是域上的模；模则是去掉“域”这个要求后的同一想法。

PID——主理想整环——是一类特别好的环：每个理想都由单个元素生成的交换整环，比如整数 Z 或多项式环 F[x]。PID 上的模是理论的甜蜜点：结构足够好，使一切都干净地分解；又足够一般，能同时涵盖阿贝尔群（Z 上的模）和算子情形（F[x] 上的模）。

回报就是 PID 上有限生成模的结构定理：任何这样的模都分裂成一个自由部分加上若干循环挠模块之和。把环特化为 F[x]，这一条定理就免费给你有理标准形和约当形。

为什么非要 PID 而不是任意环？在一般环上子模可能很狂野，没有干净的分类。PID 这个假设恰恰是让史密斯标准形、整除链、唯一分解都奏效的关键——去掉它，整台机器就卡死。