正则剩余格的生成⊙理想与素⊙理想

在剩余格中引入生成⊙理想和素⊙理想的概念,讨论了(正则)剩余格中生成⊙理想和素⊙理想的若干性质,并在正则剩余格中利用一个特殊的集合x-1I,给出了⊙理想成为素⊙理想的一个充要条件;然后利用这些结果证明了正则剩余格中的素⊙理想定理.

R_0-代数的Stone拓扑表示定理

研究R0-代数中极大滤子的结构性质,通过引入有限平方交性质的概念证明了素理想定理;在全体极大滤子之集上引入了Stone拓扑,研究了Stone空间的性质;在R0-代数中引入了Boole-元的概念,证明了R0-代数的Stone拓扑表示定理,即,全体Boole-元作为Boole代数同构于该R0-代数的Stone空间中的全体既开又闭子集构成的Boole代数。Boole代数的Stone拓扑表示定理可作为该表示定理的特例而给出。