[论文解读] On the zero-classes of monoid semi-congruences

M. Hoefnagel, N. Martins-Ferreira+1 more|arXiv (Cornell University)|Feb 15, 2026

Advanced Algebra and Logic被引用 0

一句话总结

本文介绍一种刻画半群半同余的零类（凝块）的句法关系，并制定了一系列子半群条件的层次结构，以获得越来越强的、与运算兼容的关系性质。

ABSTRACT

This paper studies the zero-classes of monoid semi-congruences, understood as internal reflexive relations on a monoid. Classical examples include normal submonoids, which arise as zero-classes of congruences, and positive cones, which are the zero-classes of preorders; both admit well-known syntactic characterizations via the Eilenberg syntactic equivalence and the syntactic preorder introduced by Pin, respectively. Beyond these cases, however, no general notion of a syntactic object characterizing zero-classes of semi-congruences, also called clots, has been established. We address this gap by introducing a syntactic relation that is reflexive and characterizes clots whenever it is compatible with the monoid operation, a property that is not automatic in contrast to the congruence and preorder settings. We further develop a hierarchy of conditions on submonoids of a given monoid that induce syntactic relations with progressively stronger properties: first ensuring compatibility with the monoid operation, and subsequently enforcing additional relational properties such as transitivity and symmetry. Several illustrative situations are discussed, including the cases of positive cones and normal submonoids.

研究动机与目标

• 为超越普通子半群与正锥，动机化并形式化半群半同余的零类（凝块）的概念。
• 引入一个与半群运算兼容时能刻画凝块的自反句法关系。
• 发展一系列由子半群诱导的条件，产生具有更强性质的句法关系，如兼容性、传递性及对称性。
• 用正锥与普通子半群等示例来说明该框架。

提出的方法

• 定义并研究一个旨在捕捉凝块状零类的自反句法关系。
• 将该关系与半群运算的兼容性作为关键判据进行考察。
• 构建一个子半群条件的分层序列，逐步强制实现兼容性及额外的关系性质（传递性、对称性）。
• 分析示例情形：正锥与普通子半群，以示范该框架。

实验结果

研究问题

• RQ1 刻画半群半同余的零类（凝块）所需的合适句法概念是什么？
• RQ2 在何种条件下这一句法关系与半群运算兼容？
• RQ3 如何组织子半群条件以产生越来越强的关系（兼容性、传递性、对称性）？
• RQ4 正如正锥与普通子半群等标准例子如何适用于所提出的框架？

主要发现

• 提出一个自反句法关系，以在与半群运算兼容时捕捉凝块状零类。
• 发展一系列子半群条件，以逐步强制实现更强的关系性质。
• 与半群运算的兼容性并非对半同余零类自动成立，与同余与偏序情况不同。
• 框架包含以正锥和普通子半群为例的具体示例说明。