Ein modulares Gitter ist ein Gitter, das die modulare Identität erfüllt: für alle x, y, z mit x ≤ z gilt x ∨ (y ∧ z) = (x ∨ y) ∧ z. Diese Bedingung ist schwächer als Distributivität, aber stärker als die bloßen Gitteraxiome und steuert die Wechselwirkung von Join und Meet, wenn ein Element unter einem anderen steht.

Prinzip

Setze eine einseitige Kompatibilität zwischen Join und Meet durch, die bestimmte pathologische Konfigurationen ausschließt und gleichzeitig viele algebraische Gitter (z. B. Unterraumgitter) einschließt; Modularität ist eine ausgewogene Abschwächung der Distributivität, geeignet für linearartige Strukturen.

Demonstration

Das Gitter der Unterräume eines Vektorraums ist modular: Sind U ⊆ W Unterräume und V beliebig, dann gilt U + (V ∩ W) = (U + V) ∩ W, was der modularen Identität in linearer Sprache entspricht. Viele aus der Modultheorie stammende Gitter sind modular.

Fehlanwendung

Modularität mit Distributivität zu verwechseln führt zu Fehlern: etwa ist die Annahme, modulare Gitter hätten dieselben Zerlegungen in Joins irreduzibler Elemente wie distributive Gitter, falsch; Schlussfolgerungen, die distributive Identitäten benötigen, greifen nicht.

Konsequenz

Modularität erlaubt dimensionstypische Argumente und zahlreiche Strukturtheoreme (z. B. Verfeinerung von Ketten, Jordan–Hölder-ähnliche Zerlegungen in modularen Kontexten) und ist gleichzeitig breit genug, um Unterraumgitter und Modulgitter zu erfassen.

Umkehrung

Wird Modularität fallengelassen, gelangt man zu allgemeinen Gittern mit weniger Zwängen; wird hingegen vollständige Distributivität gefordert, entsteht eine strikt kleinere Klasse mit stärkeren Zerlegungs- und Darstellungseigenschaften.

Abgrenzung

Modularität betrifft Tripel mit der Ordnungsrelation x ≤ z; sie impliziert weder Distributivität noch Komplementarität oder Atomizität. Es gibt modulare Gitter, die nicht distributiv sind, und distributive Gitter, die modular sind; die Eigenschaften sind unabhängig außer unter zusätzlichen Annahmen.

Semantische Spannung

Modularität steht zwischen allgemeinen Gittern und distributiven Gittern: Sie ist oft die passende Hypothese in linear-algebraischen Zusammenhängen, wo Distributivität versagt, aber eine kontrollierte Wechselwirkung zwischen Summen und Schnitten bleibt; die Unterscheidung ist wichtig für Anwendung von Darstellungssätzen.

Synthese

Ein modulares Gitter ist ein Gitter mit einer einseitigen Distributivitätsbeschränkung (dem modularen Gesetz), die das geordnete Zusammenwirken von Join und Meet formalisiert und viele lineare sowie modulare Gitter erfasst, während sie Verhaltensweisen zulässt, die vollständige Distributivität ausschließen.