Equational theories of algebras with distributive congruences
HTML articles powered by AMS MathViewer
- by R. Padmanabhan and R. W. Quackenbush
- Proc. Amer. Math. Soc. 41 (1973), 373-377
- DOI: https://doi.org/10.1090/S0002-9939-1973-0325498-2
- PDF | Request permission
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.References
- Kirby A. Baker, Primitive satisfaction and equational problems for lattices and other algebras, Trans. Amer. Math. Soc. 190 (1974), 125–150. MR 349532, DOI 10.1090/S0002-9947-1974-0349532-4
- Bjarni Jónsson, Algebras whose congruence lattices are distributive, Math. Scand. 21 (1967), 110–121 (1968). MR 237402, DOI 10.7146/math.scand.a-10850 G. Gratzer and R. McKenzie, Equational spectra and reduction of identities, Notices Amer. Math. Soc. 14 (1967), 697. Abstract #67T-469. Thomas C. Green, Minimum bases for equational theories of groups and rings (preprint).
- Ralph McKenzie, Equational bases for lattice theories, Math. Scand. 27 (1970), 24–38. MR 274353, DOI 10.7146/math.scand.a-10984
- R. Padmanabhan, Equational theory of idempotent algebras, Algebra Universalis 2 (1972), 57–61. MR 313167, DOI 10.1007/BF02945007
- A. F. Pixley, Distributivity and permutability of congruence relations in equational classes of algebras, Proc. Amer. Math. Soc. 14 (1963), 105–109. MR 146104, DOI 10.1090/S0002-9939-1963-0146104-X
- Alden F. Pixley, The ternary discriminator function in universal algebra, Math. Ann. 191 (1971), 167–180. MR 292738, DOI 10.1007/BF01578706
Bibliographic Information
- © Copyright 1973 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 41 (1973), 373-377
- MSC: Primary 08A25
- DOI: https://doi.org/10.1090/S0002-9939-1973-0325498-2
- MathSciNet review: 0325498