×

格律在唯一互补下迫使分配性。 (英文) Zbl 1118.06004号

摘要:我们给出了几个在非模格中有效的新格恒等式,使得满足这些恒等式的唯一补格必然是布尔的。由于其中一些恒等式也是模块性的结果,这些结果推广了Birkhoff和von Neumann的经典结果,即每个唯一可补模格都是布尔的。特别地,(M\vee{mathcal V}(N_5))中的每个唯一补格(最小非模簇)都是布尔的。

MSC公司:

06第15页 补格、正交补格和偏序集
06B20号 格子的种类
05年6月 布尔代数的结构理论
68吨15 定理证明(演绎、解析等)(MSC2010)

软件:

梅斯4;水獭
PDF格式BibTeX公司 XML格式引用