Church Monoid的集合表示

A set-theoretical representation of Church Monoid

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.