子Hom-余结合余代数(英文) 被引量：5

1

作者 任北上 李桂英 +2 位作者 孔庆荣 郭映雪 章维维 《广西科学》 CAS 2008年第2期109-112,共4页

根据Hom-余结合余代数及子Hom-余结合余代数的相关概念,讨论子Hom-余结合余代数的基本性质,得到子Hom-余结合余代数与对偶Hom-结合代数的理想之间的相互关系.

关键词 子hom-余结合余代数 hom-结合余代数 同态

在线阅读 下载PDF 职称材料

一类余拟三角Hom-Hopf代数 被引量：2

2

作者 董丽红 薛栓 《河南师范大学学报（自然科学版）》 CAS 北大核心 2016年第6期43-48,共6页

设C和H是Hom-Hopf代数,ω:CH→HC是一个线性映射.首先介绍了Hom-ω-smash余积Hom-Hopf代数(Cω■H,αβ)的相关概念;然后研究Hom-Hopf代数(Cω■H,αβ)上的余拟三角结构,得到了其构成余拟三角Hom-Hopf代数的充要条件.

关键词 hom-Hopf代数 余拟三角结构 hom-ω-smash余积

在线阅读 下载PDF 职称材料

余代数和余模的广义余结合律

3

作者 郑锡陆 程东明 《河南科技大学学报（自然科学版）》 CAS 2006年第4期92-94,97,共4页

对于一个代数,结合律隐含广义结合律。对偶地,对于一个余代数C,余结合律隐含广义余结合律。更进一步,有关C-模的类似于结合律的公式,以及关于C-余模的类似于余结合律的公式。在这里我们用另一种方式重新叙述了广义结合律,并由此证明了... 对于一个代数,结合律隐含广义结合律。对偶地,对于一个余代数C,余结合律隐含广义余结合律。更进一步,有关C-模的类似于结合律的公式,以及关于C-余模的类似于余结合律的公式。在这里我们用另一种方式重新叙述了广义结合律,并由此证明了余代数和余模的广义余结合律。 展开更多

关键词 余代数 余模 广义余结合律

在线阅读 下载PDF 职称材料

EQ-代数中的L-模糊滤子与EQ-同余 被引量：1

4

作者 侯如乐 刘妮 《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2014年第6期876-881,共6页

利用模糊数学和格论的思想方法,在EQ-代数中引入了L-模糊滤子的概念,得到了L-模糊滤子的一个等价刻画,证明了全体L-模糊滤子之集是序完备的EQ-代数。同时还研究了L-模糊滤子与EQ-同态和EQ-同余的关系,得到了EQ-代数中的基本同态定理。... 利用模糊数学和格论的思想方法,在EQ-代数中引入了L-模糊滤子的概念,得到了L-模糊滤子的一个等价刻画,证明了全体L-模糊滤子之集是序完备的EQ-代数。同时还研究了L-模糊滤子与EQ-同态和EQ-同余的关系,得到了EQ-代数中的基本同态定理。文中的结果是对EQ-代数中模糊前滤子理论的补充和完善。 展开更多

关键词 EQ-代数 L-模糊滤子 EQ-同态 EQ-同余

在线阅读 下载PDF 职称材料

FI代数上的直觉模糊滤子和同余关系

5

作者 孙静 李生刚 《计算机工程与应用》 CSCD 北大核心 2016年第1期17-19,共3页

在FI代数上引入直觉模糊滤子的概念,给出了直觉模糊滤子的一个等价刻画,探讨了由直觉模糊滤子诱导的同余关系,证明了一些性质。

关键词 FI代数 直觉模糊滤子 同余关系

在线阅读 下载PDF 职称材料

格蕴涵代数上的同余关系 被引量：11

6

作者 宋振明 徐杨 《应用数学》 CSCD 1997年第3期121-124,共4页

本文研究格蕴涵代数上的同余关系，给出了同余关系诱导的商格蕴涵代数，格蕴涵同态诱导的同命关系，滤子与同余关系之间的联系．

关键词 格蕴涵代数 同余关系 格蕴涵同态 滤子

在线阅读 下载PDF 职称材料

Heyting代数中同余关系的简化 被引量：3

7

作者 杨静梅 冯爽 姚卫 《河北科技大学学报》 CAS 2012年第6期479-481,共3页

给出了Heyting代数中同余关系的一种简单定义,这种定义并不改变全体滤子和全体同余关系之间的一一对应性,并且借助滤子证明了这种定义是Heyting代数作为泛代数的同余关系的简化。最后证明了全体滤子之集作为完备格同构于全体同余关系之集。

关键词 HEYTING代数 滤子 同余关系

