史密斯标准形

史密斯标准形是熟悉的“把矩阵约化成干净对角”这一想法在 PID 上的版本。给定 PID R（想想 F[x] 或 Z）上的矩阵，你被允许做该环上的可逆行列变换，目标是把对角线之外的每个元素都化为零。最终到达的是对角矩阵 diag(d1, d2, …, dr, 0, …, 0)，其中 d1 | d2 | … | dr。

允许的操作恰好是可逆的 R-矩阵操作：交换行或列、把某行（或列）的 R-倍加到另一行、用单位元素去缩放。你不能除以非单位元素，这正是与域上高斯消元的全部差别——在 F[x] 上你无法把二次多项式变成 1，所以对角线携带真正的多项式内容。

对角元素 d1、…、dr 化为首一后称作该矩阵的不变因子，它们唯一确定：它们是各阶子式的最大公因式。对 F[x] 上的矩阵 xI - A，其史密斯对角中的非单位元素恰好是算子 A 的不变因子——所以计算 xI - A 的史密斯标准形是一种直接、无需特征值的求有理标准形算法。

实用提醒：用多项式元素手算簿记繁重，而在 Z 或有限域上朴素消元会遭遇系数爆炸。真实实现用模方法或无分式方法，但 SNF 的存在与唯一恰恰是典范形定理的保证。