检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]西安邮电学院应用数理系,西安710061 [2]河南理工大学数学系,焦作454000
出 处:《西南民族大学学报(自然科学版)》2006年第1期36-39,共4页Journal of Southwest Minzu University(Natural Science Edition)
摘 要:利用格论中滤子的相关知识,对公式集D(Г)的性质进行研究。通过对D(Г)和R0代数中MP滤子相似性的比较分析,证明了L*-L indenbaum代数[F]中的MP滤子都是形如D(Г)形式的,其中D(Г)={[A]|Г├A,A∈F(S)};又进一步证明了[F]中的极大滤子(格论意义下)是极大MP滤子,而且给出了刻画[F]中极大滤子的一个充分条件.The properties of D(Γ) are studied with the corresponding knowledge of filters in lattice. It is proved that MP filters of L^* -Lindenbaum algebras can be written as [D(Γ) ] in which[D(Γ) ] = {[A] }Γ|-A,A∈F(S) } by analyzing the comparability of D(Γ) and MP filters. Further, we have proved that a maximal filter in the sense of lattice theory is also a maximal MP filter, and at the same time , a sufficient proposition on maximal filters is given.
关 键 词:L^*-Lindenbaum代数 滤子 MP滤子 极大滤子
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.249