Equational Theories of Algebras with Distributive Congruences
- 1 December 1973
- journal article
- Published by JSTOR in Proceedings of the American Mathematical Society
- Vol. 41 (2) , 373-377
- https://doi.org/10.2307/2039097
Abstract
If an equational class of algebras has the distributive or permutable congruence property then it is well known that it satisfies certain conditions, known as Mal'cev-type conditions. In this note such Mal'cev-type conditions are used to find minimal bases for certain equational theories of algebras. A typical result states that every finitely based equational theory of algebras with distributive and permutable congruences is one-based.Keywords
This publication has 6 references indexed in Scilit:
- Primitive Satisfaction and Equational Problems for Lattices and Other AlgebrasTransactions of the American Mathematical Society, 1974
- Equational theory of idempotent algebrasAlgebra universalis, 1972
- The ternary discriminator function in universal algebraMathematische Annalen, 1971
- Equational Bases for Lattice Theories.MATHEMATICA SCANDINAVICA, 1970
- Algebras Whose Congruence Lattices are Distributive.MATHEMATICA SCANDINAVICA, 1967
- Distributivity and Permutability of Congruence Relations in Equational Classes of AlgebrasProceedings of the American Mathematical Society, 1963