数学 > 逻辑
[提交于 2023年5月31日
]
标题: 粘合剩余格
标题: Gluing residuated lattices
摘要: 我们引入并刻画了剩余格的各种粘合构造,这些构造在公共子重积上相交,并且是所得结构的子代数或适当的子重积。从1-求和构造(也称为剩余结构的序和)开始,其中仅在最大元相交的代数被粘合在一起,我们首先考虑基于同余滤子的粘合,然后进一步加入一个格理想。 我们用(可能为部分的)算子作用于(可能为部分的)剩余结构来刻画这类构造。作为粘合构造的具体例子,我们得到了一些旋转构造的非交换版本,以及一种有趣的半线性剩余格,它们是2幂零的。这项研究还试图通过在特殊情况下构建一个互可组合物(当V型结构中的公共子代数要么是一个特殊的(同余)滤子,要么是滤子与理想的并集时),为非交换剩余格的互可组合性研究迈出第一步。
文献和引用工具
与本文相关的代码,数据和媒体
alphaXiv (什么是 alphaXiv?)
CatalyzeX 代码查找器 (什么是 CatalyzeX?)
DagsHub (什么是 DagsHub?)
Gotit.pub (什么是 GotitPub?)
Hugging Face (什么是 Huggingface?)
带有代码的论文 (什么是带有代码的论文?)
ScienceCast (什么是 ScienceCast?)
演示
推荐器和搜索工具
arXivLabs:与社区合作伙伴的实验项目
arXivLabs 是一个框架,允许合作伙伴直接在我们的网站上开发和分享新的 arXiv 特性。
与 arXivLabs 合作的个人和组织都接受了我们的价值观,即开放、社区、卓越和用户数据隐私。arXiv 承诺这些价值观,并且只与遵守这些价值观的合作伙伴合作。
有一个为 arXiv 社区增加价值的项目想法吗? 了解更多关于 arXivLabs 的信息.