×

用公差表示积分量子数。 (英语) Zbl 1471.06009号

量子是一个三元组\(Q=(Q,\bigvee,\otimes)\),其中\((Q,\bigvee)\)是\(\bigvee\)-半格(具有任意联接的偏序集),并且\((Q,\otimes)\)是一个半群,使得运算\(\otimes)从两侧分布在任意联接上,即\(A\otimes(\bigvee S)=\bigvee_{S\in S}(A\otimes S)\)和\(\bigwee S)\每个元素(Q中的a)和每个子集(s中的substeq Q)的otimes a=\bigvee_{s[K.I.罗森塔尔、Quantales及其应用。哈洛:朗曼科技;纽约:John Wiley&Sons,Inc.(1990;Zbl 0703.06007号)]. 如果量子数(Q)的基础半群((Q,otimes)是幺半群,即具有单位元素(e),则称其为幺半群。单位量子(Q)是积分的,前提是它的单位是(bigvee)-半格((Q,bigvee))的顶元素(top_Q)。例如,对于每个单位量子数\(Q\),集合\(A=\{A\ in Q\,|\,A\leqslate e\}\)是\(Q\)的子量子数,它是一个整数量子数(Q\的整数部分)。
量子数有不同的表示定理。例如[S.Valentini公司,数学。日志。问题40,第2期,182-190(1994年;Zbl 0816.06018号)]证明了每个量子数(Q)与(Q)上所谓有序关系的量子数同构。基于这一结果,本文提供了有序关系的“更透明”(正如作者所声称的)描述,并展示了自反有序关系是如何与容差(自反和对称二元关系,与基础集上的各自代数结构兼容)相连接的。此外,作者证明了每个积分量子数(Q)都有一个自然嵌入到基本格上的完全容差量子数中。
本文还证明了任何有限积分量子数(Q)的基本格在(top_Q)中是双重伪补和分配的,其中格(L)被称为伪补,前提是对于每一个(L中的a),存在一个元素(L\中的a^{*})((a)的伪补),使得对于每个(L\里的b),接下来是当且仅当(b\leqsleada^{*})。
最后,作者证明了不同代数结构上的某些关系自然形成一个量子数,例如,每个有限多数代数上的所有相容自反二元关系集构成一个积分量子数(我们记得代数(a)的三元项(m)是一个多数项,前提是下列恒等式成立于\(a\):\(m(x,x,y)=m(x、y、x)=m(y,x,x)=x\);例如,每个具有格约简的代数都承认这样一个多数项;包含多数项的代数(A)称为多数代数。
这篇论文写得非常好,提供了它所需的预备知识的最基本部分,所有研究量子理论,特别是其表示定理的研究人员都会感兴趣。

理学硕士:

07年6月 Quantales公司
2015年1月6日 伽罗瓦对应、闭包算子(与有序集有关)
06年11月15日 格的表示理论
06B23号 完整格,完整
2012年2月6日 框架、区域设置
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Bandelt,H-J,格上的局部多项式函数,Houst。数学杂志。,7, 317-325, (1981) ·Zbl 0479.06007号
[2] 巴特尔,E;Krupka,M,《块关系的剩余格:概念格的尺寸缩减》,《国际遗传学系统》。,45, 773-789, (2016) ·Zbl 1404.68154号 ·doi:10.1080/03081079.2016.1144601
[3] Blyth,TS,剩余映射,Order,1187-204,(1984)·Zbl 0553.06001号 ·doi:10.1007/BF00565653
[4] Blyth,T.S.,Janowitz,M.F.:剩余理论。牛津佩加蒙出版社(1972)·Zbl 0301.06001号
[5] 查伊达,I;Radeleczki,S,\(0\)-条件和公差方案,《数学学报》。科梅尼亚大学。N.S.,72,177-184,(2003)·邮编1087.08002
[6] Czédli,G;霍瓦思(Horváth,EK);Radeleczki,S,同余模变种中代数的容差格,数学学报。匈牙利。,100, 9-17, (2003) ·Zbl 1049.08007号 ·doi:10.1023/A:1024643815068
[7] 迪尔沃思,RP;Ward,M,残余晶格,Trans。数学。社会学,45,335-354,(1939)·Zbl 0021.10801号 ·doi:10.1090/S0002-9947-1939-1501995-3
[8] Galatos,N.,Jipsen,P.,Kowalski,T.,Ono,H.:剩余格:亚结构逻辑的代数一瞥。《逻辑与数学基础研究》,第151卷。Elsevier,阿姆斯特丹(2007)·兹比尔1171.03001
[9] 戈兰,J.:半环及其应用。多德雷赫特·克鲁沃(1999)·Zbl 0947.16034号 ·doi:10.1007/978-94-015-9333-5
[10] Grätzer,G;施密特,ET,关于格的所有联合同构的格,Proc。数学。Soc.,9,722-726,(1958年)·Zbl 0087.26104号 ·doi:10.2307/2033075
[11] Hobby,D.,McKenzie,R.:有限代数的结构。《当代数学》,第76卷。美国普罗维登斯数学学会(1988)·Zbl 0721.08001号
[12] Janowitz,MF,递减Baer半群,格拉斯哥数学。J.,10,46-51,(1969年)·Zbl 0175.01703号 ·doi:10.1017/S001708950000513
[13] Janowitz,MF,《格上的公差和同余》,捷克。数学。J.,36,108-115,(1986)·Zbl 0598.06004号
[14] Kaarli,K,弱对角多数代数平方的子代数,Studia Sci。数学。匈牙利。,49, 509-524, (2012) ·Zbl 1289.08009号
[15] Kaarli,K.,Pixley,A.:代数系统中的多项式完备。CRC出版社,博卡拉顿(2000)
[16] Kaarli,K;库奇梅五世;施密特,SE,直积的子格,代数普遍性,59,85-95,(2008)·Zbl 1170.06003号 ·doi:10.1007/s00012-008-2067-z
[17] CJ Mulvey;Hazewinkel,M(编辑),Quantales,(2001),柏林
[18] 罗森塔尔,K.I.:量子数及其应用。《皮特曼数学系列研究笔记》,第234卷。Longman Scientific and Technical,Harlow(1990年)·Zbl 0703.06007号
[19] 瓦伦蒂尼,S,量子表示定理,数学。逻辑Q,40,182-190,(1994)·Zbl 0816.06018号 ·doi:10.1002/malq.19940400205
[20] Varlet,JC,伪完备概念的推广,Bull。Soc.R.科学。李格,37,149-158,(1968)·Zbl 0162.03501号
[21] Wille,R,U ber endliche ordnungsaffivollständige verande,数学。Z.,155,103-107,(1977)·Zbl 0357.06007号 ·doi:10.1007/BF01214209文件
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。