摘要
设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.