A finite basis theorem for quasivarieties (Q1061158)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A finite basis theorem for quasivarieties
scientific article

    Statements

    A finite basis theorem for quasivarieties (English)
    0 references
    0 references
    0 references
    0 references
    1986
    0 references
    A variety V has equationally definable principal meets (EDPM) if there is a finite system of pairs of terms \(<p_ i(x,y,z,w),q_ i(x,y,z,w)>\) for \(i=0,...,n-1\) with the following property: for every algebra \({\mathbb{A}}\in V\) and all a,b,c,d\(\in {\mathbb{A}}\), \[ \Xi (a,b)\cap \Xi (c,d)=\bigvee_{i<n}\Xi (p_ i^{{\mathbb{A}}}(a,b,c,d),q_ i^{{\mathbb{A}}}(a,b,c,d)). \] (\(\Xi\) (a,b) is the principal congruence relation on \({\mathbb{A}}\) generated by a and b.) Examples of varieties with EDPM: Boolean algebras, Heyting algebras, interior algebras, relation algebras, cylindric algebras of finite dimension, regular rings, vector groups, F-rings, vector lattices. The main results of the paper: Theorem 1. Every variety with EDPM is congruence-distributive. Theorem 2. For any variety K the following are equivalent: (i) K has EDPM; (ii) K is congruence-distributive and the finitely generated congruences of K are closed under intersection; (iii) K is congruence-distributive and the class of finitely generated subdirectly irreducible members of K forms a universal class. Theorem 3. If K is any finite subset of a variety with EDPM, then there is a finite base for the quasi-identities of K. Notes: The weaker version of Theorem 2 obtained when condition (i) is replaced by (i') K is congruence-distributive and has EDPM was known. For varieties with EDPM Theorem 3 is a generalization of K. Baker's well known finite basis theorem.
    0 references
    0 references
    0 references
    0 references
    0 references
    Blok, W. J.
    0 references
    Pigoi, Don
    0 references
    equationally definable principal meets
    0 references
    principal congruence
    0 references
    varieties
    0 references
    Boolean algebras
    0 references
    Heyting algebras
    0 references
    interior algebras
    0 references
    cylindric algebras
    0 references
    congruence-distributive
    0 references
    finitely generated congruences
    0 references
    subdirectly irreducible
    0 references
    quasi-identities
    0 references
    finite basis theorem
    0 references