1. International Research Journal of Engineering and Technology (IRJET) e-ISSN: 2395-0056
Volume: 06 Issue: 03 | Mar 2019 www.irjet.net p-ISSN: 2395-0072
ยฉ 2019, IRJET | Impact Factor value: 7.211 | ISO 9001:2008 Certified Journal | Page 1819
Ordered Meet Hyperlattices
Dr. R. Punitha1, D. Ameena Beave2, V. Senthamil Selvi3, S. Ramalakshmi4
1Associate Professor & Head, Thassim Beevi Abdul Kader College for Women, Kilakarai
2,3,4Thassim Beevi Abdul Kader College for Women, Kilakarai
---------------------------------------------------------------------------***---------------------------------------------------------------------------
Keywords: hyperlattices, ordered hyperlattice, meet
hyperlattice and prime ideals
INTRODUCTION:
Hyperlattices are the most advancing and
developing area in lattice theory. Ordered hyperlattices
has been introduced. The notion of meet hyperlattice is
introduced to the ordered hyperlattices in this paper. We
also define the prime ideals in the product of two ordered
meet hyperlattices and we investigate about their
properties.
I. Some basic definitions and Properties:
Definition 1.1:
Let H be a non-empty set. A Hyperoperation on H
is a map โฆ from HรH to P*(H), the family of non-empty
subsets of H. The Couple (H, โฆ) is called a hypergroupoid.
For any two non-empty subsets A and B of H and x ะ H, we
define A โฆ B = a โฆ b;
A โฆ x = A โฆ {x} and x โฆ B = {x} โฆ B
A Hypergroupoid (H, โฆ) is called a Semihypergroup if for all
a, b, c of H we have (a โฆ b) โฆ c = a โฆ (b โฆ c). Moreover, if for
any element a H equalities
A โฆ H = H โฆ a = H holds, then (H, โฆ)
is called a Hypergroup.
Definition 1.2:
A Lattice [1] is a partially ordered set L such that
for any two elements x,y of L, glb {x, y} and lub {x, y}
exists. If L is a lattice, then we define x V y = glb {x, y} and
lub {x,y}.
Proposition 1.3:
The Definition of Lattice is equal to the following
propositions. Let L be a non-empty set with two binary
operations โง and V. Let for all a, b, c ะ L, the following
conditions holds
1) a โง a = a and a V a = a
2) a โง b = b โง a and a V b = b V a
3) (a โง b) โง c = a โง (b โง c) and (a V b) V c
= a V (b V c)
4) (a โง b) V a = a and (a V b) โง a = a
Then (L, V, โง) is a Lattice.
Definition 1.4:
Let L be a non-empty set, โง :L ร L โ p* (L) be a
hyperoperation and V : L ร L โL be an operation. Then (L,
V, โง ) is a Meet Hyperlattice [3], if for all x, y, z ะ L. The
following conditions are satisfied:
1) x ะ x โง x and x = x V x
2) x V (y V z) = (x V y) V z and
3) x โง (y โง z)=(x โง y) โง z
4) x V y = y V x and x โง y = y โง x
5) x ะ x โง (x V y) x V (xโง y)
Definition 1.5:
Let L be both join and meet hyperlattice (which
means that V and โง are both hyperoperations), then we
call L as Total Hyperlattice.[2]
Example 1.6:
Let (L, โค) be a partial ordered set. We define the
operation V as,
a V b = { x ะ L : x โค a, x โค b}
ABSTRACT - In this paper we introduce the notion of the
notion of meet hyperlattice in the Ordered hyperlattices.
Also, we discuss about the product of two ordered meet
hyperlattices. We investigate the properties of prime ideals
in the product of two ordered meet hyperlattices.
2. International Research Journal of Engineering and Technology (IRJET) e-ISSN: 2395-0056
Volume: 06 Issue: 03 | Mar 2019 www.irjet.net p-ISSN: 2395-0072
ยฉ 2019, IRJET | Impact Factor value: 7.211 | ISO 9001:2008 Certified Journal | Page 1820
and the hyperoperation โง as,
a โง b = {x ะ L : a โค x, b โค x}.
Then, (L, V, โง ) is a Meet Hyperlattice.
Definition 1.7:
Let I be a non-empty subset of L. Then I is called
an Ideal [4] of L if
1) for every x, y ะ I, x V y C I
2) x โค I implies x ะ I
Now, let (L, V, โง) be a meet hyperlattice. We call (L, โค) is an
ordered hyperlattice, if โค is an equivalence relation and x โค
y implies that x โง z โค y โง z and x V z โค y V z.
Note that for any A, B C L, A โค B means that there exist x ะ
A, y ะ B such that x โค y.
Definition 1.8:
Let L be a non-empty set, โง be a binary
operation and V be a hyperoperation on L. L is called a
Hyperlattice if for all a, b, c ะ L, the following conditions
holds:
1) a ะ a V a and a โง a = a
2) a V b = b V a and a โง b = b โง a
3) a ะ [ a โง (a V b)] [a V (a โง b)]
4) a V (b V c) = (a V b) V c and a โง (b โง c) = (a โง b) โง
c
5) a ะ a V b implies a โง b = b
Let A, B C L. Then define
A V B = {a V b | a ะ A, b ะ B}
A โง B = {a โง b | a ะ A, b ะ B}
Note:
I L is a s-distributive hyperlattice, then L is an
Ordered Hyperlattice but the converse is not true.
Example 1.9:
Let (L, V, โง) be a strong meet hyperlattice such
that
โง โง โง
โง โง
โง
, โง ,
, , ) and ( , , , ) be two ordered
hyperlattiice.
Give ( ร , , ), be two hyperoperations and โงโ
โงโ
},
( , ) โค ( , ) if and only if ,
.
The Hyperoperation Vโ
โงโ.
Definition 1.11:
Let โ be an equivalence relation on a non-empty
set L and A, B C L, A โฬ B means that
for all a ะ A, there exists some b ะ B such that a โ
b,
for all ะ B, there exists aโ ะ A such that aโ โ bโ.
Also, โ is calleda regular relation respect to โง if x โ y
implies that x โง z โฬ y โง z, or all x, y, z ะ L. โ is called a
Regular relation if it is regular respect to V and โง, at the
same time.
Theorem 1.12:
Let (L, V, โง) be a hyperlattice and be an
equivalence relation on L. Then, (L/ , V, โง) is a hyperlattice
if and only if is a regular relation.
3. International Research Journal of Engineering and Technology (IRJET) e-ISSN: 2395-0056
Volume: 06 Issue: 03 | Mar 2019 www.irjet.net p-ISSN: 2395-0072
ยฉ 2019, IRJET | Impact Factor value: 7.211 | ISO 9001:2008 Certified Journal | Page 1821
Proof:
Let us assume that (L/ , V, โง) is a Hyperlattice.
For some x, y ะ L/ then,
x y
since L/ is distributive, for some z ะ L/ ,
(x y) โง z implies (x โง z) ฬ (y โง z)
Similarly, (x y) V z implies (x V z) ฬ (y V z)
Therefore is a regular relation.
Conversely, assume that is a regular relation then for all
x, y ะ L/ there exists x y.
Let A, B C L/ .
x y implies (x V z) ฬ (y V z) that is (x y) V z for all z ะ
L/
Then, A V B = {(x y) V z | x y ะ A, z ะ B}
Similarly, the condition for the hyperoperation โง holds.
Therefore (L/ , V, โง) is a Hyperlattice.
II. Properties of Prime Ideals in product of two
ordered meet hyperlattices
In this section, we consider strong meet
hyperlattices. First we define prime ideals in strong meet
hyperlattices. Then, we investigate sufficient conditions of
a subset of product of two ordered strong meet
hyperlattices is a prime ideal. Also, we define special
elements
in ordered strong meet hyperlattices and we investigate
the connection between this elements and ideals in
ordered strong meet hyperlattice.
Definition 2.1:
An Ideal P of a meet hyperlattice L is Prime [5], if
for all x, y ะ L and x V y ะ P, we have x ะ P and y ะ P.
Proposition 2.2:
Let L be a meet hyperlattice. A subset P of a
hyperlattice L is prime if an only if LP is a subhyperlattice
of L.
Proof:
Let x, y ะ LP
Then, by the definition of prime ideal we have,
x V y does not belong to P
Therefore x V y ะ LP
We prove that x โงy C LP
Let x โง y C P and x does not belong to P, Y does not
belongs to P.
We have (x โง y) V x ะ P
and
(x โง y) V y ะ P [since P is an ideal of
hyperlattice L]
Since L is a meet hyperlattice
we have x ะ (x โงy) V x which implies that x ะ P
and y ะ P
which is a contradiction.
Thus, x โงy is not the subset of P and x โง y C LP
Similarly, we show that x V y ะ LP and LP is a
subhyperlattice of L.
Let LP is a subhyperlattice of L and
x V y ะ P, x and y does not belongs to P.
Tus x, y ะ LP, we have x V y ะ LP
Therefore x V y doesnot belongs to P and this is a
contradiction.
Hence x ะ P and y ะ P.
Theorem 2.3:
Let ( , , , ) and ( , , , ) be two
ordered strong meet hyperlattices and L C ร . L is a
prime ideal if and only if there exists a prime ideal I C
and J C wih the properties that for any x ะ , xโ ะ and
4. International Research Journal of Engineering and Technology (IRJET) e-ISSN: 2395-0056
Volume: 06 Issue: 03 | Mar 2019 www.irjet.net p-ISSN: 2395-0072
ยฉ 2019, IRJET | Impact Factor value: 7.211 | ISO 9001:2008 Certified Journal | Page 1822
y ะ I, yโ ะ J, we have x y C I, xโ yโ C J and L = (I ร )
( ร J).
Proof:
Let us first prove the converse part.
We show that L is a prime ideal of ร .
Let (x, z), (y, w) ะ L
If x, y ะ I, we have x y C I.
Since is a meet hyperlattice, we have z w C .
Thus, (x, z) โงโ(y, w) = x y ร z w C I ร C L.
If z ะ J, w ะ , we have,
(x, z) โงโ(y, w) = x y ร z w
C I ร J C I ร C L.
Let, (x, y) ะ ร , (z, w) ะ L.
If z ะ I and w ะ , we have
(x, z) Vโ (z, w) ะ I ร C L
and if z ะ and w ะ J, we have
(x, y) Vโ (z, w) ะ ร J C L.
Now, we show that L is prime.
Let (x, y) Vโ (z, w) ะ L.
Then we have x z ร y w ะ L.
Therefore,
1) x z ะ I, y w ะ and
2) x z ะ , y w ะ J.
since I is prime, in the first case, we have x ะ I and z ะ I.
Thus, (x, y) ะ I ร and (z, w) ะ I ร .
In the second case the proof is similar.
Therefore L is a prime ideal.
Let L be a prime ideal and (x, y) ะ L.
We show that {x} ร C L and
ร {z} C L.
If these two relations are not true, there exist y ะ and w
ะ such that (x, y) does not belongs to L and (w, z) does
not belongs to L. Since L is prime, we have (x w) ร (y
z) ะ L which is a contradiction.
Now, we define
A = {x ะ ; {x} ร C L} and
B = {z ะ ; ร {z} C L}
and
I = {y ะ ; y a for some a ะ A} and
J = {y ะ ; y b for some b ะ B}
By the definitions of A, B, I and J, we can easily show that L
= (I ร ) ( ร J)
Now, we show that I is a prime ideal and it has the
property which is stated in the assumption of theorem.
Let x, y ะ and x y ะ I.
Then there exists a ะ A such that
x y a.
Also, (x, a) Vโ(y, a) = (x y, a a) ะ I ร C L.
Since L is a prime ideal, we have
(x, a) ะ L and (y, a) ะ L.
Therefore, since a ะ , we have x ะ I and y ะ I.
Let x ะ , y ะ I, there exists some a ะ A such that y a.
Thus x y a y.
Since a y C I and I is an Ideal,
We have x y ะ I.
Hence the proof.
5. International Research Journal of Engineering and Technology (IRJET) e-ISSN: 2395-0056
Volume: 06 Issue: 03 | Mar 2019 www.irjet.net p-ISSN: 2395-0072
ยฉ 2019, IRJET | Impact Factor value: 7.211 | ISO 9001:2008 Certified Journal | Page 1823
Definition 2.4:
Let (L, V, โง, โค) be an ordered meet hyperlattice which is
not bounded and x ะ L.
If (x V L] = x V y = {y ะ L; y โค a for some a ะ x V L} = L,
then we call x is right simple element. Now, let L is
bounded with greatest element 1, x ะ L is right simple
element,
if (x V L] = L{1}.
Theorem 2.5:
Let L be a distributive ordered strong meet hyperlattice
and R be the set of all right simple elements of L. Then, we
have R is a subhyperlattice of L. Also, if for any arbitrary
subset A, B C L, y ะ L we have y ะ A โง B implies that y ะ A
and y ะ B and LR is non-empty, then LR is a maximal
ideal of L.
Proof:
Let a, b ะ R.
Then we have (a V L] = L,
(b V L] = L and
L = (a V L] = (a V (b V L]] C (a V b V L].
Therefore, a V b ะ R.
Since, (A] โง (B] C (A โง B] and L is distributive. We
have,
L = (a V L] โง (b V L] C ((a โง b) V L].
So, a โง b ะ R.
Let x, y ะLR.
If x โง y C R, we have L = ((x โง y) V L].
Let z ะ L, then there exists ะ (x โง y) V L such that z โค
.
Therefore, there exists w ะ L such that = (x โง y) V w
which implies that
ะ (x V w) โง (y V w).
By our assumption, we conclude that
ะ x V w and ะ y V w.
Therefore, z โค ะ x V w and
z โค ะ y โง w.
Then, z ะ (x V L] and z ะ (y V L] and
L = (x V L] and L = (y V L].
So x โง y is not the subset of R and x โง y C LR.
Let x ะ LR and y ะ L.
We show that x V y ะ R, we have
L= (x V L] C (x V y V L] = L which is a contradiction.
Therefore, x V y ะ LR.
LR is a maximal ideal of L.
III. Conclusion:
Hence we introduced the ordered meet hyperlattice and
we depicted them in product. We also investigated the
properties of prime ideals in the product of two ordered
meet hyperlattices.
IV. References:
[1] http://mathworld.wolfram.com/Lattice.html
[2]
https://www.researchgate.net/publication/283874109_N
ormal_hyperlattices_and_pure_ideals_of_hyperlattices
[3]
https://www.insa.nic.in/writereaddata/UpLoadedFiles/IJ
PAM/Vol46_2015_5_ART04.pdf
[4]
https://www.researchgate.net/publication/317743259_O
rdered_join_hyperlattices
[5] http://mathworld.wolfram.com/PrimeIdeal.html