主理想整環上的模

模就是把純量從域換成環的向量空間。你可以做加法，可以用環元素去乘，所有尋常的分配律、結合律都成立——唯一的讓步是環純量不必可逆。向量空間恰好就是域上的模；模則是去掉「域」這個要求後的同一想法。

PID——主理想整環——是一類特別好的環：每個理想都由單個元素生成的交換整環，比如整數 Z 或多項式環 F[x]。PID 上的模是理論的甜蜜點：結構足夠好，使一切都乾淨地分解；又足夠一般，能同時涵蓋阿貝爾群（Z 上的模）和算子情形（F[x] 上的模）。

回報就是 PID 上有限生成模的結構定理：任何這樣的模都分裂成一個自由部分加上若干循環撓模塊之和。把環特化為 F[x]，這一條定理就免費給你有理標準形和約當形。

為什麼非要 PID 而不是任意環？在一般環上子模可能很狂野，沒有乾淨的分類。PID 這個假設恰恰是讓史密斯標準形、整除鏈、唯一分解都奏效的關鍵——去掉它，整台機器就卡死。