Residually finite, congruence meetsemidistributive varieties of finite type have a finite residual bound
Authors:
Keith A. Kearnes and Ross Willard
Journal:
Proc. Amer. Math. Soc. 127 (1999), 28412850
MSC (1991):
Primary 08B26, 08B10
Published electronically:
June 17, 1999
MathSciNet review:
1636966
Fulltext PDF Free Access
Abstract 
References 
Similar Articles 
Additional Information
Abstract: We show that a residually finite, congruence meetsemidistributive variety of finite type is residually for some finite . This solves Pixley's problem and a special case of the restricted Quackenbush problem.
 1.
Kirby
A. Baker, Finite equational bases for finite algebras in a
congruencedistributive equational class, Advances in Math.
24 (1977), no. 3, 207–243. MR 0447074
(56 #5389)
 2.
Gábor
Czédli, A characterization for congruence
semidistributivity, Universal algebra and lattice theory (Puebla,
1982) Lecture Notes in Math., vol. 1004, Springer, Berlin, 1983,
pp. 104–110. MR 716177
(85g:08006), http://dx.doi.org/10.1007/BFb0063432
 3.
Alfred
L. Foster and Alden
F. Pixley, Semicategorical algebras. II, Math. Z.
85 (1964), 169–184. MR 0168509
(29 #5771)
 4.
David
Hobby and Ralph
McKenzie, The structure of finite algebras, Contemporary
Mathematics, vol. 76, American Mathematical Society, Providence, RI,
1988. MR
958685 (89m:08001)
 5.
Wilfrid
Hodges, Model theory, Encyclopedia of Mathematics and its
Applications, vol. 42, Cambridge University Press, Cambridge, 1993. MR 1221741
(94e:03002)
 6.
Kalle
Kaarli and Alden
Pixley, Affine complete varieties, Algebra Universalis
24 (1987), no. 12, 74–90. MR 921532
(88k:08002), http://dx.doi.org/10.1007/BF01188385
 7.
K. Kearnes and Á. Szendrei, The relationship between two commutators, to appear in Internat. J. Algebra Comput.
 8.
P. Lipparini, A characterization of varieties with a difference term, II: neutral meet semidistributive, Canad. Math. Bull. 41 (1998), 318327. CMP 98:16
 9.
Ralph
McKenzie, The residual bounds of finite algebras, Internat. J.
Algebra Comput. 6 (1996), no. 1, 1–28. MR 1371732
(97e:08002a), http://dx.doi.org/10.1142/S0218196796000027
 10.
Robert
W. Quackenbush, Equational classes generated by finite
algebras, Algebra Universalis 1 (1971/72),
265–266. MR 0294222
(45 #3295)
 11.
Walter
Taylor, Residually small varieties, Algebra Universalis
2 (1972), 33–53. MR 0314726
(47 #3278)
 12.
R. Willard, A finite basis theorem for residually finite congruence meetsemidistributive varieties, to appear in J. Symbolic Logic.
 1.
 K. Baker, Finite equational bases for finite algebras in a congruencedistributive equational class, Adv. in Math. 24 (1977), 207243. MR 56:5389
 2.
 G. Czédli, A characterization of congruence semidistributivity, in Universal Algebra and Lattice Theory (Proc. Conf. Puebla, 1982), Springer Lecture Notes No. 1004, 1983. MR 85g:08006
 3.
 A. Foster and A. Pixley, Semicategorical algebras. II, Math. Zeit. 85 (1964), 169184. MR 29:5771
 4.
 D. Hobby and R. McKenzie, The Structure of Finite Algebras, Contemporary Mathematics 76, American Math. Soc. (Providence, RI), 1988. MR 89m:08001
 5.
 W. Hodges, Model Theory, Encyclopedia of Mathematics and its Applications 42, Cambridge University Press, 1993. MR 94e:03002
 6.
 K. Kaarli and A. Pixley, Affine complete varieties, Algebra Universalis 24 (1987), 7490. MR 88k:08002
 7.
 K. Kearnes and Á. Szendrei, The relationship between two commutators, to appear in Internat. J. Algebra Comput.
 8.
 P. Lipparini, A characterization of varieties with a difference term, II: neutral meet semidistributive, Canad. Math. Bull. 41 (1998), 318327. CMP 98:16
 9.
 R. McKenzie, The residual bounds of finite algebras, Internat. J.Algebra Comput. 6 (1996), 128. MR 97e:08002a
 10.
 R. W. Quackenbush, Equational classes generated by finite algebras, Algebra Universalis 1 (1971), 265266. MR 45:3295
 11.
 W. Taylor, Residually small varieties, Algebra Universalis 2 (1972), 3353. MR 47:3278
 12.
 R. Willard, A finite basis theorem for residually finite congruence meetsemidistributive varieties, to appear in J. Symbolic Logic.
Similar Articles
Retrieve articles in Proceedings of the American Mathematical Society
with MSC (1991):
08B26,
08B10
Retrieve articles in all journals
with MSC (1991):
08B26,
08B10
Additional Information
Keith A. Kearnes
Affiliation:
Department of Mathematics, University of Louisville, Louisville, Kentucky 40292
Email:
kearnes@louisville.edu
Ross Willard
Affiliation:
Department of Pure Mathematics, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1
Email:
rdwillar@gillian.math.uwaterloo.ca
DOI:
http://dx.doi.org/10.1090/S0002993999050972
PII:
S 00029939(99)050972
Keywords:
Congruence distributive,
semidistributive,
residually finite,
variety
Received by editor(s):
January 6, 1998
Published electronically:
June 17, 1999
Additional Notes:
The second author gratefully acknowledges the support of the NSERC of Canada.
Communicated by:
Lance W. Small
Article copyright:
© Copyright 1999
American Mathematical Society
