On complemented lattices. (Q2585998)

\(\mathfrak S\) sei ein relativ komplementärer Verband, in dem alle aufsteigenden und absteigenden Ketten abbrechen. Sind in jedem relativ komplementären Teilverband die zwei Elemente verbindenden Ketten stets von gleicher Länge, so ist \(\mathfrak S\) ein dualer Birkhoffscher Verband, d. h. aus \((a, b) > a\) folgt stets \(b > [a, b]\) (\(>\) bedeutet unmittelbarer Vorgänger). Gestattet \(\mathfrak S\) überdies noch eine ``Negation'', d.h. einen dualen Automorphismus, bei dem jedes Element in sein Komplement übergeht, so ist \(\mathfrak S\) auch ein Birkhoffscher Verband, also modular. Ferner wird bewiesen, daß jeder komplementäre nicht modulare Verband, in dem die Ketten in beiderlei Richtung abbrechen, stets einen komplementären (Eins- und Nullelement von \(\mathfrak S\) enthaltenden) nichtmodularen Teilverband aus fünf Elementen enthält. Daraus ergibt sich ein neuer Beweis des Satzes von \textit{Birkhoff} und \textit{Ward}, daß ein die obige Kettenbedingung erfüllender Verband dann und nur dann eine Boolesche Algebra ist, wenn jedes Element ein eindeutiges Komplement besitzt (Ann. Math., Princeton, (2) 40 (1939), 609-610, F. d. M. 65, 87 (JFM 65.0087.*)).