伽罗瓦联络

伽罗瓦联络是数学中一切“来回”对偶背后的抽象模式：两个有序的世界，由一对方向相反的映射相连，使得过去再回来从不把事情变糟，只会把它“封闭起来”。最初的例子是域论——在取固定域与自同构群下的子域与子群——但同一骨架也支配着代数几何中理想与簇的对应，乃至更多。

严格地说，偏序集 (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) 之间互逆的反序双射。这单一抽象解释了为何伽罗瓦理论基本定理把中间域与子群反包含地配对，以及为何零点定理把根理想与仿射簇配对——二者都是同一序论机制的实例。