期刊文献+

对合Quantale代数上的同余关系

Congruence relations on involutive Quantale algebras
原文传递
导出
摘要 引入对合Q-代数及其上的核映射、同余关系等概念,得到了对合Q-代数上的同余关系与核映射是一一对应的,研究了对合Q-代数同余与对合Q-代数同态之间的关系,最后给出了对合Q-代数乘积上的同余关系的一个重要性质。 The concepts of involutive Q-algebras and its nuclei, congruence relations are introduced. Firstly it is proved that there is a one-to-one correspondence between the congruence relations and the nuclei on every involutive Q-algebra. Then the relationship between the congruences relation and the homomor phisms is discussed. Finally, an important property of, the congruence relations on the product of involutive Q-algebras is given.
作者 蔺杰 刘妮
出处 《模糊系统与数学》 CSCD 北大核心 2016年第5期79-88,共10页 Fuzzy Systems and Mathematics
基金 国家自然科学基金资助项目(11301316) 陕西省自然科学基础研究计划面上项目(2015JM1020)
关键词 对合Q-代数 对合Q-代数核映射 对合Q-代数同余关系 involutive Q-algebra involutive Q-algebra nucleus involutive Q-algebra congruence relation
  • 相关文献

参考文献1

二级参考文献10

  • 1Rosenthal K I.A general approach to gabriel filters on quantales[J].Communications in Algebra,1992,20(11):3393-3409.
  • 2Brown C,Gurr D.A representation theorem for quantales[J].Journal of Pure and Applied Algebra,1993,85:27-42.
  • 3Paseka J,Krum I D.Embeddings of quantales into simple quantales[J].Journal of Pure and Applied Algebra,2000,148:209-216.
  • 4Resende P.Quantales finite observations and strong bisimulation[J].Theoretical Computer Science,2001,254:95-149.
  • 5Krum I D,Paseka J.On simple and semisimple quantales[J].Topology Atlas Invited Contribution,2002,7(2):1-13.
  • 6Paseka J.A note on Girard bimodules[J].International Journal of Theoretical Physics,2000,39(3):805-812.
  • 7Resende P.Tropological systems are points of quantales[J].Journal of Pure and Applied Algebra,2002,173:87-120.
  • 8Resende P,Vickers S.Localic sup-lattices and tropological systems[J].Theoretical Computer Science,2003,305:311-346.
  • 9Rosenthal K I.Quantales and their applications[M].New York:Longman Scientific and Technical,1990.
  • 10Gierz G,et al.Continuous lattices and domains[M].London:Cambridge University Press,2003.

共引文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部