Abstract
We consider varieties with the property that the intersection of any pair of principal congruences is finitely generated, and, in fact, generated by pairs of terms constructed from the generators of the principal components in a uniform way. We say that varieties with this property haveequationally definable principal meets (EDPM). There are many examples of these varieties occurring in the literature, especially in connection with metalogical investigations. The main result of this paper is that every finite, subdirectly irreducible member of a variety with EDPM generates a finitely based quasivariety. This is proved in Section 2. In the first section we prove that every variety with EDPM is congruence-distributive.
Similar content being viewed by others
References
K. Baker,Primitive satisfaction and equational problems for lattices and other algebras. Trans. Amer. Math. Soc.190 (1974), 125–150.
K. Baker,Finite equational bases for finite algebras in a congruence-distributive equational class. Advances in Math.24 (1977), 207–243.
V. P. Belkin,Quasi-identities of finite rings and lattices. (Russian) Algebra i Logika17 (1978), 247–259.
W. J. Blok andD. Pigozzi,On the structure of varieties with equationally definable principal congruences I. Algebra Universalis15 (1982), 195–227.
W. J.Blok and D.Pigozzi,The deduction theorem in algebraic logic. Preprint.
S. Bulman-Fleming andH. Werner,Equatorial compactness in quasi-primal varieties. Algebra Universalis7 (1977), 33–46.
J. Czelakowski,Matrices, primitive satisfaction and finitely based logics. Studia Logica42 (1983), 89–104.
W. Dzik andR. Suszko,On distributivity of closure systems. Polish Acad. Sci. Inst. Philos. Sociol. Bull. Sect. Logic6 (1977), 64–66.
W. Dziobiak,Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra. Studia Logica41 (1982), 415–428.
E. Fried andE. W. Kiss,Connection between congruence-lattices and polynomial properties. Algebra Universalis17 (1983), 227–262.
B. Jónsson,Algebras whose congruence lattices are distributive. Math. Scand.21 (1967), 110–121.
P. Köhler andD. Pigozzi,Varieties with equationally definable principal congruences. Algebra Universalis11 (1980) 213–219.
V. V. Rybakov,Bases of quasivarieties of finite modal algebras. (Russian) Algebra i Logika21 (1982), 219–227.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Blok, W.J., Pigozzi, D. A finite basis theorem for quasivarieties. Algebra Universalis 22, 1–13 (1986). https://doi.org/10.1007/BF01190734
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01190734