Compact factor congruences imply Boolean factor congruences

From MaRDI portal





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.











This page was built for publication: Compact factor congruences imply Boolean factor congruences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2583595)