Die partiell geordnete Menge aller Kongruenzrelationen einer gegebenen Algebra, geordnet durch Inklusion; diese Poset ist ein Gitter unter Schnitt und Join (generierte Kongruenz) und kodiert, wie Quotienten zusammenhängen und kombiniert werden können.

Prinzip

Kongruenzen einer Algebra bilden ein Gitter Con(A), wobei das Meet die Schnittmenge und das Join die kleinste Kongruenz enthält, die die Vereinigung einschließt; die Gitterstruktur ordnet die möglichen Faktorisierungen einer Algebra und das Zusammenwirken von Kongruenzen.

Demonstration

Für ein endliches Gitter L als Algebra bildet die Menge aller Kongruenzen von L, geordnet nach Inklusion, ein distributives Gitter, das widerspiegelt, wie Quotientgitter bestimmte Intervalle zusammenziehen; die Berechnung von Con(L) zeigt, welche Teilstrukturen herausfaktorisierbar sind.

Fehlanwendung

Zu unterstellen, das Kongruenzgitter einer nicht-universellen Struktur oder einer Algebra ohne festgelegte Operationen verhalte sich wie das Unteralgebren-Gitter; Verwechslungen von Untergittern von Unteralgebren mit Con(A) führen zu falschen Schlüssen über mögliche Quotienten.

Konsequenz

Das Wissen um Con(A) gibt einen globalen Überblick über alle Quotientenalgebren, erlaubt die Übertragung gittertheoretischer Eigenschaften (Modularität, Distributivität, Permutabilität) in algebraische Konsequenzen und ist zentral für Zerlegungssätze.

Umkehrung

Die umgekehrte Frage ist, beliebige Gitter zu betrachten und zu fragen, ob sie als Con(A) für eine Algebra A realisierbar sind; nicht jedes Gitter ist ein Kongruenzgitter, und diese Umkehr motiviert Repräsentationsprobleme.

Abgrenzung

Gilt nur für Algebren mit wohldefinierten Kongruenzen; Con(A) ist ein Gitter im Sinne der Universalalgebra, erfasst aber keine zusätzliche Struktur (Ordnungen, Topologien), sofern diese nicht in der Signatur oder durch zusätzliche Daten kodiert sind.

Semantische Spannung

Es besteht Spannung zwischen der Auffassung des „Gitters der Kongruenzen“ als bloße Ordnung von Relationen und als algebraischem Invariant, das mögliche homomorphe Bilder einschränkt; erstere Sicht ist beschreibend, letztere vorschreibend.

Synthese

Das Kongruenzgitter ist das Gitter aller operationskompatiblen Äquivalenzen einer Algebra, das organisiert, wie die Algebra quotiert werden kann, welche Faktorisierungen möglich sind und welche gittertheoretischen Eigenschaften in die algebraische Struktur übergehen.