Tolerances as images of congruences in varieties defined by linear identities (Q353352): Difference between revisions

The authors deal with a linear identity \(s = t\). An identity \(s = t\) is linear if each variable occurs in each of the terms \(s\) and \(t\) at most once. Let \(T\) is a tolerance relation of an algebra \(A\) in a variety defined by a set of linear identities. The authors prove that there exists an algebra \(B\) in the same variety and a congruence \(\theta \) of \(B\) such that a homomorphism from \(B\) onto \(A\) maps \(\theta \) onto \(T\).