Varieties having Boolean factor congruences (Q1813837)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Varieties having Boolean factor congruences
scientific article

    Statements

    Varieties having Boolean factor congruences (English)
    0 references
    0 references
    25 June 1992
    0 references
    In the paper, the varieties having Boolean factor congruences (BFC) or, equivalently, the strict refinement property are studied aiming at finding a Mal'cev condition for BFC. The main results are as follows: 1. A sufficient condition for BFC, denoted by (*), is given in terms of a first-order definable 4-ary relation. 2. Every variety known to have BFC (e.g., those having the Fraser-Horn-Hu property) satisfies (*). 3. Every centerless variety has BFC, but not vice versa. 4. For congruence-modular varieties and Jónsson-Tarski varieties, (*) is equivalent to BFC and also to the absence of nontrivial abelian algebras.
    0 references
    0 references
    Boolean factor congruences
    0 references
    strict refinement property
    0 references
    centerless variety
    0 references
    congruence-modular varieties
    0 references
    Jónsson-Tarski varieties
    0 references
    abelian algebras
    0 references

    Identifiers