ArticleOriginal scientific text
Title
Finite orders and their minimal strict completion lattices
Authors 1, 2
Affiliations
- Departamento de Matematica, Faculdade de Ciencias e Centro de Algebra, Universidade de Lisboa, R. Prof. Gama Pinto, 2; 1699 Lisboa, Portugal
- Centre de Recherche en Mathématiques, Statistique et Économie Mathématique (CERMSEM), Université de Paris I (Panthéon Sorbonne), Maison des Sciences Économiques, 106-112 bd de l'Hopital; 75647 Paris Cédex 13, France
Abstract
Whereas the Dedekind-MacNeille completion D(P) of a poset P is the minimal lattice L such that every element of L is a join of elements of P, the minimal strict completion D(P)∗ is the minimal lattice L such that the poset of join-irreducible elements of L is isomorphic to P. (These two completions are the same if every element of P is join-irreducible). In this paper we study lattices which are minimal strict completions of finite orders. Such lattices are in one-to-one correspondence with finite posets. Among other results we show that, for every finite poset P, D(P)∗ is always generated by its doubly-irreducible elements. Furthermore, we characterize the posets P for which D(P)∗ is a lower semimodular lattice and, equivalently, a modular lattice.
Keywords
atomistic lattice, join-irreducible element, distributive lattice, modular lattice, lower semimodular lattice, Dedekind-MacNeille completion, strict completion, weak order.
Bibliography
- G.H. Bordalo, A note on N-free modular lattices, manuscript (2000).
- G.H. Bordalo and B. Monjardet, Reducible classes of finite lattices, Order 13 (1996), 379-390.
- G.H. Bordalo and B. Monjardet, The lattice of strict completions of a finite poset, Algebra Universalis 47 (2002), 183-200.
- N. Caspard and B. Monjardet, The lattice of closure systems, closure operators and implicational systems on a finite set: a survey, Discrete Appl. Math. 127 (2003), 241-269.
- J. Dalík, Lattices of generating systems, Arch. Math. (Brno) 16 (1980), 137-151.
- J. Dalík, On semimodular lattices of generating systems, Arch. Math. (Brno) 18 (1982), 1-7.
- K. Deiters and M. Erné, Negations and contrapositions of complete lattices, Discrete Math. 181 (1995), 91-111.
- R. Freese, K. Jezek. and J.B. Nation, Free lattices, American Mathematical Society, Providence, RI, 1995.
- B. Leclerc and B. Monjardet, Ordres 'C.A.C.', and Corrections, Fund. Math. 79 (1973), 11-22, and 85 (1974), 97.
- B. Monjardet and R. Wille, On finite lattices generated by their doubly irreducible elements, Discrete Math. 73 (1989), 163-164.
- J.B. Nation and A. Pogel, The lattice of completions of an ordered set, Order 14 (1997) 1-7.
- L. Nourine, Private communication (2000).
- G. Robinson and E. Wolk, The embedding operators on a partially ordered set, Proc. Amer. Math. Soc. 8 (1957), 551-559.
- B. Seselja and A. Tepavcević, Collection of finite lattices generated by a poset, Order 17 (2000), 129-139.