论文部分内容阅读
本文首先利用极大链中的二元覆盖主同余关系以及根据同余关系的分配性，证明了任意有限链的同余关系格是布尔格，进而又证明了具有可数个元的链的同余关系格是布尔格．其次，对于分配格，提出了判断分配格的一个充要条件，基于对链的同余关系格的研究方法，证明了有限分配格的同余关系格是布尔格，具有可数个元的分配格的同余关系格是布尔格．再次，对于模格，通过研究模格中二元覆盖主同余关系的特征，证明了有限模格的同余关系格是布尔格，反之不成立．进而又证明了具有可数个元的模格的同余关系格是布尔格，反之不成立．另外，通过研究由有限格生成的同余关系格的二元覆盖主同余关系的数量，提出了它所能生成的同余关系的最多数量．
本文还证明了δ格及正交模格上的有关同余关系方面的一系列定理．