Abstract
Together with J. Paseka we introduced so-called sectionally pseudocomplemented lattices and posets and illuminated their role in algebraic constructions. We believe that—similar to relatively pseudocomplemented lattices—these structures can serve as an algebraic semantics of certain intuitionistic logics. The aim of the present paper is to define congruences and filters in these structures, derive mutual relationships between them and describe basic properties of congruences in strongly sectionally pseudocomplemented posets. For the description of filters in both sectionally pseudocomplemented lattices and posets, we use the tools introduced by A. Ursini, i.e., ideal terms and the closedness with respect to them. It seems to be of some interest that a similar machinery can be applied also for strongly sectionally pseudocomplemented posets in spite of the fact that the corresponding ideal terms are not everywhere defined.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
The concept of a relative pseudocomplemented lattice was introduced by R. P.Dilworth (Dilworth (1939)). It was used in several branches of mathematics, e.g., as an algebraic axiomatization of intuitionistic logic (by Heyting and Brouwer) where the relative pseudocomplement is interpreted as the logical connective implication.
However, every relative pseudocomplemented lattice is distributive, see, e.g., Birkhoff (1979) and Lakser (1971). Because not every non-classical propositional calculus is necessarily distributive (for instance, the logic of quantum mechanics), it was a question whether the concept of relative pseudocomplementation can be extended in a reasonable way to non-distributive lattices. This was realized by the first author in Chajda (2003) by introducing sectional pseudocomplementation. Later on, the concept of sectional pseudocomplementation was extended also to posets, see Chajda et al. (2021).
In the present paper we focus on congruences and filters on sectionally pseudocomplemented lattices and posets. For lattices we can use the machinery of universal algebra (see, e.g., Chajda et al. (2012)) because sectionally pseudocomplemented lattices form a variety which is congruence permutable, congruence distributive and weakly regular. The situation with sectionally pseudocomplemented posets is a bit more complicated due to the fact that such a poset in general cannot be extended to a sectionally pseudocomplemented lattice by means of the Dedekind–MacNeille completion, see Chajda et al. (2021) for the result.
Sectionally pseudocomplemented lattices having 0 and their ideals will be the topic of one of our next studies.
2 Sectionally pseudocomplemented lattices
Recall that a lattice \((L,\vee ,\wedge )\) is said to be sectionally pseudocomplemented if for all \(a,b\in L\) there exists the pseudocomplement of \(a\vee b\) in the interval \(([b),\le )\), i.e., the greatest element c of L satisfying
(Here, [b) denotes the set \(\{x\in L\mid b\le x\}\).) In this case c is called the sectional pseudocomplement of a with respect to b and it will be denoted by \(a*b\). We consider sectionally pseudocomplemented lattices as algebras \((L,\vee ,\wedge ,*)\) of type (2, 2, 2). Every non-empty sectionally pseudocomplemented lattice has a greatest element 1, namely the algebraic constant \(x*x\). In the following we consider only non-empty lattices.
An example of a sectionally pseudocomplemented lattice that is not relatively pseudocomplemented is \({\mathbf {N}}_5\) depicted in Fig. 1:
This lattice is not distributive and hence not relatively pseudocomplemented (see Birkhoff (1979)). The operation table for the sectional pseudocomplementation is as follows:
Recall from Chajda et al. (2021), Theorems 2.5 and 2.6, the following important result.
Proposition 2.1
The class of sectionally pseudocomplemented lattices \((L,\vee ,\wedge ,*)\) forms a variety which besides the lattice axioms is determined by the following identities:
This variety is congruence permutable, congruence distributive and weakly regular. A Maltsev term for congruence permutability is given by
For the concept of congruence permutability, we refer the reader to Chajda et al. (2012).
Weak regularity means that every congruence \(\Theta \) on a sectionally pseudocomplemented lattice with greatest element 1 is determined by its kernel, i.e., by the congruence class \([1]\Theta \). Hence, our first task is to describe these classes. For this purpose we introduce the following concept:
Definition 2.2
Let \({\mathbf {L}}=(L,\vee ,\wedge ,*)\) be a sectionally pseudocomplemented lattice. A filter of \({\mathbf {L}}\) is a subset F of L containing 1 such that \(x*y,y*x\in F\) implies
Let \({{\,\mathrm{Fil}\,}}{\mathbf {L}}\) denote the set of all filters of \({\mathbf {L}}\). For any subset M of L define a binary relation \(\Phi (M)\) on L as follows:
The following results were proved in Chajda (2003) and Chajda et al. (2021).
Lemma 2.3
If \({\mathbf {L}}=(L,\vee ,\wedge ,*)\) is a sectionally pseudocomplemented lattice and \(a,b,c\in L\), then
-
(i)
\(a*b=1\) if and only if \(a\le b\),
-
(ii)
\(1*a=a\),
-
(iii)
\(a\le b*a\),
-
(iv)
\(a\le (a*b)*b\),
-
(v)
if \(a\le b\), then \(b*c\le a*c\),
-
(vi)
\((a\vee b)\wedge (a*b)=b\).
Observe that (iii) implies \(b\le (a*b)*b\).
The relationship between congruences and filters in sectionally pseudocomplemented lattices is illuminated in the next two theorems.
Theorem 2.4
Let \({\mathbf {L}}=(L,\vee ,\wedge ,*)\) be a sectionally pseudocomplemented lattice and \(\Theta \in {{\,\mathrm{Con}\,}}{\mathbf {L}}\). Then, \([1]\Theta \in {{\,\mathrm{Fil}\,}}{\mathbf {L}}\) and for any \(x,y\in L\),
i.e., \(\Phi ([1]\Theta )=\Theta \).
Proof
Let \(a,b\in L\). If \((a,b)\in \Theta \), then \(a*b,b*a\in [a*a]\Theta =[1]\Theta \), i.e., \((a,b)\in \Phi ([1]\Theta )\). Conversely, if \((a,b)\in \Phi ([1]\Theta )\), then \(a*b,b*a\in [1]\Theta \) and hence, using (ii) and (iv) of Lemma 2.3,
i.e., \((a,b)\in \Theta \). This shows \(\Phi ([1]\Theta )=\Theta \). Due to the substitution property of \(\Theta \) with respect to \(\vee \), \(\wedge \) and \(*\), we see that \([1]\Theta \) satisfies the conditions from Definition 2.2 and hence \([1]\Theta \in {{\,\mathrm{Fil}\,}}{\mathbf {L}}\). \(\square \)
Theorem 2.4 witnesses that sectionally pseudocomplemented lattices are weakly regular.
We can prove also the converse.
Theorem 2.5
Let \({\mathbf {L}}=(L,\vee ,\wedge ,*)\) be a sectionally pseudocomplemented lattice and \(F\in {{\,\mathrm{Fil}\,}}{\mathbf {L}}\). Then, \(\Phi (F)\in {{\,\mathrm{Con}\,}}{\mathbf {L}}\) and \([1](\Phi (F))=F\).
Proof
Let \(a,b,c\in L\). Evidently, \(\Phi (F)\) is symmetric and since \(1\in F\) and \(x*x\approx 1\) by (i) of Lemma 2.3, it is also reflexive. Assume \(a*b,b*a\in F\). Then, by Definition 2.2
whence
Hence, \(\Phi (F)\) has the substitution property with respect to all basic operations of \({\mathbf {L}}\). Since the variety of sectionally pseudocomplemented lattices is congruence permutable, \(\Phi (F)\) is also transitive, see, e.g., Werner’s Theorem (Werner (1973)) or Corollary 3.1.13 in Chajda et al. (2012), and hence, \(\Phi (F)\in {{\,\mathrm{Con}\,}}{\mathbf {L}}\). Finally, the following are equivalent:
and hence \([1](\Phi (F))=F\). \(\square \)
It is elementary to check that for every sectionally pseudocomplemented lattice \({\mathbf {L}}\), \(({{\,\mathrm{Fil}\,}}{\mathbf {L}},\subseteq )\) is a complete lattice.
Example 2.6
The sectionally pseudocomplemented lattice from Fig. 1 has the following filters:
The following corollary follows from Theorems 2.4 and 2.5.
Corollary 2.7
For every sectionally pseudocomplemented lattice \({\mathbf {L}}\), the mappings \(\Phi \mapsto [1]\Phi \) and \(F\mapsto \Phi (F)\) are mutually inverse isomorphisms between the complete lattices \(({{\,\mathrm{Con}\,}}{\mathbf {L}},\subseteq )\) and \(({{\,\mathrm{Fil}\,}}{\mathbf {L}},\subseteq )\).
Let \((L,\vee ,\wedge ,*)\) be a sectionally pseudocomplemented lattice. A deductive system of \({\mathbf {L}}\) is a subset D of L containing 1 and satisfying the following condition:
In the following \((F*(F*a))*a\) denotes the set \(\{(x*(y*a))*a\mid x,y\in F\}\). Analogously, we proceed in similar cases.
Theorem 2.8
Let \({\mathbf {L}}=(L,\vee ,\wedge ,*)\) be a sectionally pseudocomplemented lattice, \(\Theta \in {{\,\mathrm{Con}\,}}{\mathbf {L}}\), \(F\in {{\,\mathrm{Fil}\,}}{\mathbf {L}}\) and \(a,b\in L\). Then,
-
(i)
Every class of \(\Theta \) is a convex subset of \((L,\le )\),
-
(ii)
F is a deductive system of \({\mathbf {L}}\),
-
(iii)
F is a lattice filter of \({\mathbf {L}}\),
-
(iv)
\(a*(F\wedge a)\subseteq F\) and \((F*(F*a))*a\subseteq F\).
Proof
-
(i)
If \(c,d\in [a]\Theta \) and \(c\le b\le d\), then
$$\begin{aligned} b=c\vee b\in [d\vee b]\Theta =[d]\Theta =[a]\Theta . \end{aligned}$$ -
(ii)
If \(a,a*b\in F\), then
$$\begin{aligned} b=1*b\in [a*b](\Phi (F))=[1](\Phi (F))=F. \end{aligned}$$ -
(iii)
If \(a\in F\), then
$$\begin{aligned} a\vee b\in [1\vee b](\Phi (F))=[1](\Phi (F))=F. \end{aligned}$$Moreover, if \(a,b\in F\), then
$$\begin{aligned} a\wedge b\in [1\wedge 1](\Phi (F))=[1](\Phi (F))=F. \end{aligned}$$ -
(iv)
$$\begin{aligned}&\quad a*(F\wedge a) \subseteq [a*(1\wedge a)](\Phi (F))\\&\quad =[a*a](\Phi (F))=[1](\Phi (F))=F, \\&\quad (F*(F*a))*a\subseteq [(1*(1*a))*a](\Phi (F))\\&\quad =[(1*a)*a](\Phi (F))=[a*a](\Phi (F))= \\&\quad =[1](\Phi (F))=F. \end{aligned}$$
\(\square \)
3 Sectionally pseudocomplemented posets
Now we turn our attention to sectionally pseudocomplemented posets.
Definition 3.1
Let \({\mathbf {P}}=(P,\le )\) be a poset. Then, \({\mathbf {P}}\) is called sectionally pseudocomplemented if for all \(a,b\in P\) there exists a greatest element c of P satisfying
This element c is called the sectional pseudocomplement \(a*b\) of a with respect to b. We write sectionally pseudocomplemented posets in the form \((P,\le ,*)\). A strongly sectionally pseudocomplemented poset is an ordered quadruple \((P,\le ,*,1)\) such that \((P,\le ,*)\) is a sectionally pseudocomplemented poset with greatest element 1 satisfying the identity
The following results were proved in Chajda et al. (2021).
Lemma 3.2
If \({\mathbf {P}}=(P,\le ,*)\) is a sectionally pseudocomplemented poset with greatest element 1 and \(a,b,c\in P\), then
-
(i)
\(a*b=1\) if and only if \(a\le b\),
-
(ii)
\(1*a=a\),
-
(iii)
\(a\le b*a\),
-
(iv)
if \(b\le a\), then \(a\le (a*b)*b\),
-
(v)
if \(a\le b\), then \(b*c\le a*c\),
-
(vi)
\(L(U(a,b),a*b)=L(b)\).
Observe that (iii) implies \(b\le (a*b)*b\). Hence, in case \(a\le b\) we have \(a\le (a*b)*b\).
It is easy to see that every sectionally pseudocomplemented lattice is a strongly sectionally pseudocomplemented poset, and a lattice is sectionally pseudocomplemented if and only if it is sectionally pseudocomplemented as a poset.
Remark 3.3
If \((P,\le ,*)\) is a sectionally pseudocomplemented poset and \(a,b\in P\), then
which shows that there exists the infimum \(U(a,b)\wedge (a*b)\), and hence, the previous is equivalent to
Thus, in case \(a\ge b\) we obtain \(a\wedge (a*b)=b\).
An example of a strongly sectionally pseudocomplemented poset which is not a lattice is visualized in Fig. 2.
The operation table of \(*\) is as follows:
This poset is not relatively pseudocomplemented since the relative pseudocomplement of c with respect to a does not exist.
It should be noted that there are sectionally pseudocomplemented posets which are not strongly sectionally pseudocomplemented, see, e.g., Chajda et al. (2021), but these are rather curious.
Since a sectionally pseudocomplemented poset \({\mathbf {P}}\) has only one operation, namely \(*\), a congruence on \({\mathbf {P}}\) should satisfy the substitution property with respect to \(*\). However, this condition is rather weak and we cannot expect to obtain a natural relationship between congruences and congruence kernels similar to that obtained for sectionally pseudocomplemented lattices in the previous section. Namely, our concept of a congruence on a strongly sectionally pseudocomplemented poset should respect also some aspects of the partial order relation. This is the reason why we introduce the following property.
Definition 3.4
A binary relation \(\rho \) on a poset is called \(\min \)-stable if the following holds: If \((a,b),(c,d)\in \rho \), a is comparable with c and b is comparable with d, then
Observe that this condition trivially holds if \(a\le c\) and \(b\le d\) or if \(a\ge c\) and \(b\ge d\).
Now we can define
Definition 3.5
Let \({\mathbf {P}}=(P,\le ,*)\) be a sectionally pseudocomplemented poset. A congruence on \({\mathbf {P}}\) is a \(\min \)-stable congruence on the algebraic reduct \((P,*)\) of \({\mathbf {P}}\). Let \({{\,\mathrm{Con}\,}}{\mathbf {P}}\) denote the set of all congruences on \({\mathbf {P}}\).
Note that the congruences on a sectionally pseudocomplemented lattice \({\mathbf {L}}\) may not coincide with the congruences on \({\mathbf {L}}\) if it is considered only as a sectionally pseudocomplemented poset.
In analogy to the lattice case, we define
Definition 3.6
Let \({\mathbf {P}}=(P,\le ,*,1)\) be a sectionally pseudocomplemented poset with greatest element 1. A filter of \({\mathbf {P}}\) is a subset F of P containing 1 and satisfying the following conditions for all \(x,y,z,v\in P\):
-
If \(x*y,y*x\in F\), then \((x*z)*(y*z),(z*x)*(z*y)\in F\),
-
if \(x*y,y*x,z*v,v*z\in F\), x and z are comparable and y and v are comparable, then \(\min (x,z)*\min (y,v)\in F\).
Let \({{\,\mathrm{Fil}\,}}{\mathbf {P}}\) denote the set of all filters of \({\mathbf {P}}\). It is elementary to check that for every strongly sectionally pseudocomplemented poset \({\mathbf {P}}\), \(({{\,\mathrm{Con}\,}}{\mathbf {P}},\subseteq )\) and \(({{\,\mathrm{Fil}\,}}{\mathbf {P}},\subseteq )\) are complete lattices. For any subset M of P put
The relationship between congruences and filters in strongly sectionally pseudocomplemented posets is illuminated in the next two theorems.
Theorem 3.7
Let \({\mathbf {P}}=(P,\le ,*,1)\) be a strongly sectionally pseudocomplemented poset and \(\Theta \in {{\,\mathrm{Con}\,}}{\mathbf {L}}\). Then, \([1]\Theta \in {{\,\mathrm{Fil}\,}}{\mathbf {L}}\) and for any \(x,y\in P\),
i.e., \(\Phi ([1]\Theta )=\Theta \).
Proof
Let \(a,b\in L\). If \((a,b)\in \Theta \), then, by Lemma 3.2, \(a*b,b*a\in [a*a]\Theta =[1]\Theta \), i.e., \((a,b)\in \Phi ([1]\Theta )\). Conversely, if \((a,b)\in \Phi ([1]\Theta )\), then \(a*b,b*a\in [1]\Theta \) and hence, using again Lemma 3.2,
Since \({\mathbf {P}}\) is strongly sectionally pseudocomplemented, we have \(a\le (a*b)*b\) and \((b*a)*a\ge b\); thus, by \(\min \)-stability of \(\Theta \) we conclude
This shows \(\Phi ([1]\Theta )=\Theta \). Due to the substitution property of \(\Theta \) with respect to \(*\) and the \(\min \)-stability of \(\Theta \), we obtain \([1]\Theta \in {{\,\mathrm{Fil}\,}}{\mathbf {L}}\). \(\square \)
We have shown that every congruence \(\Theta \) on a strongly sectionally pseudocomplemented poset is fully determined by its 1-class \([1]\Theta \). Hence, we conclude
Corollary 3.8
Strongly sectionally pseudocomplemented posets are weakly regular.
We can prove also the converse.
Theorem 3.9
Let \({\mathbf {P}}=(P,\le ,*,1)\) be a strongly sectionally pseudocomplemented poset and \(F\in {{\,\mathrm{Fil}\,}}{\mathbf {P}}\). Then, \(\Phi (F)\in {{\,\mathrm{Con}\,}}{\mathbf {P}}\) and \([1](\Phi (F))=F\).
Proof
Let \(a,b,c,d\in P\). Evidently, \(\Phi (F)\) is symmetric and since \(1\in F\) and \(x*x\approx 1\), it is also reflexive. If \((a,b)\in \Phi (F)\), then \(a*b,b*a\in F\) and hence, using the properties listed in Definition 3.6,
Thus, \((a*c,b*c),(c*a,c*b)\in \Phi (F)\). Hence, \(\Phi (F)\) has the substitution property with respect to \(*\). Moreover, if \((a,b),(c,d)\in \Phi (F)\), a is comparable with c and b is comparable with d, then \(a*b,b*a,c*d,d*c\in F\) and by Definition 3.6
i.e., \((\min (a,c),\min (b,d))\in \Phi (F)\). This shows that \(\Phi (F)\) is \(\min \)-stable. If \((a,b),(b,c)\in \Phi (F)\), then
and hence using \(\min \)-stability of \(\Phi (F)\)
i.e., \(\Phi (F)\) is transitive. Therefore, \(\Phi (F)\in {{\,\mathrm{Con}\,}}{\mathbf {P}}\). Finally, the following are equivalent:
This shows \([1](\Phi (F))=F\). \(\square \)
Example 3.10
The lattice of filters of the strongly sectionally pseudocomplemented poset from Fig. 2 consists of the following six filters:
The corresponding Hasse diagram is depicted in Fig. 3:
The following corollary follows from Theorems 3.7 and 3.9.
Corollary 3.11
For every strongly sectionally pseudocomplemented poset \({\mathbf {P}}\), the mappings \(\Phi \mapsto [1]\Phi \) and \(F\mapsto \Phi (F)\) are mutually inverse isomorphisms between the complete lattices \(({{\,\mathrm{Con}\,}}{\mathbf {P}},\subseteq )\) and \(({{\,\mathrm{Fil}\,}}{\mathbf {P}},\subseteq )\).
4 Properties of filters
Using the \(\min \)-stability property of congruences in strongly sectionally pseudocomplemented posets, we can prove
Theorem 4.1
Let \({\mathbf {P}}=(P,\le ,*,1)\) be a strongly sectionally pseudocomplemented poset and \(\Theta \in {{\,\mathrm{Con}\,}}{\mathbf {P}}\). Then, every class of \(\Theta \) is a convex subset of \((P,\le )\).
Proof
If \(a,c\in P\), \(b,d\in [a]\Theta \) and \(b\le c\le d\), then
and hence by \(\min \)-stability of \(\Theta \) we obtain
which implies \(c\in [b]\Theta =[a]\Theta \). \(\square \)
We now investigate quotients \({\mathbf {P}}/\Theta \) of strongly sectionally pseudocomplemented posets \({\mathbf {P}}\) with respect to its congruences.
Let \({\mathbf {P}}=(P,\le ,*,1)\) be a strongly sectionally pseudocomplemented poset and \(\Theta \in {{\,\mathrm{Con}\,}}{\mathbf {P}}\). We define a binary relation \(\le '\) on \(P/\Theta \) by
Recall that a poset \((P,\le )\) is called up-directed if for any \(x,y\in P\) there exists some \(z\in P\) with \(x,y\le z\). Hence, every poset having a greatest element is up-directed.
It should be mentioned that the poset \((P/\Theta ,\le ')\) where \({\mathbf {P}}=(P,\le ,*,1)\) denotes the strongly sectionally pseudocomplemented poset from Fig. 2 and \(\Theta \) the congruence on \({\mathbf {P}}\) corresponding to the filter \(F(\{d,e\})\) of \({\mathbf {P}}\) is isomorphic to the lattice from Fig. 1.
The following theorem was partly proved for congruences on the algebraic reduct \((P,*)\) in Chajda et al. (2021).
Theorem 4.2
Let \({\mathbf {P}}=(P,\le ,*,1)\) be a strongly sectionally pseudocomplemented poset, \(n\ge 1\), \(a,a_1,\ldots ,a_n,b\in P\) and \(\Theta \in {{\,\mathrm{Con}\,}}{\mathbf {P}}\). Then, the following hold:
-
(i)
if \(a\le b\), then \([a]\Theta \le '[b]\Theta \),
-
(ii)
\([a]\Theta \le '[b]\Theta \) if and only if there exists some \(c\in [b]\Theta \) with \(a\le c\),
-
(iii)
\((P/\Theta ,\le ')\) is a poset,
-
(iv)
Every class of \(\Theta \) is up-directed,
-
(v)
\(U([a_1]\Theta ,\ldots ,[a_n]\Theta )=\{[x]\Theta \mid x\in U(a_1.\ldots ,a_n)\}\) in \((P/\Theta ,\le ')\).
Proof
-
(i)
If \(a\le b\), then \(a*b=1\) whence \(a*b\mathrel \Theta 1\), i.e., \([a]\Theta *[b]\Theta =[a*b]\Theta =[1]\Theta \); thus, \([a]\Theta \le '[b]\Theta \).
-
(ii)
If \([a]\Theta \le '[b]\Theta \), then \(a*b\mathrel \Theta 1\) and hence \(a\le (a*b)*b\in [1*b]\Theta =[b]\Theta \). So one can put \(c:=(a*b)*b\). If, conversely, there exists some \(c\in [b]\Theta \) with \(a\le c\), then according to (i) we have \([a]\Theta \le '[c]\Theta =[b]\Theta \).
-
(iii)
Obviously, \(\le '\) is reflexive. Now assume \([a]\Theta \le '[b]\Theta \) and \([b]\Theta \le '[a]\Theta \). Then, by (ii), there exists some \(c\in [b]\Theta \) with \(a\le c\). Because of \([c]\Theta =[b]\Theta \le '[a]\Theta \) there exists some \(d\in [a]\Theta \) with \(c\le d\). Since \(a\le c\le d\), \(a,d\in [a]\Theta \) and \(([a]\Theta ,\le ')\) is convex we conclude \(c\in [a]\Theta \). Therefore \([a]\Theta =[c]\Theta =[b]\Theta \) which proves antisymmetry of \(\le '\). Finally, let \(c\in P\) and assume \([a]\Theta \le '[b]\Theta \) and \([b]\Theta \le '[c]\Theta \). Then, by (ii) there exists some \(e\in [b]\Theta \) with \(a\le e\) and because of \([e]\Theta =[b]\Theta \le '[c]\Theta \) some \(f\in [c]\Theta \) with \(e\le f\). From \(a\le e\le f\) we have \(a\le f\) which implies \([a]\Theta \le '[f]\Theta =[c]\Theta \) by (i), proving transitivity of \(\le '\).
-
(iv)
Let \(b,c\in [a]\Theta \). Then,
$$\begin{aligned}&(b*c)*c\in [(c*c)*c]\Theta =[1*c]\Theta =[c]\Theta =[a]\Theta , \\&\quad b\le (b*c)*c\text { since }{\mathbf {P}}\text { is strongly sectionally}\\&\qquad \text {pseudocomplemented}, \\&\quad c\le (b*c)*c\text { according to Lemma}~3.2~ (iii). \end{aligned}$$Thus, \((b*c)*c\) is a common upper bound of b and c within \(([a]\Theta ,\le )\).
-
(v)
Assume \([a]\Theta \in U([a_1]\Theta ,\ldots ,[a_n]\Theta )\). According to (ii), for all \(i\in \{1,\ldots ,n\}\) there exists some \(b_i\in [a]\Theta \) with \(a_i\le b_i\). Because of (iv), \(([a]\Theta ,\le ')\) is up-directed and hence there exists some \(c\in [a]\Theta \) with \(b_1,\ldots ,b_n\le c\). This shows
$$\begin{aligned}{}[a]\Theta =[c]\Theta \in \{[x]\Theta \mid x\in U(a_1,\ldots ,a_n)\}. \end{aligned}$$The converse inclusion follows from (i).
\(\square \)
From (iv) we conclude that if \((P,\le )\) satisfies the ascending chain condition (in particular, if P is finite), then every class of \(\Theta \) has a greatest element.
The following concept is inspired by the derivation rule Modus Ponens in the non-classical logic based on a sectionally pseudocomplemented poset where \(*\) models the logical connective implication.
Let \((P,\le ,*,1)\) be a strongly sectionally pseudocomplemented poset. A deductive system of \({\mathbf {P}}\) is a subset D of P containing 1 and satisfying the following condition:
We can prove the following result in analogy to the corresponding result for sectionally pseudocomplemented lattices.
Theorem 4.3
Let \({\mathbf {P}}=(P,\le ,*,1)\) be a strongly sectionally pseudocomplemented poset, \(F\in {{\,\mathrm{Fil}\,}}{\mathbf {P}}\) and \(c\in P\). Then,
-
(i)
F is a deductive system of \({\mathbf {P}}\),
-
(ii)
F is an order filter of \({\mathbf {P}}\),
-
(iii)
\(P*F\subseteq F\),
-
(iv)
\(c*(F\wedge c),(F*(F*c))*c\subseteq F\).
Proof
We use the fact that the filter F is the 1-class of the congruence \(\Phi (F)\).
-
(i)
If \(a\in F\), \(b\in P\) and \(a*b\in F\), then
$$\begin{aligned} b=1*b\in [a*b](\Phi (F))=[1](\Phi (F))=F. \end{aligned}$$ -
(ii)
If \(a\in F\), \(b\in P\) and \(a\le b\), then \(a*b=1\in F\) and hence \(b\in F\) by (i).
-
(iii)
If \(a\in P\) and \(b\in F\), then \(a*b\in [a*1](\Phi (F))=[1](\Phi (F))=F\).
-
(iv)
$$\begin{aligned}&c*(F\wedge c) \subseteq [c*(1\wedge c)](\Phi (F))\\&\quad =[c*c](\Phi (F))=[1](\Phi (F))=F, \\&\quad (F*(F*c))*c \subseteq [(1*(1*c))*c](\Phi (F))\\&\quad =[(1*c)*c](\Phi (F))=[c*c](\Phi (F))= \\&\quad =[1](\Phi (F))=F. \end{aligned}$$
\(\square \)
Theorem 4.3 shows that every filter is a deductive system. However, our concept of a filter is rather complicated and it seems that not all the properties of a filter are necessary to prove this assertion. We can prove
Proposition 4.4
Let \({\mathbf {P}}=(P,\le ,*,1)\) be a strongly sectionally pseudocomplemented poset and M a subset of P containing 1 and satisfying \((M*(M*x))*x\subseteq M\) for all \(x\in P\). Then, M is a deductive system of \({\mathbf {P}}\).
Proof
Let \(a\in M\) and \(b\in P\). We have \(1\in M\). If \(a\le b\), then
Hence, if \(a*b\in M\), then because of \(a\le (a*b)*b\) we have \((a*b)*b\in M\) which implies
\(\square \)
Observe that the condition mentioned in Proposition 4.4 is just the second one of (iv) of Theorem 4.3.
For the concept of an ideal of a universal algebra which corresponds to our concept of a filter and for the concept of ideal terms, the reader is referred to Ursini (1972). In particular, for ideals (alias filters) in permutable and weakly regular varieties see also Chajda et al. (2012) for details.
Definition 4.5
An ideal term for sectionally pseudocomplemented lattices is a term \(t(x_1,\ldots ,x_n,y_1,\ldots ,y_m)\) in the language of sectionally pseudocomplemented lattices satisfying the identity
Of course, there exist an infinite number of ideal terms in sectionally pseudocomplemented lattices. The following list including five ideal terms is a so-called basis for filters in sectionally pseudocomplemented lattices, i.e., filters can be characterized by this short list of ideal terms.
Lemma 4.6
The following terms are ideal terms for sectionally pseudocomplemented lattices:
Proof
Put
Then,
and according to Lemma 2.3
and hence
\(\square \)
The closedness with respect to ideal terms was also introduced by A. Ursini ( Ursini (1972)).
Definition 4.7
A subset A of a sectionally pseudocomplemented lattice \({\mathbf {L}}=(L,\vee ,\wedge ,*)\) is said to be closed with respect to the ideal terms \(t_i(x_1,\ldots ,x_n,y_1,\ldots ,y_m)\), \(i\in I\), if for every \(i\in I\), all \(x_1,\ldots ,x_n\in L\) and all \(y_1,\ldots ,y_m\in A\) we have \(t_i(x_1,\ldots ,x_n,y_1,\ldots ,y_m)\in A\).
Now we prove that the ideal terms listed in Lemma 4.6 form a basis for filters, i.e., filters are characterized as those subsets which are closed with respect to these ideal terms.
Theorem 4.8
Let \({\mathbf {L}}=(L,\vee ,\wedge ,*)\) be a sectionally pseudocomplemented lattice and \(F\subseteq L\). Then, \(F\in {{\,\mathrm{Fil}\,}}{\mathbf {L}}\) if and only if F is closed with respect to the ideal terms \(t_1,\ldots ,t_5\) listed in Lemma 4.6.
Proof
If \(F\in {{\,\mathrm{Fil}\,}}{\mathbf {L}}\), then \(F=[1](\Phi (F))\) according to Theorem 2.5, and if
are the ideal terms listed in Lemma 4.6, \(a_1,\ldots ,a_n\in L\) and \(b_1,\ldots ,b_m\in F\), then
according to Lemma 4.6 and hence F is closed with respect to the ideal terms \(t_1,\ldots ,t_5\). Conversely, assume F to be closed with respect to the ideal terms \(t_1,\ldots ,t_5\). Then, \(1=t_1\in F\). Now assume \(a,b\in L\) and \(a*b,b*a\in F\). For the term
we have
and according to Lemma 2.3 (iv) and (vi) we obtain
Hence,
showing \(F\in {{\,\mathrm{Fil}\,}}{\mathbf {L}}\). \(\square \)
Remark 4.9
Let us note that the term t from the proof of Theorem 4.8 gives rise to a Maltsev term. Namely, if
then
Observe that the Maltsev term q(x, y, z) is different from that in Proposition 2.1.
In the following we write \(a\wedge b\wedge c\) instead of \(\inf (a,b,c)\).
Now we introduce a certain modification of the notion an ideal term (for posets) which need not be defined everywhere. This will be used in the sequel.
Definition 4.10
A partial ideal term for sectionally pseudocomplemented posets with greatest element 1 is a partially defined term \(T(x_1,\ldots ,x_n,y_1,\ldots ,y_m)\) in the language of sectionally pseudocomplemented posets with greatest element 1 satisfying the identity
This language contains also a binary operator U(x, y).
Using the concept of partial ideal terms, we will try to describe filters also in strongly sectionally pseudocomplemented posets. Similarly as in Lemma 4.6, we firstly get a list of four partial ideal terms which will be shown to suffice.
Lemma 4.11
The following partial terms are partial ideal terms for strongly sectionally pseudocomplemented posets:
Proof
Put
Then,
and according to Lemma 3.2
Hence,
\(\square \)
Now we define closedness with respect to partial ideal terms.
Definition 4.12
A subset A of a strongly sectionally pseudocomplemented poset \({\mathbf {P}}=(P,\le ,*,1)\) is said to be closed with respect to the partial ideal terms \(T_i(x_1,\ldots ,x_n,y_1,\ldots \) \(\ldots ,y_m)\), \(i\in I\), if for every \(i\in I\), all \(x_1,\ldots ,x_n\in P\) and all \(y_1,\ldots ,y_m\in A\) we have that \(T_i(x_1,\ldots ,x_n,y_1,\ldots ,y_m)\) is defined and \(T_i(x_1,\ldots ,x_n,y_1,\ldots ,y_m)\in A\).
Although our ideal terms are only partial, we can prove that every subset of a strongly sectionally pseudocomplemented poset \({\mathbf {P}}\) closed with respect to them is really a filter of \({\mathbf {P}}\).
Theorem 4.13
Let \({\mathbf {P}}=(P,\le ,*,1)\) be a strongly sectionally pseudocomplemented poset and F a subset of P that is closed with respect to the partial ideal terms \(T_1,\ldots ,T_4\) listed in Lemma 4.11. Then, \(F\in {{\,\mathrm{Fil}\,}}{\mathbf {P}}\).
Proof
We have \(1=T_1\in F\). Now assume \(a,b,c,d\in P\) and \(a*b,b*a,c*d,d*c\in F\). For the partial term
we have
and according to Lemma 3.2 and Remark 3.3 we obtain
Hence,
Moreover, if a and c are comparable and b and d are comparable, then we apply the partial term \(T_4\) to derive
This shows \(F\in {{\,\mathrm{Fil}\,}}{\mathbf {P}}\). \(\square \)
Remark 4.14
Let us consider the partial term \(T(x,y,z,u):=U(x,y)\wedge (z*y)\wedge u\) from the proof of Lemma 4.11 and put
i.e.,
Of course, this is only a partial term because the infimum in Q need not exists for some elements from a strongly sectionally pseudocomplemented poset \({\mathbf {P}}=(P,\le ,*,1)\). It is of some interest that this partial term behaves like a Maltsev term. Namely, we can easily compute
Moreover, these expressions Q(x, x, z) and Q(x, z, z) are defined for all \(x,z\in P\).
For every sectionally pseudocomplemented lattice \({\mathbf {L}}=(L,\vee ,\wedge ,*)\) and every \(M\subseteq L\), let F(M) denote the filter of \({\mathbf {L}}\) generated by M.
The connection between filters generated by a certain subset and congruences on sectionally pseudocomplemented lattices is described in the following proposition.
Proposition 4.15
Let \({\mathbf {L}}=(L,\vee ,\wedge ,*)\) be a sectionally pseudocomplemented lattice, \(M\subseteq L\) and \(a\in L\). Then,
In particular,
Proof
Since \(M\times \{1\}\subseteq \Phi (F(M))\), we have
and hence
according to Corollary 2.7. Because of \(M\subseteq [1](\Theta (M\times \{1\}))\), we have
and hence
according to Corollary 2.7. \(\square \)
An analogous result holds for strongly sectionally pseudocomplemented posets.
References
Birkhoff G (1979) Lattice theory. AMS Colloq. Publ. 25, Providence, R. I. ISBN 0-8218-1025-1
Chajda I (2003) An extension of relative pseudocomplementation to non-distributive lattices. Acta Sci. Math. (Szeged) 69:491–496
Chajda I, Eigenthaler G, Länger H (2012) Congruence Classes in Universal Algebra. Heldermann, Lemgo. ISBN 3-88538-226-1
Chajda I, Länger H, Paseka J (2021) Sectionally pseudocomplemented posets. Order. https://doi.org/10.1007/s11083-021-09555-6
Dilworth RP (1939) Non-commutative residuated lattices. Trans. Amer. Math. Soc. 46:426–444
Lakser H (1971) The structure of pseudocomplemented distributive lattices. I. Subdirect decomposition. Trans. Amer. Math. Soc. 156:335–342
Ursini A (1972) Sulle varietà di algebre con una buona teoria degli ideali. Boll. Un. Mat. Ital. 6:90–95
Werner H (1973) A Mal’cev condition for admissible relations. Algebra Univ. 3:263
Acknowledgements
Support of the research of the authors by the Austrian Science Fund (FWF), project I 4579-N, and the Czech Science Foundation (GAČR), project 20-09869L, entitled “The many facets of orthomodularity”, as well as by Ö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 PřF 2021 030, is gratefully acknowledged.
Funding
Open access funding provided by Austrian Science Fund (FWF). This study was funded by the Austrian Science Fund (FWF), project I 4579-N, and the Czech Science Foundation (GAČR), project 20-09869L, as well as by ÖAD, project CZ 02/2019, and, concerning the first author, by IGA, project PřF 2021 030.
Author information
Authors and Affiliations
Contributions
Both authors contributed equally to this manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Availability of data and material
Not applicable.
Code availability:
Not applicable.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Chajda, I., Länger, H. Filters and congruences in sectionally pseudocomplemented lattices and posets. Soft Comput 25, 8827–8837 (2021). https://doi.org/10.1007/s00500-021-05900-4
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-021-05900-4