arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2006.01173math.RA
收藏

相容自反关系恒等式对应的Mal'cev条件

Mal'cev conditions corresponding to identities for compatible reflexive relations

Stefano Fioravanti

摘要:

我们调查马尔切夫条件所描述的方程,其变量运行在一组所有兼容的自反关系。令$p \leq q$为语言$\{\wedge, \circ,+\}$中的等式。给出了相容自反关系集上满足$p \leq q$的簇的一个刻划。目的是找到Pixley-Wille算法的一个类比,用于所有相容自反关系集上的方程所表示的条件,并刻画当考虑代数的同余格或所有相容自反关系集时,方程$p \leq q$表示相同的性质.

英文摘要:

We investigate Mal'cev conditions described by equations whose variables runs over the set of all compatible reflexive relations. Let $p \leq q$ be an equation in the language $\{\wedge, \circ,+\}$. We give a characterization of the class of all varieties which satisfy $p \leq q$ over the set of all compatible reflexive relations. The aim is to find an analogon of the Pixley-Wille algorithm for conditions expressed by equations over the set of all compatible reflexive relations, and to characterize when an equation $p \leq q$ expresses the same property when considered over the congruence lattices or over the sets of all compatible reflexive relations of algebras in a variety.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