在线阅读 下载PDF 职称材料

伪的弱效应代数的同余和理想 被引量：4

8

作者 郭建胜 李永明 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2010年第3期10-15,共6页

在伪的弱效应代数的基础上给出伪的弱差分偏序集的概念,证明了伪的弱效应代数和伪的弱差分偏序集是等价的.通过引入伪的弱效应代数中的同余等概念证明了在特殊的同余条件下的商代数仍然是伪的弱效应代数,证明了满足RDP性质的伪BL-效应... 在伪的弱效应代数的基础上给出伪的弱差分偏序集的概念,证明了伪的弱效应代数和伪的弱差分偏序集是等价的.通过引入伪的弱效应代数中的同余等概念证明了在特殊的同余条件下的商代数仍然是伪的弱效应代数,证明了满足RDP性质的伪BL-效应代数在特殊的同余关系下的商代数也是一个伪BL-效应代数并且具有子直积表示. 展开更多

关键词 伪效应代数 伪的弱效应代数 伪的弱差分偏序集 BL-效应代数 理想 同余 子直积

在线阅读 下载PDF 职称材料

分配序列效应代数的理想和同余 被引量：3

9

作者 郭建胜 李永明 《计算机工程与应用》 CSCD 北大核心 2009年第25期18-20,共3页

分配的序列效应代数(简记为DSEA),是指在一个效应代数上带有一种乘积运算并满足一定的条件。介绍了分配的序列效应代数中的左理想、右理想、理想、素理想和同余等概念,并且证明了满足(RDP)性质并且以1为乘积单位的分配序列效应代数是具... 分配的序列效应代数(简记为DSEA),是指在一个效应代数上带有一种乘积运算并满足一定的条件。介绍了分配的序列效应代数中的左理想、右理想、理想、素理想和同余等概念,并且证明了满足(RDP)性质并且以1为乘积单位的分配序列效应代数是具有(RDP)性质的反格分配序列效应代数的子直积。 展开更多

关键词 序列效应代数 分配序列效应代数 理想 同余 子直积

在线阅读 下载PDF 职称材料

R_0-代数上的同余关系 被引量：13

10

作者 任芳 《工程数学学报》 EI CSCD 北大核心 2001年第1期73-77,共5页

研究了 R0 -代数上的同余关系。首先通过探讨一类 R0 -代数 ,建立起滤子与同余关系之间的联系 ,进而深入到其乘积上。最后以模糊滤子为工具定义 R0 -代数上的同余关系 ,讨论了滤子与模糊滤子之间的联系 ,并给出了由同余诱导的商 R0

关键词 R0-代数 同余关系 滤子 模糊滤子 有界分配格 等价关系

在线阅读 下载PDF 职称材料

π-余代数及π-分次代数

11

作者 任北上 尹闯 吴洁霞 《广西科学》 CAS 2007年第3期200-203,共4页

引进π-子余代数及π-子代数正交的概念,讨论π-子余代数正交补与其对偶π-代数的π-理想的相互关系,将文献[2]中的一些性质在Hopf-π-余代数上进行推广.

关键词 Π-余代数 π-子余代数 Hopf-π-余代数 π-分次代数 π-子代数

在线阅读 下载PDF 职称材料

π-余模余代数与π-余模余理想

12

作者 陈华喜 殷晓斌 《华中师范大学学报（自然科学版）》 CAS CSCD 北大核心 2012年第6期645-648,共4页

引进了π-H-余模余代数、π-■-模代数的定义,给出了一些相关的性质,然后证明了局部有限维的π-H-余模余代数的对偶是一个π-H*-模代数;接着又引进了π-H-子余模、π-H-余模余理想、π-■-子模以及π-H-模子代数等概念,证明了π-H-余模... 引进了π-H-余模余代数、π-■-模代数的定义,给出了一些相关的性质,然后证明了局部有限维的π-H-余模余代数的对偶是一个π-H*-模代数;接着又引进了π-H-子余模、π-H-余模余理想、π-■-子模以及π-H-模子代数等概念,证明了π-H-余模余理想与π-H*-模子代数间的对应关系. 展开更多

关键词 π-H-余模余代数 π-H^-模代数 π-H-子余模 π-H-余模余理想 π-H-模子代数

在线阅读 下载PDF 职称材料

关于格蕴涵代数模糊滤子的一个注记 被引量：4

13

作者 赵光峰 徐扬 宋振明 《西南交通大学学报》 EI CSCD 北大核心 2002年第4期477-481,共5页

在格蕴涵代数基本结构基础上进一步研究了格蕴涵代数的模糊滤子的性质 ,指出了模糊滤子可以诱导出格蕴涵代数的一簇同余关系 。

