Terms which are Mal'cev modulo some functions (Q934886): Difference between revisions

Let \(A\) be an algebra, \(\text{Adm}(A)\) denote the set of all reflexive and admissible relations on \(A\) and \(F,G:\text{Adm}(A)\to\text{Adm}(A)\). A ternary term \(t\) of \(A\) is called Mal'tsev modulo \(F\) and \(G\) if \(a\,F(R)\,t(a,b,b)\) and \(t(a,a,b)\,G(R)\,b\) for all \(R\in\text{Adm}(A)\) and \((a,b)\in R\). Let \(V\) be a variety. \(F\) is called a global operator on \(V\) for reflexive and admissible relations if to any \(A\in V\), \(F\) assigns a function \(F_A:\text{Adm}(A)\to\text{Adm}(A)\). It is proved that under some assumptions on the global operators \(F,G\) on \(V\), \(V\) has a term being Mal'tsev modulo \(F_A\) and \(G_A\) for every \(A\) in \(V\) if and only if every \(A\in V\) has a term being Mal'tsev modulo \(F_A\) and \(G_A\).