Finitely presented lattices: canonical forms and the covering relation

Author:
Ralph Freese

Journal:
Trans. Amer. Math. Soc. **312** (1989), 841-860

MSC:
Primary 06B25

MathSciNet review:
949899

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: A canonical form for elements of a lattice freely generated by a partial lattice is given. This form agrees with Whitman's canonical form for free lattices when the partial lattice is an antichain. The connection between this canonical form and the arithmetic of the lattice is given. For example, it is shown that every element of a finitely presented lattice has only finitely many minimal join representations and that every join representation can be refined to one of these. An algorithm is given which decides if a given element of a finitely presented lattice has a cover and finds them if it does. An example is given of a nontrivial, finitely presented lattice with no cover at all.

**[1]**Peter Crawley and R. P. Dilworth,*The algebraic theory of lattices*, Prentice-Hall, Englewood Cliffs, N.J., 1973.**[2]**Alan Day,*Splitting lattices generate all lattices*, Algebra Universalis**7**(1977), no. 2, 163–169. MR**0434897****[3]**R. A. Dean,*Free lattices generated by partially ordered sets and preserving bounds*, Canad. J. Math.**16**(1964), 136–148. MR**0157916****[4]**Trevor Evans,*The word problem for abstract algebras*, J. London Math. Soc.**26**(1951), 64–71. MR**0038958****[5]**Ralph Freese,*Breadth two modular lattices*, Proceedings of the University of Houston Lattice Theory Conference (Houston, Tex., 1973) Dept. Math., Univ. Houston, Houston, Tex., 1973, pp. 409–451. MR**0398926****[6]**Ralph Freese and J. B. Nation,*Finitely presented lattices*, Proc. Amer. Math. Soc.**77**(1979), no. 2, 174–178. MR**542080**, 10.1090/S0002-9939-1979-0542080-8**[7]**Ralph Freese and J. B. Nation,*Covers in free lattices*, Trans. Amer. Math. Soc.**288**(1985), no. 1, 1–42. MR**773044**, 10.1090/S0002-9947-1985-0773044-4**[8]**G. Grätzer, A. P. Huhn, and H. Lakser,*On the structure of finitely presented lattices*, Canad. J. Math.**33**(1981), no. 2, 404–411. MR**617631**, 10.4153/CJM-1981-035-5**[9]**Ralph McKenzie,*Equational bases and nonmodular lattice varieties*, Trans. Amer. Math. Soc.**174**(1972), 1–43. MR**0313141**, 10.1090/S0002-9947-1972-0313141-1**[10]**Ralph N. McKenzie, George F. McNulty, and Walter F. Taylor,*Algebras, lattices, varieties. Vol. I*, The Wadsworth & Brooks/Cole Mathematics Series, Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, CA, 1987. MR**883644****[11]**J. C. C. McKinsey,*The decision problem for some classes of sentences without quantifiers*, J. Symbolic Logic**8**(1943), 61–76. MR**0008991****[12]**Philip M. Whitman,*Free lattices*, Ann. of Math. (2)**42**(1941), 325–330. MR**0003614****[13]**Philip M. Whitman,*Free lattices. II*, Ann. of Math. (2)**43**(1942), 104–115. MR**0006143****[14]**R. Wille,*On free modular lattices generated by finite chains*, Algebra Universalis**3**(1973), 131–138. MR**0329987**

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC:
06B25

Retrieve articles in all journals with MSC: 06B25

Additional Information

DOI:
https://doi.org/10.1090/S0002-9947-1989-0949899-0

Keywords:
Finitely presented lattice,
covering relation,
canonical form,
partial lattice

Article copyright:
© Copyright 1989
American Mathematical Society