剩余格的弱布尔积表示

在剩余格L中,首先证明了因子同余是由布尔元所唯一生成的,继而证明了由B(L)的素滤子诱导的商代数是直不可分解的。其次,给出了剩余格L的弱布尔积表示,并证明了伴随表示的等价性。最后,证明了剩余格L的序素谱与其stalks的素谱基数和序同构。