Congruence factorizations on distributive lattices
Ivan Chajda · Czech digital mathematics library · 1978
G. A. Fraser and A. Horn [1] gave conditions for direct decompositions of congruences on a direct product of two algebras.The aim of this paper is to give some sufficient conditions for the direct factorization of congruences on distributive lattices, which are directly decomposable to an arbitrary number of chains.Let A, for iel be lattices, 0, be a congruence on A,, i 0 el and J = I -{i 0 }.Denote by A = II A, the direct product of A, and let 0 = II 0, be a binary relation iel iel