In der Ordnungstheorie versteht man unter einem semimodularen Verband einen Verband, der die folgende Bedingung erfüllt:

Der mit einem Mittelpunkt versehene Hexagonverband S7, auch als D2 bekannt, ist semimodular aber nicht modular.
Dieser Artikel behandelt Verallgemeinerungen der Modularität, die mit Hilfe der Bedeckungsrelation definiert sind. Für M-Symmetrie, die Verallgemeinerung der Modularität mittels modularer Paare, siehe modularer Verband.
Semimodulares Gesetz
impliziert .

Die Notation bedeutet, dass das Element das Element bedeckt, d. h. und für alle Elemente mit gilt oder .

Ein atomarer (und daher algebraischer) semimodularer beschränkter Verband heißt Matroidverband, weil solche Verbände zu (einfachen) Matroiden äquivalent sind. Ein atomistischer semimodularer beschränkter Verband von endlicher Länge heißt geometrischer Verband und entspricht einem Matroid von endlichem Rang. (Diese Definitionen folgen Stern (1999). Einige Autoren benutzen den Ausdruck "geometrischer Verband" für die allgemeineren Matroidverbände. Aber die meisten Autoren betrachten nur den endlichen Fall, in welchem beide Definitionen zu "semimodular und atomistisch" äquivalent sind.)

Ein endlicher Verband ist genau dann modular, wenn sowohl er selbst als auch der duale Verband semimodular ist. (Semimodulare Verbände werden im Englischen auch als upper semimodular bezeichnet; der duale Begriff heißt dann lower semimodular.)

Ein endlicher Verband, oder allgemeiner ein Verband der die aufsteigende Kettenbedingung oder die absteigende Kettenbedingung erfüllt, ist genau dann semimodular, wenn er M-symmetrisch ist. Einige Autoren bezeichnen M-symmetrische Verbände als semimodulare Verbände. (Z.B. Fofanova (2001).)

In jedem (nach oben oder nach unten) semimodularen Verband gilt der dedekindsche Kettensatz.[1]

Birkhoffs Bedingung

Bearbeiten

Ein Verband wird manchmal schwach semimodular genannt, falls er die folgende auf Garrett Birkhoff zurückgehende Bedingung erfüllt:

Birkhoffs Bedingung
Falls   und   ist, ist   und  .

Jeder semimodulare Verband ist schwach semimodular. Die Umkehrung gilt für Verbände von endlicher Länge, und allgemeiner für oben stetige relativ atomare Verbände.

Mac Lanes Bedingung

Bearbeiten

Die beiden folgenden Bedingungen sind für alle Verbände äquivalent. Sie wurden von Saunders Mac Lane gefunden, als er eine Bedingung suchte, die für endliche Verbände zu Semimodularität äquivalent ist aber nicht die Bedeckungsrelation benutzt.

Mac Lanes Bedingung 1
Für alle   mit   gibt es ein Element   so, dass   und  .
Mac Lanes Bedingung 2
Für alle   mit   gibt es ein Element   so, dass   und  .

Jeder Verband, der Mac Lanes Bedingung(en) erfüllt, ist semimodular. Die Umkehrung gilt für Verbände von endlicher Länge, und allgemeiner für relativ atomare Verbände. Darüber hinaus ist jeder oben stetige Verband, der Mac Lanes Bedingungen erfüllt M-symmetrisch.

Literatur

Bearbeiten

Einzelnachweise

Bearbeiten
  1. Helmuth Gericke: Theorie der Verbände. 1967, S. 68 ff.