ArticleOriginal scientific text
Title
Distributive ordered sets and relative pseudocomplements
Authors 1
Affiliations
- Masaryk University, Faculty of Science, Department of Algebra and Geometry, Janáčkovo náměstí 2a, 60200 Brno, Czechoslovakia
Abstract
Brouwerian ordered sets generalize Brouwerian lattices. The aim of this paper is to characterize (α)-complete Brouwerian ordered sets in a manner similar to that used previously for pseudocomplemented, Stone, Boolean and distributive ordered sets. The sublattice (G(P)) in the Dedekind-Mac~Neille completion (DM(P)) of an ordered set (P) generated by (P) is said to be the characteristic lattice of (P). We can define a stronger notion of Brouwerianicity by demanding that both (P) and (G(P)) be Brouwerian. It turns out that the two concepts are the same for finite ordered sets. Further, the so-called antiblocking property of distributive lattices is generalized to distributive ordered sets.
Keywords
Brouwerian ordered set, distributive ordered set, relative pseudocomplement
Bibliography
- B.A. Davey and H.A. Priestley, Introduction to Lattices and Order, Cambridge University Press, Cambridge 1990.
- M. Erné, Distributive laws for concept lattices, Algebra Universalis 30 (1993), 538-580
- G. Grätzer, General Lattice Theory, Akademie-Verlag, Berlin 1978.
- R. Halaš, Pseudocomplemented ordered sets, Archivum Math. (Brno) 29 (1993), 153-160
- J. Larmerová and J. Rachůnek, Translations of distributive and modular ordered sets, Acta Univ. Palack. Olom., Math. 27 (1988), 13-23
- J. Niederle, Boolean and distributive ordered sets: characterization and representation by sets, Order 12 (1995), 189-210
- J. Niederle, Identities in ordered sets, Order 15 (1999), 271-278
- J. Niederle, Semimodularity and irreducible elements, Acta Sci. Math. (Szeged) 64 (1998), 351-356
- J. Niederle, On pseudocomplemented and Stone ordered sets, Order 18 (2001), 161-170
- J. Niederle, On pseudocomplemented and Stone ordered sets, addendum, Order 20 (2003), 347-349
- J. Niederle, On infinitely distributive ordered sets, Math. Slovaca 55 (2005), 495-502
- G. Szász, Einführung in die Verbandstheorie, Akadémiai Kiadó, Budapest 1962.