Equational bases and nonmodular lattice varieties
HTML articles powered by AMS MathViewer
- by Ralph McKenzie
- Trans. Amer. Math. Soc. 174 (1972), 1-43
- DOI: https://doi.org/10.1090/S0002-9947-1972-0313141-1
- PDF | Request permission
Abstract:
This paper is focused on equational theories and equationally defined varieties of lattices which are not assumed to be modular. It contains both an elementary introduction to the subject and a survey of open problems and recent work. The concept of a “splitting” of the lattice of lattice theories is defined here for the first time in print. These splittings are shown to correspond bi-uniquely with certain finite lattices, called “splitting lattices". The problems of recognizing whether a given finite lattice is a splitting lattice, whether it can be embedded into a free lattice, and whether a given interval in a free lattice is atomic are shown to be closely related and algorithmically solvable. Finitely generated projective lattices are characterized as being those finitely generated lattices that can be embedded into a free lattice.References
- Kirby A. Baker, Equational classes of modular lattices, Pacific J. Math. 28 (1969), 9–15. MR 244118
- Garrett Birkhoff, Lattice theory, 3rd ed., American Mathematical Society Colloquium Publications, Vol. XXV, American Mathematical Society, Providence, R.I., 1967. MR 0227053
- S. D. Comer and D. X. Hong, Some remarks concerning the varieties generated by the diamond and the pentagon, Trans. Amer. Math. Soc. 174 (1972), 45–54. MR 313142, DOI 10.1090/S0002-9947-1972-0313142-3
- G. Grätzer, Equational classes of lattices, Duke Math. J. 33 (1966), 613–622. MR 199128
- George Grätzer, Universal algebra, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto, Ont.-London, 1968. MR 0248066
- 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
- Bjarni Jónsson, Equational classes of lattices, Math. Scand. 22 (1968), 187–196 (1969). MR 246797, DOI 10.7146/math.scand.a-10882
- Bjarni Jónsson and James E. Kiefer, Finite sublattices of a free lattice, Canadian J. Math. 14 (1962), 487–497. MR 137667, DOI 10.4153/CJM-1962-040-1
- Ralph McKenzie, Equational bases for lattice theories, Math. Scand. 27 (1970), 24–38. MR 274353, DOI 10.7146/math.scand.a-10984 M. P. Schützenberger, Sur certaines axiomes de la théorie des structures, C. R. Acad. Sci. Paris 221 (1945), 218-220. MR 7, 235.
- A. Tarski, Equational logic and equational theories of algebras, Contributions to Math. Logic (Colloquium, Hannover, 1966) North-Holland, Amsterdam, 1968, pp. 275–288. MR 0237410
- Philip M. Whitman, Free lattices, Ann. of Math. (2) 42 (1941), 325–330. MR 3614, DOI 10.2307/1969001
- Philip M. Whitman, Free lattices. II, Ann. of Math. (2) 43 (1942), 104–115. MR 6143, DOI 10.2307/1968883
- Phillip M. Whitman, Splittings of a lattice, Amer. J. Math. 65 (1943), 179–196. MR 7389, DOI 10.2307/2371781
- Philip M. Whitman, Status of word problems for lattices, Proc. Sympos. Pure Math., Vol. II, American Mathematical Society, Providence, R.I., 1961, pp. 17–21. MR 0124246
- Rudolf Wille, Primitive Länge und primitive Weite bei modularen Verbänden, Math. Z. 108 (1969), 129–136 (German). MR 241332, DOI 10.1007/BF01114466
Bibliographic Information
- © Copyright 1972 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 174 (1972), 1-43
- MSC: Primary 06A20; Secondary 08A15
- DOI: https://doi.org/10.1090/S0002-9947-1972-0313141-1
- MathSciNet review: 0313141