Abstract

The concept of a sectionally pseudocomplemented lattice was introduced in Birkhoff (1979) as an extension of relative pseudocomplementation for not necessarily distributive lattices. The typical example of such a lattice is the non-modular lattice N5. The aim of this paper is to extend the concept of sectional pseudocomplementation from lattices to posets. At first we show that the class of sectionally pseudocomplemented lattices forms a variety of lattices which can be described by two simple identities. This variety has nice congruence properties. We summarize properties of sectionally pseudocomplemented posets and show differences to relative pseudocomplementation. We prove that every sectionally pseudocomplemented poset is completely L-semidistributive. We introduce the concept of congruence on these posets and show when the quotient structure becomes a poset again. Finally, we study the Dedekind-MacNeille completion of sectionally pseudocomplemented posets. We show that contrary to the case of relatively pseudocomplemented posets, this completion need not be sectionally pseudocomplemented but we present the construction of a so-called generalized ordinal sum which enables us to construct the Dedekind-MacNeille completion provided the completions of the summands are known.

Highlights

  • The concept of relative pseudocomplemented lattices was introduced by R

  • Support of the research of the first two authors by the Austrian Science Fund (FWF), project I 4579-N, and the Czech Science Foundation (GAC R), project 20-09869L, entitled “The many facets of orthomodularity”, as well as by O AD, project CZ 02/2019, entitled “Function algebras and ordered structures related to logic and data fusion”, and, concerning the first author, by IGA, project PrF 2020 014, is gratefully acknowledged

  • The aim of the present paper is to extend sectional pseudocomplementation to posets which, need not be distributive

Read more

Summary

Introduction

The concept of relative pseudocomplemented lattices was introduced by R. This concept was extended to posets recently by the first and second author and J. In order to extend relative pseudocomplementation in lattices to the non-distributive case, sectional pseudocomplementation was introduced in [3], see [6]. The aim of the present paper is to extend sectional pseudocomplementation to posets which, need not be distributive. The concept of a sectionally pseudocomplemented lattice was introduced by the first author in [3]. Recall that a lattice (L, ∨, ∧) is sectionally pseudocomplemented if for all a, b ∈ L there exists the pseudocomplement of a ∨ b with respect to b in [b, 1], in other words, there exists a greatest element c of L satisfying (a ∨ b) ∧ c = b. The aim of this paper is to extend this concept to posets

Properties of Sectionally Pseudocomplemented Posets and Lattices
Congruences in Sectionally Pseudocomplemented Posets
Completion of Sectionally Pseudocomplemented Posets
Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call