首页 | 本学科首页   官方微博 | 高级检索  
     检索      

${R}_{0}$代数中的滤子格
引用本文:罗清君.${R}_{0}$代数中的滤子格[J].数学研究及应用,2009,29(1):169-176.
作者姓名:罗清君
作者单位:西安财经学院数学教学部, 陕西 西安 710061
摘    要:Abstract In the present paper, some basic properties of MP filters of Ro algebra M are investigated. It is proved that(FMP(M),包含,′∧^-∨^-,{1},M)is a bounded distributive lattice by introducing the negation operator ′, the meet operator ∧^-, the join operator ∨^- and the implicati on operator → on the set FMP(M) of all MP filters of M. Moreover, some conditions under which (FMP(M),包含,′∨^-,→{1},M)is an Ro algebra are given. And the relationship between prime elements of FMP (M) and prime filters of M is studied. Finally, some equivalent characterizations of prime elements of .FMP (M) are obtained.

关 键 词:数理逻辑  命题演算  类演算  研究
收稿时间:2006/12/7 0:00:00
修稿时间:3/8/2008 12:00:00 AM

The Filter Lattices on ${R_{0}}$ Algebras
LUO Qing Jun.The Filter Lattices on ${R_{0}}$ Algebras[J].Journal of Mathematical Research with Applications,2009,29(1):169-176.
Authors:LUO Qing Jun
Institution:Department of Mathematics, Xi'an Institute of Finance and Economics, Shaanxi 710061, China
Abstract:In the present paper, some basic properties of $MP$ filters of $R_{0}$ algebra $M$ are investigated. It is proved that $({\cal F}_{MP}(M),\subset,',\bar\wedge,\bar\vee,\{1\},M)$ is a bounded distributive lattice by introducing the negation operator $'$, the meet operator $\bar\wedge$, the join operator $\bar\vee$ and the implication operator $\Longrightarrow$ on the set ${\cal F}_{MP}(M)$ of all $MP$ filters of $M$. Moreover, some conditions under which $({\cal F}_{MP}(M),\subset,',\bar\vee,\Longrightarrow,\{1\},M)$ is an $R_{0}$ algebra are given. And the relationship between prime elements of ${\cal F}_{MP}(M)$ and prime filters of $M$ is studied. Finally, some equivalent characterizations of prime elements of ${\cal F}_{MP}(M)$ are obtained.
Keywords:$R_{0}$ algebra  $MP$ filter  prime element  equivalent characterization  
本文献已被 维普 等数据库收录!
点击此处可从《数学研究及应用》浏览原始摘要信息
点击此处可从《数学研究及应用》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号