关于正则原子Boole代数的注记

定理如果正则原子Boolean代数有带尾元0的散元a,b,則a~+⊙b~+属于带尾元(a~+∧b)∨(a∧b~+)的散元a~-⊙b~-. 为证此定理先证下面的引理. 引理设{X_n}属于带尾元0的映生元a=(a_0,a_1,a_2,…,a_k,0,0,…),而{y_n}属于带尾元u_0的映生元b=(b_0,b_1,b_2,…,b_i,0,0,…),那末{x_n}·{y_n}属于带尾     

格群中有关直交的一条定理的证明

本文给出了在格群中与某元直交的两元之积也与它直交的一条定理的一种证明。     

格的同态与合同

本文对于格的合同之间的“≥”关系规定为[1]中的对偶。设有两个格L，L’，L'为L的同态像，且以H与H'分别表示L与L’的合同的全体按“≥”关系构成的备格，我们证明了存在θ∈H，使[θ](即备格H的元θ的上闭包)与H'同构。本文中的定理给出了此结果的一个应用。     

关于拓扑Boole格上同态的连续性与可逆性

提出了拓扑Boole格上同态的下连续性概念,并讨论了拓扑Boole格上同态的上、下连续性间的关系.证明了拓扑Boole格上(0,1)——同态的上连续性与下连续性等价,得出了同态连续性与可逆性的一些等价结果.     

适合DC条件格的某种权值和的计算

对适合DC条件的格β在相虚的条件下，本文给出了计算βGG的”拓扑的各层次权值和的一种方法。