伯克霍夫定理

伯克霍夫定理回答了一個根本問題：哪些代數類恰好就是你能用等式釘住的那些？令人驚訝而優美的答案是：你根本無需去看那些等式本身——一個類是等式類，當且僅當它對三種完全具體的構造運算封閉。這把一條邏輯性質（由恆等式可定義）轉化為一條結構性質（封閉性），並成為泛代數的基石。

確切地說，記 H 為取同態像、S 為取子代數、P 為取（任意的，含無窮的）直積之運算。伯克霍夫 HSP 定理（G. Birkhoff，1935）斷言：固定簽名的代數類 K 是簇——即對某組恆等式 E 有 K = Mod(E)——當且僅當 K 對 H、S、P 封閉。等價地，含類 K 的最小簇等於 HSP(K)，即按此次序施加這三種運算之結果。

一個方向是例行的：任何等式類顯然對 H、S、P 封閉，因為恆等式被商、子代數與積所保持。困難的方向要從一個對 HSP 封閉的類構造出一組定義恆等式，需藉助自由代數：相關恆等式從該類在可數多生成元上的自由代數讀出。若去掉積或容許關係，定理便失效，這正是它專屬於等式邏輯的緣故。