Sectionally pseudocomplemented posets

DOI10.1007/S11083-021-09555-6MaRDI QIDQ2665835zbMATH OpenOpenAlexFDO

Authors Ivan Chajda, Helmut Länger, Jan Paseka

Publication date 19 November 2021

Published in Order (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1905.09343

zbMATH Keywords

CKL-sectionally pseudocomplemented posetcompletely \(L\)-semidistributive posetcompletely meet-semidistributive latticeconvex congruenceDedekind-MacNeille completiondistributive latticejoin-semilatticerelative pseudocomplemented latticesectionally pseudocomplemented latticesectionally pseudocomplemented posetvariety of lattices

Mathematics Subject Classification ID

Partial orders, general (06A06) Varieties of lattices (06B20) Complete lattices, completions (06B23) Pseudocomplemented lattices (06D15)

Abstract: The concept of a sectionally pseudocomplemented lattice was introduced by I. Chajda 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 pseudocompelemented 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.

Review text

\par A lattice \(L=(L,\vee,\wedge)\) is said to be \textit{sectionally pseudocomplemented} provided that for every \(a,b\in L\), there exists the pseudocomplement of \(a\vee b\) with respect to \(b\) in the interval \([b)=\{x\in L\,|\,b\leqslant x\}\), i.e., there exists the greatest element \(c\in L\) satisfying \((a\vee b)\wedge c=b\). This element \(c\) is called the \textit{sectional pseudocomplement of \(a\) with respect to \(b\)} and is denoted \(a\ast b\) [the first author, Acta Sci. Math. 69, No. 3--4, 491--496 (2003; Zbl 1048.06005)]. The present paper introduces the concept of sectionally pseudocomplemented partially ordered set (poset) as follows. \par Given a poset \(P=(P,\leqslant)\) and a subset \(A\subseteq P\), one defines \(L(A)=\{x\in P\mid x\leqslant a\) for every \(a\in A\}\) and \(U(A)=\{x\in P\mid a\leqslant x\) for every \(a\in A\}\). Then \(P\) is called \textit{sectionally pseudocomplemented} provided that for every \(a,b\in P\), there exists the greatest element \(c\in P\) such that \(L(U(\{a,b\})\bigcup\{c\}) = L(\{b\})\). This element \(c\) is called the \textit{sectional pseudocomplement \(a\ast b\) of \(a\) with respect to \(b\)}. \par The authors study properties of sectionally pseudocomplemented posets, e.g., compare them with relatively pseudocomplemented posets of [the first author et al., Math. Slovaca 70, No. 2, 239--250 (2020; Zbl 1505.06005)], consider their congruences, and construct the respective Dedekind-MacNeille completion, stating some sufficient conditions under which the Dedekind-MacNeille completion of a sectionally pseudocomplemented poset is sectionally pseudocomplemented. The paper also shows that the class of sectionally pseudocomplemented lattices forms a variety, which (besides the lattice axioms) is determined by two simple identities. \par The paper is well written, provides most of its required preliminaries (the omitted concepts can be found in one of the references at the end of the paper), and will be of interest to the researchers studying ordered algebraic structures.

Recommendations

• Implication in sectionally pseudocomplemented posets
• Relatively pseudocomplemented posets.
• scientific article; zbMATH DE number 2015553
• Subdirectly irreducible sectionally pseudocomplemented semilattices
• Filters and congruences in sectionally pseudocomplemented lattices and posets

Cites work

• scientific article; zbMATH DE number 722451 (Why is no real title available?)
• scientific article; zbMATH DE number 3796014 (Why is no real title available?)
• scientific article; zbMATH DE number 1912565 (Why is no real title available?)
• scientific article; zbMATH DE number 2099145 (Why is no real title available?)
• scientific article; zbMATH DE number 2099895 (Why is no real title available?)
• On free pseudo-complemented and relatively pseudo-complemented semi-lattices
• Pseudo-Complements in Posets
• Relatively residuated lattices and posets
• Zur Kennzeichnung der Dedekind-MacNeilleschen Hülle einer geordneten Menge

Cited in

(15)

• Filters and congruences in sectionally pseudocomplemented lattices and posets
• Pseudocomplemented and Stone posets.
• Subdirectly irreducible sectionally pseudocomplemented semilattices
• Implication in sectionally pseudocomplemented posets
• scientific article; zbMATH DE number 2015553 (Why is no real title available?)
• Relatively pseudocomplemented posets.
• scientific article; zbMATH DE number 6179161 (Why is no real title available?)
• Prime decomposition and pseudocomplementation
• Formal Concept Analysis
• Extension of sectional pseudocomplementation in posets
• Properties and special filters of pseudocomplemented posets
• On some extensions of weak relative pseudocomplementation in posets
• Intuitionistic-like unsharp implication and negation defined on a poset.
• Algebraic structures formalizing the logic with unsharp implication and negation
• On completion of section semicomplemented posets

This page was built for publication: Sectionally pseudocomplemented posets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2665835)