Extension of a distributive lattice to a Boolean ring. (Q2590439)

Verf. zeigt, daß jeder distributive Verband in einen Booleschen Ring eingebettet werden kann. Ist \(K\) ein distributiver Verband (die beiden Operationen ``Multiplikation'' und ``Vereinigung'' werden, auf \(a\) und \(b\) angewendet, als \(ab\) bzw. \(a \vee b\) geschrieben), so bildet er das hyperkomplexe System \(H\) mit \(K\) als Basis und den ganzen Zahlen mod 2 als Koeffizienten; die Elemente von \(H\) sind dann von der Form \(a_1+ a_2 + \cdots + a_n\), wo die \(a_i\) Elemente von \(K\) sind. Verf. reduziert \(H\) in bezug auf das Ideal, das aus den Nullelementen von \(K\) und \(H\) besteht. Weiter sei \(M\) das Ideal, das aus allen Elementen der Form \((a \vee b) + a + b + ab\) erzeugt wird. Dann beweist Verf., daß der Quotientenring \(L = H/M\) ein Boolescher Ring ist, in den \(K\) eingebettet ist, und zwar der kleinste dieser Art.