Compact factor congruences imply Boolean factor congruences (Q2583595): Difference between revisions

A variety \({\mathcal V}\) has Compact Factor Congruences (CFG) whenever every factor congruence on \(A\in{\mathcal V}\) is compact. A variety \({\mathcal V}\) has Boolean Factor Congruences (BFC) whenever the factor congruences on \(A\in{\mathcal V}\) form a distributive sublattice in Con \(A\). Using the concept of central element (introduced by D. Vaggione, 1996) the authors prove that CFC implies BFC on varieties or algebras.