摘要
分析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.
出处
《龙岩学院学报》
2014年第5期5-8,共4页
Journal of Longyan University
基金
宁德师范学院青年专项资助项目(2013Q03)