This document discusses various notions of distributivity for meet-semilattices that generalize the usual notion of distributivity in lattices. It defines six notions of distributivity - GS-distributivity, K-distributivity, H-distributivity, LR-distributivity, B-distributivity, and -distributivity. It proves that these notions are linearly ordered from weakest to strongest as GS, K, H=LR, B, -distributivity. It provides counterexamples to show the implications do not go in the reverse direction and that the notions are non-equivalent generalizations of distributivity for lattices to meet-semilattices
1. International Research Journal of Engineering and Technology (IRJET) e-ISSN: 2395-0056
Volume: 07 Issue: 01 | Jan 2020 www.irjet.net p-ISSN: 2395-0072
ยฉ 2020, IRJET | Impact Factor value: 7.34 | ISO 9001:2008 Certified Journal | Page 2132
On Distributive Meet-Semilattices
A. Ashtalakshmi1, G. Soundharya2
Thassim Beevi Abdul Kader College for Women, Kilakarai, Ramanathapuram, Tamilnadu, India.
-----------------------------------------------------------------***------------------------------------------------------------------
Abstract :- Desire by Gentzenโ s conjunction elimination ruling the Natural Deduction calculus and reading discrimination with
join in a natural move, we perceive a perception of Different notions of distributivity for meet-semilattices. In the move we
substantiate that those perceptions are linearly ordered. The conjunction -conditional portion of antagonistic logic.
Keywords: Meet-semilattice, ND-distributive, K-distributive, H-distributive
1 Introduction
Different notions of distributivity for semilattices have been introduced in the article as a ratiocination of the usual
distributive property in lattices. As far as we know, notions of distributivity for semilattices have been given. We perceive a
notion of distributivity for meet-semilattice. That will be call ND- distributivity. We aspiration to find out whether it is
correspondent to any of the perceptions previously present in the article. In doing so, we also analyze the contrasting notion of
distributivity for meet-semilattice we have found. Namely, we see that the accustomed perceptions entail each other in the
following linear order:
GS K (H LR ND) B
and we also afford countermodels for the reciprocals. Additionally, we show that H-distributivity may be detect as a very
natural adaptation of a move to characterize distributivity for lattice, case that will afford more desire for the use of that
perceptions. Indicate that Hickman used the term balmy distributivity for H-distributivity.
2 Preliminaries
Definition 2.1
An algebra , is called a lattice if L is a nonempty set, and are binary operation on L. Both and are
idempotent, commutative and associative and they satisfy the absorption law. The study of lattices is called the lattice theory.
Properties 2.2
An algebra , if L is nonempty set,
i. a b = b a
ii. a b = b a
iii. a (b ) = (a b) c
iv. a (b c) = (a b) c
v. a (a b) = a
vi. a (a b) =a
for all a, b, c ฯต L
Definition 2.3
A semilattices is a structured S = where . is a binary operations called the semilattices operation such that
. is associative (x y) z = x (y z)
. is commutative x y = y x
. is idempotent xx = x
2. International Research Journal of Engineering and Technology (IRJET) e-ISSN: 2395-0056
Volume: 07 Issue: 01 | Jan 2020 www.irjet.net p-ISSN: 2395-0072
ยฉ 2020, IRJET | Impact Factor value: 7.34 | ISO 9001:2008 Certified Journal | Page 2133
Definition 2.4
Distributive join- semilattice are defined dually.
A join-semilattice is distributive if for all a, b and x.
If X โค a b then there exists and such that โค a, โค b and X=
Definition 2.5
A meet-semilattice is distributive if for all a, b and X.
If a b โค X then there exists and such that a โค , b โค and X =
Definition 2.6
In this section we provide the basic notions and notations that will be used in the paper.
Let J = (J, โค) be a poset. For any J S, we will use the notations and to denote the set lower and upper bound of S,
respectively. That is,
{ }
{ }
Lemma 2.7
Let J = (J, โค) be a poset. For all a, b, c ฯต J the following statement are equivalent.
i. For all x ฯต J, if a โค x and b โค x, then c โค x.
ii. { } { }
iii. c ฯต { }
A poset J = (J, โค) is a meet-semilattice if inf {a, b} exists for every a, b ฯต J. A poset J = (J, โค) Is a lattice it is meet-semilattice.
As usual the notations a b shall stand for inf {a, b}.
Given a meet-semilattice J = (J, โค), we will use the following notions:
๏ท J is upwards directed iff for any a, b ฯต J, there exists c ฯต J such that a โค c and b โค c.
๏ท A nonempty subset J I is said to be an ideal iff
(1) if x, y ฯต I, then x y ฯต I and
(2) if x ฯต I and x โค y, then y ฯต I.
๏ท The principal ideal generated by an element a ฯต A, noted (a], is defined by
(a] = {x ฯต A: a โค x}.
๏ท Id(J) will denote the set of all ideals of J.
๏ท (J) will denote the subset of ideals that are union of a finite set of principal ideals, that, is { ]
] }
In this paper we are concerned with various notions of distributivity for meet-semilattice, all of them generalizing the
usual notion of distributive lattice, that is a lattice J =(J, โค) is distributive if the following equation holds true for any
elements a, b, c ฯต J :
(D) a (b c) = (a b) (a c)
There are several equivalent formulation of this property, in particular we mention the following ones that are relevant
for this paper:
๏ท For all a, b, c ฯต J, if a b = a c and a b = a c then b = c.
3. International Research Journal of Engineering and Technology (IRJET) e-ISSN: 2395-0056
Volume: 07 Issue: 01 | Jan 2020 www.irjet.net p-ISSN: 2395-0072
ยฉ 2020, IRJET | Impact Factor value: 7.34 | ISO 9001:2008 Certified Journal | Page 2134
๏ท For any two ideals of J, the ideal generated by their intersection is defined by = {a b : a ฯต
, b ฯต }.
๏ท The set Id(J) of ideals of J is a distributive lattice.
For the case of semilattices, several non-equivalent generalizations of these conditions can be found in the article,
already mentioned in the introduction. However, as expected, all of them turn to be equivalent to usual distributivity in the
case of lattices.
In the contrast, in any sense of distributivity for meet-semilattices that coincides with usual distributivity in the case
of a lattice, the class of distributive meet-semilattice is not even a quasi-variety.
Definition 2.8
A meet-semilattice J = (J, โค) is called ND-distributive (ND for Natural Deduction) it satisfies ( ).
3 Different notions of distributivity for meet-semilattices
3.1 GS-distributivity
The following seems to be the most popular definition of distributivity for meet-semilattices.
Definition 1
A meet-semilattice J = (J, ) is GS-distributive iff
(GS) for all a, b, x
Proposition 1
Let J = (J, ) be a meet-semilattice. Then the following two statements are equivalent:
i. Every pair of elements has upper bound.
ii. For all a, b, x
Proof:
(i) Suppose a . Let be a upper bound of {a, x} and be a upper bound of {b, x}. Then a and b .
Also, x and x , which implies that x
(ii) (i) Let a, b J . We have a b a. Then by hypothesis there exist a , b such that a . As
, it follows that a . Then a, b that is is a upper bound of {a, b}
3.2 K-distributivity
The concept given in the following definition is similar to the one in (GS).
Definition 2
A meet-semilattice J = (J ; ) is K-distributive iff
(K) for all a, b, x
Proposition 2
GS-distributivity implies K-distributivity, but not conversely.
4. International Research Journal of Engineering and Technology (IRJET) e-ISSN: 2395-0056
Volume: 07 Issue: 01 | Jan 2020 www.irjet.net p-ISSN: 2395-0072
ยฉ 2020, IRJET | Impact Factor value: 7.34 | ISO 9001:2008 Certified Journal | Page 2135
Proof
The most simple counter-example showing that the reciprocal does not hold is the meet-semilattice in Figure [1], that is
not upward directed. Indeed, the given meet-semilattice is K-distributive, as the only way to satisfy the antecedent of (K) is to
take a but then the consequent is also true. On the other hand , it is not (GS) distributive, as we have and
however , there are no a
Figure 1: Meet-semilattice showing that K-does not imply GS-distributivity
3.3 H-distributivity
In [10] Hickman introduces the concept of mildly distributive join-semilattices as those join-semilattices whose lattice of
their strong ideals is distributive. In [10, Theorem 2.5, p.200] it is stated that it is equivalent in the following statement:
(H) for all n and
If for all b (if ),
Then there exists (x )
The given conditional may be seen as a translation of the following version of distributivity for lattices:
If Then
In the case of a meet-semilattice J = ( J, ) and using quantifiers, (H) may be rendered as follows:
For all n and x,
If
Then for all y, if for all
Then y
That is in turn equivalent to:
For all n and x,
If
Then for all y, if (for all z, if x )
Then y
Using set-theoretic notation, (H) may also be rendered as follows:
(C) for all n and x,
If { } { }
At this point, the reader may wonder whether the number n of arguments is relevant or whether two arguments are enough.
Let us settle this question. Firstly, with that in mind, consider
( ) for all x,
If { } { } { } { } { }
Now, let us state the following fact.
5. International Research Journal of Engineering and Technology (IRJET) e-ISSN: 2395-0056
Volume: 07 Issue: 01 | Jan 2020 www.irjet.net p-ISSN: 2395-0072
ยฉ 2020, IRJET | Impact Factor value: 7.34 | ISO 9001:2008 Certified Journal | Page 2136
Lemma 2
( ) is equivalent to (C).
Proof
{ } { } .Our goal is to see that y
. Then we have { } { } { } , and hence
) suppose { } { } { } . We have to prove that ,if
{ } { } { } { } hence c
Proposition 3
Let J = (J, ) be a meet-semilattice. Then, K-distributivity implies H-distributivity.
Proof:
Suppose
(X1) for all
(X2) for all
Further, suppose both (S1)
(K) and (S2) it follows that there exist
implies x
a
3.4 LR- distributivity
Larmerova-Rachunek version of distributivity (see [13]) was given for poset, as we next see.
Definition 3
A poset P = (P; is LR-distributivity iff
(LRP) for all a, b, c { } { } { } { }
Remark 1
In the given definition, it is enough to take one inclusion. Indeed, given a poset P = (P; ) and a, b, c the
case that { } { } { } { ] .
Definition 4
A meet-semilattice J = (J, ) is LR-distributive iff
(LR) for all a, b, c { } { } { }
Now, it can be seen that LR-distributivity is equivalent to H-distributivity, and hence to the condition ( )
Proposition 4
Let J = (J, be a meet-semilattice. Then the following conditions are equivalent:
6. International Research Journal of Engineering and Technology (IRJET) e-ISSN: 2395-0056
Volume: 07 Issue: 01 | Jan 2020 www.irjet.net p-ISSN: 2395-0072
ยฉ 2020, IRJET | Impact Factor value: 7.34 | ISO 9001:2008 Certified Journal | Page 2137
i. J satisfies (LR)
ii. J satisfies (H)
iii. J satisfies ( )
Proof
The equivalence between (ii) and (iii) is A meet-semilattice J = ( J; is H-distributive iff it is ND-distributive. Let us prove
that (LR) implies (H). suppose
(X1) for all x
(X2) for all x
Then, the last two inequalities imply x { } . so, using (LR)
we get that x { } { } that is, for all y J, if y { } { } . Now, it should be clear that (X1)
and (X2) imply that c { } { } . so c as desired.
Now, let us see that (H) implies (LR). Suppose x { } and (H2) a . In order to get our
goal, that is, x { } { } , let us suppose that (S) { } { } and try to derive y . Now, (S) means
that for all z
z { } { } , then z
(Y1) for all z
(Y2) for all z
Now, using (H), (Y1), (Y2), (H1) and (H2), we get our goal, that is, y
3.5 B-distributivity
The following definition seems to have appeared for the first time in [1, Theorem 2.2(i) p. 261]
Definition 5
A meet-semilattice J = (J; ) is B-distributive iff
(B) for all n,
.
We have the following fact.
Proposition 5
Let J = (J; ) be a meetโsemilattice. Then, H-distributivity implies B-distributivity.
Proof
Let us have a H-distributivity meet semilattice J and let us take a, b, x (the general case follows by induction). Let us
suppose that a exists in J. Then, also x exists in J. Our goal is to see that x { }. It is clear
that x . Now, suppose both (F1) x . We have to see that x . It
immediately follows that
(X1) for all w
Now, suppose that (F3) x
7. International Research Journal of Engineering and Technology (IRJET) e-ISSN: 2395-0056
Volume: 07 Issue: 01 | Jan 2020 www.irjet.net p-ISSN: 2395-0072
ยฉ 2020, IRJET | Impact Factor value: 7.34 | ISO 9001:2008 Certified Journal | Page 2138
(X1โ) for all y , and
(X2โ) for all y
So, applying H-distributivity to (F3), (F4), (z1โ) and (X2โ), we have x , That is, we have proved.
(X2) for all w
Using H-distributivity, (F1), (F2), (X1) and (X2), it finally follows that x as desired.
3.6 -distributivity
The following definition seems to have appeared for the first time in [14]
Definition 6
A meet-semilattice J= (J; ) is said to be
n
( ) for all exists and equals x
It is easy to see that B-distributivity implies , for any 2 . It is also clear that for any 2 n, implies
. On the other hand, we have that for no natural 2 it holds that implies B-distributivity. In fact, it was
proved that for any 2 , does not imply ] , where infinite models using the real numbers are provided. As in the
case of GS-distributivity and H-distributivity, it is natural to ask whether, for example finite models are possible. AS in the
cases just mentioned, the answer is negative as already proved in [16, theorem 7.1, p.1071]. In [15, theorem, p. 26] it is also
proved that it is not possible to find infinite well-founded models.
Therefore, so far we have seen that, in the case of a meet-semilattice, we have the following chain of implications:
(GS) .
Conclusion
In this paper we have proposed a notion of distributivity for meet-semilattices desired related to Gentzenโs conjunction
elimination rule.
There are a number of open problems that we plan to address as a future research. In particular we can mention the
following
๏ท Distributive lattices are characterized by their lattice of ideals. In the case of meet-semilattices there are similar
characterizations for GS-, K- and H-distributivity, but not for B- and distributivity. The question in whether B- and
distributive meet-semilattices can be characterized by means of their ideals
References
[1] Gratzer, G. Lattice Theory: Foundation Springer/Birkhauser (2011)
[2] Gratzer, G. Schmidt, E. On congruence lattices of lattices. Acta math. Acad. Sci. Hungar. 13 (1962), 179-185
[3] Hickman. R. Mildly distributive semilattices. J. Austral. Math Soc. (Series A) 36 (1984). 287-315