Congruence Boolean Lifting Property

zbMATH Open1398.08008arXiv1502.06907MaRDI QIDQ4963161FDOQ4963161

Authors: Claudia Mureşan, George Georgescu 

Publication date: 6 November 2018

Abstract: We introduce and study the Congruence Boolean Lifting Property (CBLP) for congruence--distributive universal algebras, as well as a property related to CBLP, which we have called $(star)$. CBLP extends the so--called Boolean Lifting Properties (BLP) from MV--algebras, BL--algebras and residuated lattices, but differs from the BLP when particularized to bounded distributive lattices. Important classes of universal algebras, such as discriminator varieties, fulfill the CBLP. The main results of the present paper include a characterization theorem for congruence--distributive algebras with CBLP and a structure theorem for semilocal arithmetical algebras with CBLP. When we particularize the CBLP to the class of residuated lattices and to that of bounded distributive lattices and we study its relation to other Boolean Lifting Properties for these algebras, interesting results concerning the image of the reticulation functor between these classes are revealed.

Full work available at URL: https://arxiv.org/abs/1502.06907

Recommendations

• Factor congruence lifting property
• Boolean lifting property for residuated lattices
• Boolean lifting property in quantales
• Boolean lifting properties for bounded distributive lattices
• Boolean factor congruences and property \((*)\)
• scientific article; zbMATH DE number 4029847
• Lifting Theorems for Equality
• Properties of Boolean orthoposets
• scientific article; zbMATH DE number 4174998
• On the congruence extension property

zbMATH Keywords

latticeresiduated latticediscriminator varietyarithmetical algebraBoolean centerBoolean lifting propertycongruence-distributive algebracongruence-permutable algebrareticulation

Mathematics Subject Classification ID

Other algebras related to logic (03G25) MV-algebras (06D35) Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10)

Cites Work

• Title not available (Why is that?)
• Lattices and ordered algebraic structures
• Title not available (Why is that?)
• Title not available (Why is that?)
• Residuated lattices. An algebraic glimpse at substructural logics
• Mathematics behind fuzzy logic
• Lattice-theoretic properties of algebras of logic
• Dense elements and classes of residuated lattices
• Title not available (Why is that?)
• Title not available (Why is that?)
• Neat rings
• Maximal residuated lattices with lifting Boolean center
• Title not available (Why is that?)
• Characterization of the reticulation of a residuated lattice
• Gelfand and exchange rings: their spectra in pointfree topology
• Algebraic and topological results on lifting properties in residuated lattices
• Title not available (Why is that?)
• Boolean lifting properties for bounded distributive lattices
• Further functorial properties of the reticulation
• Co-Stone residuated lattices
• Boolean lifting property for residuated lattices
• Title not available (Why is that?)
• Title not available (Why is that?)
• Prime spectra in modular varieties
• On prime spectrums of 2-primal rings.
• Title not available (Why is that?)

Cited In (6)

• Boolean lifting property for residuated lattices
• Algebraic and topological results on lifting properties in residuated lattices
• Boolean lifting properties for bounded distributive lattices
• Classes of pseudo BL-algebras with right Boolean lifting property
• Boolean lifting property in quantales
• Factor congruence lifting property

This page was built for publication: Congruence Boolean Lifting Property

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