Lattice tolerances and congruences (Q647325): Difference between revisions

It was proved by the first author in 1982 that for every lattice \(L\) and each tolerance \(T\) on \(L\) there exists a lattice \(L/T\) which is formed by blocks of \(T\). Here the authors give a construction of a lattice \(K\) and a congruence on \(K\) such that \(L\) is a homomorphic image of \(K\) and \(T\) is a homomorphic image of this congruence.