##  [Galois‑Verbindung](/de/node/60249) 

 Definition

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

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

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

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

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

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

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

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

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.