伽羅瓦聯絡

伽羅瓦聯絡是數學中一切「來回」對偶背後的抽象模式：兩個有序的世界，由一對方向相反的映射相連，使得過去再回來從不把事情變糟，只會把它「封閉起來」。最初的例子是體論——在取固定體與自同構群下的子體與子群——但同一骨架也支配著代數幾何中理想與簇的對應，乃至更多。

嚴格地說，偏序集 (P, ≤) 與 (Q, ≤) 之間的（反序）伽羅瓦聯絡是一對反序映射 f: P -> Q 與 g: Q -> P，滿足伴隨條件：對一切 p 屬於 P、q 屬於 Q，q ≤ f(p) 當且僅當 p ≤ g(q)。等價地，f 與 g 各自反序，且兩個複合都是膨脹的：對一切 p, q 有 p ≤ g(f(p)) 與 q ≤ f(g(q))。（亦有協變的、單調的版本，其中映射保序，聯絡成為視偏序集為範疇時的一個伴隨。）

由公理自動推出兩個關鍵事實：複合閉包算子 c = g∘f 與 c' = f∘g 是冪等、單調且膨脹的，而 f、g 限制為閉元素 c(P) 與 c'(Q) 之間互逆的反序雙射。這單一抽象解釋了為何伽羅瓦理論基本定理把中間體與子群反包含地配對，以及為何零點定理把根理想與仿射簇配對——二者都是同一序論機制的實例。