Relatively complemented algebras. (Q2580415)

Fortsetzung einer früheren Untersuchung (J. London math. Soc. 16 (1941), 20-28; F. d. M. 67). Es werden Systeme mit doppelter Verknüpfung betrachtet, Vereinigung \(\cup\) und Produkt. Ein Element \(x\) heißt ein \(b\)-Komplement von \(a\) relativ zu \(o\), wenn \(x\cup a=b\), \(xa = o\) gilt. Ein Element \(b\) heißt ein rechts-\(\omega\), wenn zu jedem \(a\) ein \(b\)-Komplement relativ zu \(o\) existiert, falls \(ab = a\) ist. Ein Element \(b\) heißt eine Majorante zu \(a\), wenn \(ab = a\) gilt. Ein Element \(a\) heißt ungerade, wenn \(a\cup a = a\) ist, gerade, wenn \(a\cup a\) eine Linksnull ist, d. h. \((a\cup a)\cup b = b\) für alle \(b\). Es wird bewiesen: Ein System mit doppelter Verknüpfung ist dann und nur dann ein verallgemeinerter Boolescher Verband (definiert als ein distributiver Verband mit einem rechts-\(\omega\)), wenn das distributive Gesetz gilt, alle Elemente idempotent (\(aa = a\)) und ungerade sind, ein rechts-\(\omega\) existiert, und wenn je zwei Elemente eine gemeinsame Majorante besitzen. Wird vorausgesetzt, daß das distributive Gesetz gilt, jedes Element idempotent ist, daß \(a(bb) = (ab) b\) gilt, und daß ein rechts-\(\omega\) und ein links-\(\omega\) existiert, so läßt sich zeigen, daß das System \(A\) die direkte Vereinigung eines verallgemeinerten Booleschen Verbandes \(A_1\) und eines Booleschen Ringes \(A_2\) ist, definiert als ein distributives System, in dem jedes Element idempotent und gerade ist, in dem eine Rechtsnull existiert und die Vereinigung und das Produkt assoziativ sind. Umgekehrt hat jedes solche System die angeführten Eigenschaften. \(A_1\) ist das Teilsystem der ungeraden, \(A_2\) das der geraden Elemente aus \(A\).