Ein Paar monotoner Abbildungen zwischen partiell geordneten Mengen, wobei die eine linksadjungiert und die andere rechtsadjungiert ist, so dass die Komposition beidseitige Ordnungsungleichungen erfüllt (f(a) ≤ b genau dann, wenn a ≤ g(b)); diese Korrespondenz verknüpft schließungsähnliche und kernähnliche Operationen und organisiert Dualitäten zwischen Verbänden und ihren Bildern.

Prinzip

Für Posets (P, ≤) und (Q, ≤) besteht eine Galois-Verbindung aus Abbildungen f: P → Q und g: Q → P mit f(p) ≤ q ⇔ p ≤ g(q). Äquivalent ist f der linke Adjunkt zu g und erhält vorhandene Vereinigungen (Joins), während g Schnitte (Meets) erhält; so kodiert die Verbindung eine universelle Korrespondenz zwischen Bild und Urbild.

Demonstration

Die Abbildung, die eine Teilmenge A einer Gruppe auf die von A erzeugte Untergruppe schickt, und die Abbildung, die eine Untergruppe H auf ihre zugrundeliegende Menge zurückführt, bilden eine Galois-Verbindung zwischen der Potenzmengenverband und dem Verband der Untergruppen; Abschlüsse und Kerne erscheinen als Kompositionen g∘f und f∘g.

Fehlanwendung

Beliebige ordnungsumkehrende Paare als Galois-Verbindung zu behandeln oder die Existenz von Adjunkten anzunehmen, ohne die beidseitige Ungleichung zu prüfen, führt zu falschen Schlüssen über Abschlüsse und geht universelle Eigenschaften verloren.

Konsequenz

Eine echte Galois-Verbindung liefert kanonische Abschluss- und Kernoperatoren (idempotent, monotone) und universelle Beschreibungen: Linke Adjunkte erhalten Kolimiten (Joins), rechte Adjunkte erhalten Limiten (Meets), und Probleme lassen sich mittels der Adjungierten auf die andere Seite übertragen.

Umkehrung

Das Umkehren der Verbindung vertauscht linken und rechten Adjunkt und kehrt die Rollen von Joins und Meets um; konzeptionell entsteht die duale Galois-Verbindung, in der schließungsartiges Verhalten zu kernartigem Verhalten wird und umgekehrt.

Abgrenzung

Gilt für Posets oder Verbände mit monotonen Abbildungen; es erfordert keine zusätzliche algebraische Struktur wie Gruppen, verlangt jedoch, dass die Adjungiertenungleichung global gilt; nicht jede monotone Paarbildung ist eine Galois-Verbindung.

Semantische Spannung

Der Begriff steht in Spannung mit 'Adjunktion' aus der Kategorientheorie: Eine Galois-Verbindung ist ein Spezialfall einer adjungierten Paarbildung auf Posets, deshalb sind posetspezifische Folgerungen (ordnungstheoretische Abschlüsse) von allgemeinen adjungierten Phänomenen zu unterscheiden.

Synthese

Eine Galois-Verbindung ist die ordnungstheoretische Adjunktion zwischen zwei Posets gegeben durch ein linkes und ein rechtes monotones Abbild, das eine bidirektionale Ungleichung erfüllt; sie erzeugt kanonische Abschluss- und Kernoperatoren und ermöglicht den Transfer universeller Konstruktionen.