关键词 格蕴函代数 模糊滤子 模糊代数 同余关系 商代数 同态映射

在线阅读 下载PDF 职称材料

正则FI代数的MP滤子与同构基本定理 被引量：2

14

作者 寇海燕 吴洪博 《计算机工程与应用》 CSCD 北大核心 2016年第10期39-43,49,共6页

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

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

在线阅读 下载PDF 职称材料

效应代数上的模糊滤子 被引量：2

15

作者 王敏 曹怀信 张坤利 《陕西科技大学学报（自然科学版）》 2012年第3期123-126,共4页

进一步研究了效应代数上模糊滤子的性质,并引入了一个新的概念:正规模糊滤子,讨论了正规模糊滤子之集是模糊滤子之集的子格.同时研究了模糊滤子可以诱导出效应代数的同余关系及其相关的性质.

关键词 效应代数 滤子 模糊滤子 同余

在线阅读 下载PDF 职称材料

效应代数的T-模糊滤子 被引量：2

16

作者 花秀娟 《计算机工程与应用》 CSCD 北大核心 2015年第13期25-27,共3页

研究了效应代数上的T-模糊滤子的一些问题。利用水平截集及范数的方法获得了一些相关的结果,推广了效应代数模糊滤子的一些结果,得到存在一个映射使得效应代数的所有T-模糊滤子与这个效应代数的T-同余关系对应的结论。

关键词 效应代数 T-模糊滤子 T-模糊同余 可想像的

在线阅读 下载PDF 职称材料

正则FI代数的MP滤子性质新探

17

作者 王福 刘春辉 石怡 《石河子大学学报（自然科学版）》 CAS 2010年第3期393-396,共4页

讨论了正则FI代数中MP滤子的性质与应用。获得了正则FI代数中MP滤子的若干新性质,证明了正则FI代数中生成MP滤子的一个新的表示定理;利用MP滤子概念在正则FI代数上构造了一个同余关系,讨论了此同余关系的基本性质。

关键词 正则FI代数 MP滤子 生成MP滤子 同余关系

在线阅读 下载PDF 职称材料

关于N(2,2,0)代数的稳定化子

18

作者 李旭东 《兰州理工大学学报》 CAS 北大核心 2011年第2期137-140,共4页

进一步研究N(2,2,0)代数的稳定化子,利用稳定化子给出N(2,2,0)代数的一类同余分解,获得自然同态下一类逆像的代数结构和性质.

关键词 N(2 2 0)代数 稳定化子 同余分解 自然同态 逆像

在线阅读 下载PDF 职称材料

基于余归纳的最小Kripke结构的求解 被引量：1

19

作者 高建华 蒋颖 《软件学报》 EI CSCD 北大核心 2014年第1期16-26,共11页

状态空间爆炸问题是模型检测的最大障碍.从余归纳(特别是余代数)的角度研究了这个问题.用余归纳的方法证明:(1)对于任意给定的一类Kripke结构(记为K),在互模拟等价意义下K中最小Kripke结构(记为K0)的存在唯一性.K0描述了K中所有Kripke... 状态空间爆炸问题是模型检测的最大障碍.从余归纳(特别是余代数)的角度研究了这个问题.用余归纳的方法证明:(1)对于任意给定的一类Kripke结构(记为K),在互模拟等价意义下K中最小Kripke结构(记为K0)的存在唯一性.K0描述了K中所有Kripke结构的行为而且没有冗余的状态;(2)对于任意的M∈K(M可能包含无穷多个状态),在互模拟等价意义下的相对于(M且基于K0)的最小Kripke结构(记为KM)的存在唯一性.由此提出一种求解KM的算法,并用Ocaml予以简单实现.其应用之一在于可以用状态空间更小的KM代替M进行模型检测.该方法可自然地推广到基于其他类型函子的余代数结构. 展开更多

关键词 模型检测 互模拟 函子 终余代数 最小Kripke结构

在线阅读 下载PDF 职称材料

广义张量型Hom-李代数Kegel定理

20

作者 周璇 张学俊 杨涛 《南京师大学报（自然科学版）》 CAS CSCD 北大核心 2017年第4期7-11,共5页

设(H,α_H)为张量型余三角Hom-双代数.本文考虑了左(H,α_H)-Hom-余模代数,由此构造得出广义张量型Hom-李代数,并证明了此情形下的Kegel定理.

关键词 张量型余三角hom-双代数 左(H αH)-hom-余模代数 广义张量型hom-李代数 Kegel定理

在线阅读 下载PDF 职称材料