Abstract
The relationship of projectivity between two quotients in a lattice is shown not to be first-order definable, in any nondistributive lattice variety. The proof depends on a special kind of subdirect power construction that shows the existence of arbitrarily long non-shortenable projectivities in such a variety. A similar result holds for weak projectivities. Even so, weak projectivities of bounded length do suffice to determine principal congruences in any variety generated by a finite lattice.
Similar content being viewed by others
References
K. A. Baker,Primitive satisfaction and equational problems for lattices and other algebras, Trans. Amer. Math. Soc.290 (1974), 125–150.
—,Finite equational bases for finite algebras in a congruence-distributive equational class, Advances in Math.24 (1977), 207–243.
K. A. Baker andA. F. Pixley,Polynomial interpolation and the Chinese remainder theorem for algebraic systems, Math. Z.143 (1974), 165–174.
J. T.Baldwin and J.Berman,Definable principal congruence relations: kith and kin, preprint.
G. M. Bergman,The existence of subalgebras of direct products with prescribed d-fold projections, Algebra Universalis7 (1977), 341–356.
G. Birkhoff,Lattice Theory, 3rd ed., Amer. Math. Soc., Providence, 1967.
R. P. Dilworth,The structure of relatively complemented lattices, Ann. of Math. (2)51 (1950), 348–359.
R. P. Dilworth andP. Crawley,Algebraic Theory of Lattices, Prentice-Hall, Englewood Cliffs, 1973.
E. Fried, G. Grätzer, andR. Quackenbush,Uniform congruence schemes, Algebra Universalia10 (1980), 176–188.
G. Grätzer,General Lattice Theory, Birkhäuser Verlag, Basel, 1978.
—,Universal Algebra, 2nd ed., Springer-Verlag, New York, 1979.
C. Herrmann,Weak projective radius and finite equational bases for classes of lattices, Algebra Universalis3 (1973), 51–58.
B. Jonsson,Algebras whose congruence lattices are distributive, Math. Scand.21 (1967), 110–121.
—,Congruence varieties, Algebra Universalis10 (1980), 355–394.
R. McKenzie,Para primal varieties: a study of finite axiomatizability and definable principal congruences in locally finite varieties, Algebra Universalis8 (1978), 336–348.
A. Tarski,Equational logic and equational theories of algebras, pp. 275–288 in: H. A. Schmidt et al., Contributions to Mathematical Logic, North-Holland, Amsterdam, 1968.
W. F. Taylor,Equational Logic, Houston J. Math., Survey 1979.
R. Wille,Primitive subsets of lattices, Algebra Universalis2 (1972), 95–98.
—,On free modular lattices generated by finite chains, Algebra Universalis3 (1973), 131–138.
Author information
Authors and Affiliations
Additional information
Dedicated to Garrett Birkhoff
Author's research was supported in part by NSF Grant MCS 81-02519.
Rights and permissions
About this article
Cite this article
Baker, K.A. Nondefinability of projectivity in lattice varieties. Algebra Universalis 17, 267–274 (1983). https://doi.org/10.1007/BF01194536
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01194536