研究R0-代数中极大滤子的结构性质,通过引入有限平方交性质的概念证明了素理想定理;在全体极大滤子之集上引入了Stone拓扑,研究了Stone空间的性质;在R0-代数中引入了Boole-元的概念,证明了R0-代数的Stone拓扑表示定理,即,全体Boole-元作为Boole代数同构于该R0-代数的Stone空间中的全体既开又闭子集构成的Boole代数。Boole代数的Stone拓扑表示定理可作为该表示定理的特例而给出。
In the present paper,structural properties of maximal filters in R0-algebras are studied,and an analogue of the prime ideal theorem for Boolean algebras is obtained by introducing the notion of finite square intersection property.The Stone topology is introduced on the set of all maximal filters in R0-algebras and the basic properties of the Stone space including characterizations of open/closed sets are given.Finally,the Stone topological represenation theorem for R0-algebras,which states that the subalgebra consisting of all Boolean elements in an R0-algebra is isomorphic to the Boolean algebra formed by the set of all clopen sets of the Stone space under the set-inclusion order,is established.These results show that the well-known Stone representation theorem for Boolean algebras serves as only a special case of our theorem.