摘要
Stone Representation Theorem之于 Boolean Algebra就象 Cayley Theorem之于 Abstract GroupTheory一样重要 .本文推广 Stone Representation Theorem中所用的方法给出了 Church Monoid的集合表示 .而且根据此表示定理 ,给出了定理 1的一个新证明 .在证明的过程中 ,得到了一些抽象代数与关系代数的对应关系 .
Stone Representation Theorem is just as important to Boolean Algebra as Cayley theorem is to abstract group theory.The method in the Stone Representation Theorem is generalized and a set theoretical representation of Church Monoid is given, by which a new proof of Theorem 1 is offered. During the course to the result, a few correspondences between relational algebra and abstract algebra are obtained.
出处
《广西大学学报(自然科学版)》
CAS
CSCD
2001年第3期239-242,共4页
Journal of Guangxi University(Natural Science Edition)