Factor Congruence Lifting Property
Logic
2015-11-04 v1
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 this property, which we have called the Factor Congruence Lifting Property, and study it, partly in relation to the Congruence Boolean Lifting Property, and to other lifting properties in particular classes of algebras.
Keywords
Cite
@article{arxiv.1511.01031,
title = {Factor Congruence Lifting Property},
author = {George Georgescu and Claudia Mureşan},
journal= {arXiv preprint arXiv:1511.01031},
year = {2015}
}
Comments
22 pages