Heyting代数中同余关系的简化  

Simplification of congruence relation in Heyting algebra

作　　者：杨静梅[1] 冯爽[2] 姚卫[1] 

机构地区：[1]河北科技大学理学院,河北石家庄050018 [2]河北科技大学教务处,河北石家庄050018

出　　处：《河北科技大学学报》2012年第6期479-481,共3页Journal of Hebei University of Science and Technology

基　　金：国家自然科学基金资助项目(11201112);河北省自然科学基金资助项目(A2010000826);河北省教育厅优秀青年基金资助项目(Y2012020)

摘　　要：给出了Heyting代数中同余关系的一种简单定义,这种定义并不改变全体滤子和全体同余关系之间的一一对应性,并且借助滤子证明了这种定义是Heyting代数作为泛代数的同余关系的简化。最后证明了全体滤子之集作为完备格同构于全体同余关系之集。A simple definition for congruence relations in Heyting algebra is introduced. This definition does not change the one-one correspondence between all congruence relations and all filters. It is the simplification of congruence relations in Heyt- ing algebra as universal algebra. It is shown that the set of all congruence relations is isomorphic to the set of all filters as com- plete lattices.

关 键 词：HEYTING代数 滤子 同余关系 

分 类 号：O153.1[理学—数学]