Abstract
In this paper it is proved that a variety generated by a finite algebraic system with finitely many operations is finitely axiomatizable, provided that the variety is congruence modular and residually small. This result is an extension to congruence modular varieties of a well known theorem for congruence distributive varieties, due to K. A. Baker. Also, under somewhat less restrictive hypotheses, (which are satisfied by finite groups and rings) it is proved that a finite algebraic system belongs to a finitely axiomatizable locally finite variety.
Similar content being viewed by others
References
K. A. Baker Finite equational bases for finite algebras in a congruence-distributive equational class, Advances in Math.24 (1977), 207–243.
K. A.Baker, G. F.McNulty, and H.Werner Shift-automorphism methods for inherently nonfinitely based varieties of algebras [manuscript].
R.Bryant The laws of finite pointed groups, Bull. London Math. Soc. [to appear].
S.Burris and H. P.Sankappanavar A COURSE IN UNIVERSAL ALGEBRA, Springer-Verlag, Graduate Texts in Mathematics v. 78.
R. Freese andR. McKenzie Residually small varieties with modular congruence lattices, Trans. Amer. Math. Soc.264 (1981), 419–430.
R.Freese and R.McKenzie Commutator theory for congruence modular varieties, London Math. Soc. Lecture Note series, vol. 125, 1987.
H. P. Gumm An easy way to the commutator in modular varieties, Archiv der Math. (Basel)34 (1980), 220–228.
H. P. Gumm Congruence modularity is permutability composed with distributivity, Archiv der Math. (Basel)36 (1981), 569–576.
H. P.Gumm Geometrical methods in congruence modular algebras, Memoirs of the Amer. Math. Soc.286 (1983).
D.Hobby and R.McKenzie The Structure of Finite Algebras (Tame congruence theory), Amer. Math. Soc. Contemporary Mathematics series [to appear].
R. McKenzie Nilpotent and solvable radicals in locally finite congruence modular varieties, Algebra Universal24 (1987) 251–266.
G. F. McNulty How to construct finite algebras which are not finitely based in Universal Algebra and Lattice Theory, S. D. Comer Ed., Lecture Notes in Mathematics, vol. 1149, Springer-Verlag, New York (1985) 167–174.
S. Oates-MacDonald andM. Vaughan-Lee Varieties that make one Cross, J. Austral. Math. Soc. (Series A)26 (1978), 368–382.
S. V. Polin Identities of finite algebras, Siberian Math. J.17 (1976), 992–999.
W. Taylor Baker's finite basis theorem, Algebra Universalis8 (1978), 191–196.
M. R. Vaughan-Lee Nilpotence in permutable varieties, in Universal Algebra and Lattice Theory, R. Freese and O. Garcia, eds., Lectures Notes in Mathematics, vol. 1004, Springer-Verlag, New York (1983) 293–308.
Author information
Authors and Affiliations
Additional information
Research supported by National Science Foundation Grant No. DMS-8302295.
Rights and permissions
About this article
Cite this article
McKenzie, R. Finite equational bases for congruence modular varieties. Algebra Universalis 24, 224–250 (1987). https://doi.org/10.1007/BF01195263
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01195263