Abstract
In [21], D. Pigozzi has proved in a non-constructive way that every relatively congruence distributive quasivariety of finite type generated by a finite set of finite algebras is finitely axiomatizable. In this paper we show that the non-constructive parts of Pigozzi's argument can be replaced by constructive ones. As a result we obtain a method of constructing a finite set of quasi-equational axioms for each relatively congruence distributive quasivariety generated by a given finite set of finite algebras of finite type. The method can also be applied to finitely generated congruence distributive varieties.
Similar content being viewed by others
References
Baker, K. A.,Equational axioms for classes of lattices. Bull. Amer. Math. Soc.77 (1971), 97–102.
Baker, K. A.,Primitive satisfaction and equational problems for lattices and other algebras. Trans. Amer. Math. Soc.190 (1974), 125–150.
Baker, K. A.,Finite equational bases for finite algebras in a congruence-distributive equational class. Advances in Math.24 (1977), 207–243.
Birkhoff, G.,On the structure of abstract algebras. Proc. Cambridge Phil. Soc.31 (1935), 433–454.
Blok, W. J. andPigozzi, D.,On the structure of varieties with equationally definable principal congruences I. Algebra Universalis15 (1982), 195–227.
Blok, W. J. andPigozzi, D.,A finite basis theorem for quasivarieties. Algebra Universalis22 (1986), 1–13.
Blok, W. J. andPigozzi, D.,Protoalgebraic logics. Studia Logica45 (1986), 337–369.
Burris, S.,On Baker's finite basis theorem for congruence distributive varieties. Proc. Amer. Math. Soc.73 (1979), 141–148.
Czelakowski, J. andDziobiak, W.,Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class. Algebra Universalis27 (1990), 128–149.
Dziobiak, W.,Finitely generated congruence distributive quasivarieties of algebras. Fundamenta Mathematicae133 (1989), 47–57.
Dziobiak, W.,Relative congruence distributivity within quasivarieties of nearly associative φ-algebras. Fundamenta Mathematicae135 (1990), 77–95.
Grätzer, G. andLakser, H.,A note on the implicational class generated by a class of structures. Canad. Math. Bull.16 (1973), 603–605.
Herrmann, C.,Weak (projective) radius and finite equational bases for classes of lattices. Algebra Universalis3 (1973), 51–58.
Jónsson, B.,Algebras whose congruence lattices are distributive. Math. Scand.21 (1967), 110–121.
Jónsson, B.,On finitely based varieties of algebras. Colloq. Math.42 (1979), 255–261.
Kearnes, K.,Relatively congruence distributive subquasivarieties of a congruence modular variety, (to appear). Bull. Aust. Math. Soc.
Kearnes, K. andMcKenzie, R.,Commutator theory for relatively modular quasivarieties. Preprint.
Makkai, M.,A proof of Baker's finite-base theorem on equational classes generated by finite elements of congruence distributive varieties. Algebra Universalis3 (1973), 174–181.
Mal'cev, A. I.,Algebraic systems. Springer-Verlag, New York-Heidelberg, 1973.
Nurakunov, A. M.,On a characterization of congruence distributive quasivarieties of algebras (Russian). Preprint.
Pigozzi, D.,Finite basis theorems for relatively congruence-distributive quasivarieties. Trans. Amer. Math. Soc.310 (1988), 499–533.
Taylor, W.,Baker's finite basis theorem. Algebra Universalis8 (1978), 191–196.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Dziobiak, W. Finite bases for finitely generated, relatively congruence distributive quasivarieties. Algebra Universalis 28, 303–323 (1991). https://doi.org/10.1007/BF01191083
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01191083