A finite basis theorem for quasivarieties
type: Item
instance of: scholarly article
title: A finite basis theorem for quasivarieties
zbMATH Open document ID: 0569.08004
DOI: 10.1007/BF01190734
author: Don Pigozzi
author: W. J. Blok
published in: Algebra Universalis
publication date: 1986-01-01T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 08B10
Mathematics Subject Classification ID: 08C15
Mathematics Subject Classification ID: 03C05
zbMATH DE Number: 3908504
zbMATH Keywords: Blok, W. J.
zbMATH Keywords: Pigoi, Don
zbMATH Keywords: equationally definable principal meets
zbMATH Keywords: principal congruence
zbMATH Keywords: varieties
zbMATH Keywords: Boolean algebras
zbMATH Keywords: Heyting algebras
zbMATH Keywords: interior algebras
zbMATH Keywords: cylindric algebras
zbMATH Keywords: congruence-distributive
zbMATH Keywords: finitely generated congruences
zbMATH Keywords: subdirectly irreducible
zbMATH Keywords: quasi-identities
zbMATH Keywords: finite basis theorem
MaRDI profile type: Publication
cites work: Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
cites work: Finite equational bases for finite algebras in a congruence-distributive equational class
cites work: Q3855342
cites work: On the structure of varieties with equationally definable principal congruences. I
cites work: Introduction to the special issue on algebraic logic
cites work: Equational compactness in quasi-primal varieties
cites work: Matrices, primitive satisfaction and finitely based logics
cites work: Q4187823
cites work: Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
cites work: Connections between congruence-lattices and polynomial properties
cites work: Algebras Whose Congruence Lattices are Distributive.
cites work: Varieties with equationally definable principal congruences
cites work: Q4744318
description: scientific article; zbMATH DE number 3908504