Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 

 

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.


References [Enhancements On Off] (What's this?)


Similar Articles

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