Abstract

In previous work, we have introduced and studied a lifting property in congruence–distributive universal algebras which we have defined based on the Boolean congruences of such algebras, and which we have called the Congruence Boolean Lifting Property. In a similar way, a lifting property based on factor congruences can be defined in congruence–distributive algebras; in this paper we introduce and study this property, which we have called the Factor Congruence Lifting Property. We also define the Boolean Lifting Property in varieties with \ and \ having Boolean Factor Congruences and no skew congruences, and prove that it coincides to the Factor Congruence Lifting Property in the congruence–distributive case; we particularize this result to bounded distributive lattices and residuated lattices.