正则FI代数的MP滤子与同构基本定理

计算机工程与应用 ›› 2016, Vol. 52 ›› Issue (10): 39-43.

正则FI代数的MP滤子与同构基本定理

寇海燕，吴洪博

陕西师范大学数学与信息科学学院，西安 710062

出版日期:2016-05-15 发布日期:2016-05-16

MP-filters and fundamental isomorphism theorem of regular FI-algebras

KOU Haiyan, WU Hongbo

College of Mathematics and Information Science, Shaanxi Normal University, Xi’an 710062, China

Online:2016-05-15 Published:2016-05-16

摘要/Abstract

摘要： 正则FI-代数是仅基于蕴涵算子在一般集合上建立的逻辑代数，它是[BR0]-代数和BL-代数的基础逻辑代数。基于经典代数的思想和方法，讨论了正则FI-代数的MP滤子与同构基本定理。引入正则FI-代数中MP滤子的概念，并讨论了其基本性质，给出了正则FI-代数中包含任意子集的最小MP滤子的构造方法；讨论了正则FI-代数的MP滤子和同余关系之间的内在联系；给出了正则FI-代数的同构基本定理。

关键词: 逻辑代数, 正则模糊蕴涵（FI）-代数, 分离规则（MP）滤子, 同余关系, 模糊蕴涵（FI）-同态, 同构基本定理

Abstract: The regular FI-algebras are built up on general sets by the implication operation uniquely. Both [BR0]-algebras and BL-algebras are examples of regular FI-algebras. This paper, by using the related ideas and methods in classical algebra, studies the MP-filters and isomorphism theorem of regular FI-algebras. Firstly, a concept of MP-filters is introduced and their basic properties are discussed. It gives the concrete structure of an MP-filter generated by a given subset. Secondly, the relations between MP-filters and congruence relations are discussed. Finally, the fundamental isomorphism theorems are established.

Key words: logic algebra, regular Fuzzy , Implication（FI）-algebra, Modus Ponens（MP）-filter, congruence relation, Fuzzy , Implication（FI）-homomorphism, fundamental theorem of isomorphism

寇海燕，吴洪博. 正则FI代数的MP滤子与同构基本定理[J]. 计算机工程与应用, 2016, 52(10): 39-43.

KOU Haiyan, WU Hongbo. MP-filters and fundamental isomorphism theorem of regular FI-algebras[J]. Computer Engineering and Applications, 2016, 52(10): 39-43.

[1]	王伦磊，吴洪博. IMTL-代数的零化算子和[⊕]理想及其相互关系[J]. 计算机工程与应用, 2017, 53(9): 57-62.
[2]	彭家寅. 扰动模糊有限转换状态机[J]. 计算机工程与应用, 2016, 52(22): 1-8.
[3]	孙静，李生刚. FI代数上的直觉模糊滤子和同余关系[J]. 计算机工程与应用, 2016, 52(1): 17-19.
[4]	文贤红，吴洪博. MV-代数中的⊕理想与同余关系及其相关性质[J]. 计算机工程与应用, 2015, 51(2): 60-63.
[5]	王娜，吴洪博. WBR0-代数的Pt-模和Ps-模表示[J]. 计算机工程与应用, 2014, 50(9): 49-52.
[6]	周建仁，吴洪博. MV代数的子代数及相关重言式之间的关系[J]. 计算机工程与应用, 2013, 49(9): 45-49.
[7]	陈娟娟1，2，李生刚1. 剩余格上的模糊滤子和模糊同余关系[J]. 计算机工程与应用, 2013, 49(17): 12-14.
[8]	李莉，陈宁. 剩余格中同余关系的简化[J]. 计算机工程与应用, 2013, 49(16): 68-70.
[9]	花秀娟1，辛小龙1，朱熙2. 模糊商子格[J]. 计算机工程与应用, 2012, 48(8): 35-36.
[10]	王伟1，辛小龙2. 关于BCI-代数的余模糊理想的一些结果[J]. 计算机工程与应用, 2012, 48(3): 55-56.
[11]	陈冬青，吴洪博. WBR₀-代数的∧-半格表示及其实例[J]. 计算机工程与应用, 2011, 47(27): 49-51.
[12]	张秋霞,吴洪博. 粗糙集代数与BR₀代数[J]. 计算机工程与应用, 2009, 45(17): 55-56.
[13]	张秋霞,吴洪博,娄银华. BR₀代数的关联MP滤子和布尔MP滤子[J]. 计算机工程与应用, 2009, 45(13): 39-41.
[14]	颉永建¹,李永明^1,2. 部分可换半群的子代数与同余关系[J]. 计算机工程与应用, 2009, 45(11): 5-7.
[15]	张秋霞,吴洪博. BR₀代数的模糊理想与直觉模糊理想[J]. 计算机工程与应用, 2008, 44(30): 59-61.