A characterisation of Boolean lattices and rings. (Q2585220)

\(B\) sei ein System von Elementen, für das eine eindeutige Vereinigung \(a\cup b\) und ein eindeutiges Produkt \(ab\) erklärt ist. \(B\) heißt \textit{distributiv}, wenn stets \(a(b\cup c)=ab\cup ac\) und \((b\cup c)a=ba\cup ca\) es gilt, idempotent, wenn für alle \(a\) \(aa=a\) gilt. Ein Element \(x\) heißt eine \textit{Null}, wenn \(x\cup a=a\cup x=a\) für alle \(a\) gilt, eine \textit{Eins}, wenn \(xa=ax=a\) für alle \(a\) gilt. Gilt \(x\cup a=a\) für alle \(a\), so heißt \(x\) eine \textit{Linksnull}. Zwei Elemente 0 und l heißen ein \textit{extremes Paar}, wenn für jedes \(a\) die Gleichungen \(x\cup a=1\) und \(xa=0\) wenigstens eine Lösung haben. Ist nun \(B\) distributiv und idempotent und ist das Element 0 wenigstens eines extremen Paares eine Linksnull, so ist \(B\) die direkte Vereinigung eines Booleschen Verbandes \(B_1\) und eines nichtassoziativen Booleschen Ringes \(B_0\) mit Einheitselement. \(B_1\) besteht aus allen ungeraden Elementen von \(B\), d.~h. den \(a\), für die \(a\cup a=a\) gilt, \(B_0\) aus allen geraden, d.~h. solchen \(a\), für die \(a\cup a\) eine Linksnull ist. Dann und nur dann ist \(B\) ein Boolescher Verband, wenn \(B\) die obengenannten Eigenschaften besitzt und nur ungerade Elemente enthält. Dann und nur dann ist \(B\) ein nichtassoziativer Boolescher Ring mit Einheitselement, wenn \(B\) distributiv, idempotent, ungerade ist und wenigstens ein extremes Paar enthält. Um auch noch die Assoziativität von \(B_1\) zu erhalten, genügt es, noch die Forderung \(a(bb)=(ab)b\) für die geraden Elemente hinzuzunehmen. Eine genaue Untersuchung über die Unabhängigkeit der angegebenen Eigenschaften mit vielen Beispielen beschließt die Arbeit.