关于见证同余模性的项数

我们研究如下形式同余包含式的有效性: $\alpha ( \beta \circ \alpha \gamma \circ \beta \circ \dotsc \circ \alpha \gamma \circ \beta ) \subseteq \alpha \beta \circ \alpha \gamma \circ \alpha \beta \circ \dots$ 在同余模簇中,其两侧具有适当数量的项,其中并置表示交集。我们融合了两种分别使用 Day 项和 Gumm 项的不同方法,以获得迄今为止最好的界。我们引入并研究了其他相关恒等式,可能涉及容差和容许关系。我们还略微改进了 A. Day 的一个结果,即如果 $n$ 为偶数,则每个具有 $n+2$ 个 Jónsson 项的簇具有 $2n+1$ 个 Day 项。