S-quantale同余的进一步刻画

详细信息    查看全文 | 推荐本文 |

英文篇名：A Further Characterization of Congruences on S-quantales 作者：李婷玉 ; 张霞 英文作者：LI Tingyu;ZHANG Xia;School of Mathematical Sciences,South China Normal University; 关键词：S-quantale ; 同余 ; 核映射 ; 商 英文关键词：S-quantale;;congruence;;nucleus;;quotient 中文刊名：HNSF 英文刊名：Journal of South China Normal University(Natural Science Edition) 机构：华南师范大学数学科学学院; 出版日期：2019-02-25 出版单位：华南师范大学学报(自然科学版) 年：2019 期：v.51 基金：国家留学基金项目(201708440512);; 广东省自然科学基金项目(2016A030313832));; 广州市科技计划项目(201607010190);; 华南师范大学高水平科研成果培养项目(2016YN32) 语种：中文; 页：HNSF201901017 页数：3 CN：01 ISSN：44-1138/N 分类号：109-111

摘要

设S是一个偏序半群.借助quantale理论的代数研究方法,研究了S-quantale上的同余结构.刻画了一个Squantale QS上由任意一个二元关系生成的最小同余,得到了QS上同余与核映射是一一对应的,并讨论了QS上同余与核映射的商之间的关系.
        Let S be a posemigroup. Motivated by the algebraic method of quantale theory,congruences on an S-quantale are studied. The minimum congruence generated by an arbitrary binary relation in a given S-quantale QSis characterized,the 1-1 correspondence between nuclei and congruences on QSis obtained,and the relationship between congruences on QSand relative quotients derived from nuclei is studied.

引文

[1] MULVEY C J.&[J]. Rendiconti del Circolo Matematico di Palermo:Serie II,1986(12):99-104.
    [2] JOHNSTONE P T. Stone spaces[M]. Cambridge:Cambridge University Press,1982.
    [3] GIRARD J Y. Linear logic[J]. Theoretical Computer Science,1987(1):1-101.
    [4] YETTER D N. Quantales and(noncommutative)linear logic[J]. Journal of Symbolic Logic,1990,55(1):41-64.
    [5] ROSENTHAL K I. Quantales and their applications[M].Harlow:Longman Scientific&Technical,1990.
    [6] KRUML D,PASEKA J. Algebraic and categorical aspects of quantales[M]. Amsterdam:Elsevier,2008:323-362.
    [7]周异辉,马君亮.对合Quantale中对合运算与特殊元的关系[J].模糊系统与数学,2008(22):62-66.ZHOU Y H,MA J L. Relations between involution and special elements in involutive quantales[J]. Fuzzy Systems and Mathematics,2008(22):62-66.
    [8] SOLOVYOV S A. On the category Q-Mod[J]. Algebra Universalis,2008,58(1):35-58.
    [9] RESENDE P. Tropological systems and observational logic in concurrency and specification[D]. Lisboa:Universidade Técnica de Lisboa,1998.
    [10] SOLOVYOV S A. On monadic quantale algebras:basic proerties and representation theorems[J]. Dissussiones Mathematicae-General Algebra and Applications,2010,30(1):91-118.
    [11] ZHANG X,LAAN V. Injective hulls for ordered algebras[J]. Algebra Universalis,2016,76:339-349.
    [12]LESINGER R. Quantale-valued sup-algebras[J]. Iranian Journal of Fuzzy Systems,2018,15:53-73.
    [13] ZHANG X,LAAN V. On injective hulls of S-posets[J].Semigroup Forum,2015,91(1):62-70.
    [14]张霞,徐彦涛.偏序群S上S-偏序系的内射包[J].华南师范大学学报(自然科学版),2014,46(4):12-15.ZHANG X,XU Y T. Injective hulls of S-posets over a pogroup S[J]. Journal of South China Normal University(Natural Science Edition),2014,46(4):12-15.
    [15] ZHANG X,LI T Y. On nuclei and conuclei of S-quantales[J]. Quasigroups Related Systems,2017,25:155-164.