## [Distributives Gitter](/de/node/62329) Definition 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 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 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 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 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 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 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 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 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.