摘要
首先,在并半格中引入了上覆盖关系的概念以及由上覆盖关系确定的强并半格中的上覆盖概念,在强并半格中讨论了它们的基本性质;其次,通过上覆盖概念在强并半格中引入了C-滤子概念,证明了强并半格中的C-滤子是通常滤子,但强并半格中的通常滤子并非C-滤子;最后,研究了强并半格同态和余Frame同态之间的关系,证明了余Frame S与相应的C_S-滤子型余Frame之间的同构定理.
Firstly,the concept of upper covering relation in a union semi-lattice and upper coverage defined by the forme in an enriched union semi-lattice are introduced,the basic properties of them are discussed in enriched union semi-lattices.Secondly,the concept of C-filters is introduced in enriched union semi-lattices through upper coverage,it is proved that C-filters are usual filters,but usual filters are not C-filters in an enriched union semi-lattice.Thirdly,the relationships between morphisms of enriched union semi-lattice and co-Frames are investigated.At last,the isomorphism theorem between co-Frames and its Cs-filter co-Frames is proved.
出处
《数学学报（中文版）》
SCIE
CSCD
北大核心
2015年第2期287-300,共14页
Acta Mathematica Sinica：Chinese Series
基金
国家自然科学基金(11171196)
中央高校基本科研业务费专项基金项目(GK201501001)
关键词
强并半格
上覆盖关系
C-滤子
余Frame
同构定理
enriched union semi-lattice
upper covering relation
C-filter
co-Frame
isomorphism theorem
