Quotients of L-domains
Quotients of L-domains
复制标题
L-结构域的商
DOI：
10.1016/j.jpaa.2021.106837
复制
发表时间：
2022
影响因子：
0.8
通讯作者：
Li Qingguo
中科院分区：
文献类型：
--
作者：
Jin Mengjie;Li Qingguo
众所周知，在保持非空子集和有向超的满射映射下的连续格T是有界完备域，T上的连续格和同余关系是T上的等价关系和T×T的子代数。本文提出了一些反例来说明这些结果在L-域上不成立。引入了L-整环之间的强同态和L-整环上的同余关系的概念。证明了在满足方程的有界有向非空子集的满射映射下，L整环的像是L整环。同时，我们得到了L整环的商。此外，我们还给出了L整环的同构定理。
It is well known that the image of a bounded complete domain, respectively a continuous lattice T under a surjective map preserving infs of nonempty subsets and directed sups is a bounded complete domain, respectively a continuous lattice and a congruence relation on T is an equivalence relation on T and a subalgebra of T× T. In this paper, we propose some counterexamples to explain that these results do not persist in L-domains. The concepts of strong homomorphisms among L-domains and congruence relation on L-domains are introduced. We prove that the image of an L-domain under a surjective map which preserves infs of nonempty subsets bounded above and directed sups and satisfies an equation is an L-domain. Meanwhile, we obtain the quotients of L-domains. Moreover, we give the Isomorphism Theorem for L-domains.
登录
查看更多内容
影响因子：
0.8
作者：
M. Mahmoudi;Halimeh Moghbeli;K. Pióro
通讯作者：
M. Mahmoudi;Halimeh Moghbeli;K. Pióro
DOI：
10.1007/3-540-55511-0_12
发表时间：
1991-03
期刊：
--
影响因子：
--
作者：
A. Jung;L. Libkin;Hermann Puhlmann
通讯作者：
A. Jung;L. Libkin;Hermann Puhlmann
影响因子：
0.6
作者：
He Wei;Luo Maokang
通讯作者：
He Wei;Luo Maokang
影响因子：
0.6
作者：
M. Mahmoudi;Halimeh Moghbeli;K. Pióro
通讯作者：
M. Mahmoudi;Halimeh Moghbeli;K. Pióro
DOI：
10.1016/0304-3975(90)90124-z
发表时间：
1990-01
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
A. Jung
通讯作者：
A. Jung