Ein distributives Gitter ist ein Gitter, in dem Meet und Join über einander distributiv sind: für alle x, y, z gilt x ∧ (y ∨ z) = (x ∧ y) ∨ (x ∧ z) (die duale Gesetzesform mit ∨ über ∧ ist im Rahmen der Gitteraxiome äquivalent).

Prinzip

Stelle die Kompatibilität von Meet und Join her, sodass Vereinigung und Schnitt (oder analoge Operationen) distributiv zusammenwirken und algebraische Manipulationen ähnlich der Distributivität in Ringen oder booleschen Algebren ermöglichen.

Demonstration

Die Potenzmenge P(S) ist ein distributives Gitter, da Schnitt sich über Vereinigung verteilt: A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C). Boolesche Algebren sind distributive Gitter mit Komplement.

Fehlanwendung

Distributivität in nichtdistributiven Gittern vorauszusetzen (z. B. im Gitter der Unterräume eines Vektorraums mit dim > 1) führt zu falschen Vereinfachungen; distributive Identitäten in modularen aber nichtdistributiven Gittern anzuwenden erzeugt unzutreffende Gleichheiten.

Konsequenz

Distributivität ermöglicht kanonische Darstellungen (etwa über Primelemente oder join/meet-irreduzible Elemente), einfachere Dualitätssätze und den Einsatz algebraischer Methoden analog zur Faktorisierung; sie bildet die Grundlage boolescher Logik und vieler kombinatorischer Vereinfachungen.

Umkehrung

Wird Distributivität fallen gelassen, erhält man breitere Klassen wie modulare oder allgemeine Gitter; im anderen Extrem führt Hinzufügen von Komplementen und Distributivität zu booleschen Algebren, einer stark strukturierten Unterklasse.

Abgrenzung

Distributive Gitter verlangen die Distributivgesetze für alle Tripel von Elementen; endliche distributive Gitter sind gemäß Birkhoff isomorph zu den Gittern absteigender Mengen eines Posets, während für unendliche Fälle zusätzliche Vollständigkeitsbedingungen nötig sind.

Semantische Spannung

Distributivität steht in Spannung zur Modularität: Modulare Gitter erfüllen eine schwächere Identität, die in vielen algebraischen Gittern (z. B. Unterräume) gilt, obwohl vollständige Distributivität fehlt; diese Unterscheidung ist relevant bei Zerlegungs- und Dualitätssätzen.

Synthese

Ein distributives Gitter ist ein Gitter, in dem Meet und Join nach den Distributivgesetzen zusammenspielen, wodurch eine vorhersagbare algebraische Struktur entsteht, ähnlich Mengenoperationen, und die Grundlage für boolesche Logik und zahlreiche kombinatorische Darstellungen bildet.