HO-代数的f-滤子  

On f-filters of HO-algebra

作　　者：沈吓妹[1] 孙中举[2] 

机构地区：[1]宁德师范学院,福建宁德352100 [2]广东技术师范学院,广东广州510665

出　　处：《龙岩学院学报》2014年第5期5-8,共4页Journal of Longyan University

基　　金：宁德师范学院青年专项资助项目(2013Q03)

摘　　要：分析HO-代数的性质,利用同余关系介绍f-滤子是余核滤子的充要条件;并且,采用构造辅助滤子证明所有f-滤子的集合是一个Heyting-代数。By analyzing the properties of HO-algebra, the authors try to give a necessary and sufficient condition that an f-filter is a cokernel filter by using the congruence relation as well as to show that the set of the f-filters on HO-algebra is a Heyting-algebra by using the auxiliary filter.

关 键 词：HO -代数 Heyting -代数 F -滤子 余核滤子 

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