史密斯標準形

史密斯標準形是熟悉的「把矩陣約化成乾淨對角」這一想法在 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 的存在與唯一恰恰是典範形定理的保證。