Lattice of A Fuzzy Prime Ideals in An Ordered Semigroup

ISSN: 2320-5407 Int. J. Adv. Res.
11(08), 843-847
Journal Homepage: -www.journalijar.com
Article DOI: 10.21474/IJAR01/17460

DOI URL: http://dx.doi.org/10.21474/IJAR01/17460
RESEARCH ARTICLE
LATTICE OF A FUZZY PRIME IDEALS IN AN ORDERED SEMIGROUP
Mrs. J. Latha1, Dr. R. Ezhilarasi2 and Er. E. Thambiraja3

1. Research Scholar, Arignar Anna Govt Arts College, Villupuram.
2. Assistant Professor, Arignar Anna Govt Arts College, Villupuram.
3. Assistant Professor, Tamilnadu Open University, Chennai-15.
……………………………………………………………………………………………………....
Manuscript Info Abstract
……………………. ………………………………………………………………
Manuscript History This paper introduces the concept of lattices of prime fuzzy ideals,
Received: 27 June 2023 which extends the classical theory of lattices of prime ideals in ring
Final Accepted: 31 July 2023 theory to the fuzzy setting. In this paper, we propose some examples
Published: August 2023 and properties related to lattices of prime fuzzy ideals, contributing to
the knowledge in fuzzy algebra. Think about an ordered semigroup ℛ.
Key words:-
Lattice,ℒ-Fuzzy Prime Ideals, Partially
Plotting the function f from ℛ to the closed interval [0,1] defines a
Ordered Set fuzzy subset of ℛ, where [0,1] ϵ ℛ. In order to explore prime ideals in
rings, semigroups, and ordered semigroups in terms of fuzzy subsets,
we build an ordered semigroup ℛ with ordered fuzzy points. To study,
we presented the thoughts of ℒ-fuzzy prime ideals of an ordered
semigroups ℛ, which forms a completelattice obeying the law relating
the operations of multiplication and addition.
Copy Right, IJAR, 2023,. All rights reserved.

……………………………………………………………………………………………………....
I.Introduction:-
The introduction section provides an overview of fuzzy ideals and their lattice structure. It briefly explains the
motivation behind studying lattices of prime fuzzy ideals and highlights the significance of the proposed proposition
and theorem.
The central idea about set function, developed by L.A. Zadeh, has been well understood and applied in a wide range
of scientific domains since 1965. Studies on fuzzy sets have been published, highlighting their importance and its
use in a variety of technical and scientific disciplines. The ideal ℐ 1 = {Xϵℛ: ℐ(x) = 1} is prime after Liu's work
[47], and some mathematicians create new conceptions of ideals in a ring ℛ is prime iff manual, i.e., Im ℐ = [1, β]
where β ϵ [0,1]. Additionally, Zhang [53] carries a ring of ℒ-fuzzy ideals.
The resemblance of these ideals, according to Malik and Mordeson [7], produces only real numbers in the rings, and
its level set becomes trivially prime. A fuzzy ideal ℐ of a ring ℛ is a prime iff the set of level idealℐa = {b ϵℛ: ℐ(b)
≥a}, where ‘a’ related to fictitiousℐ. Gupta and Kartoo [17], among others,proposed a new concept of ideals ℐ of a
ring ℛ as ℐ(rs) = max {ℐ (r), ℐ (s)} for every r, s ϵℛ.
Self-seeking aboutℒ- prime fuzzy ideals in semigroup ℛ, we introduce lattice of fuzzy prime idealswith ordered
semigroup, which is an extension of a fuzzy ordered semigroup and satisfies meet distributive law by treating ℒ- as
a complete Lattice. Further it is aimed to work on ℒ -fuzzy prime ideals, semigroupsand various fuzzyset functions.
And also,ℒ - fuzzy prime characteristic set properties are demonstrated. An ordered semigroup of a ℒ -fuzzy ideal is
also aℒ -fuzzy PLI of an ordered semigroup as well as that it has supremum property.
Corresponding Author:- Mrs. J. Latha 843

Address:- Research Scholar, Arignar Anna Govt Arts College, Villupuram.
ISSN: 2320-5407 Int. J. Adv. Res. 11(08), 843-847
II. Preliminaries
Regarding to this section, some essential solutions for this paper arebrought to mind. This section presents the
necessary background material related to fuzzy algebra, fuzzy ideals, and lattice theory. It establishes the
fundamental concepts and notations required to understand the subsequent proposition and theorem.
Definition: 2.1
Let gA denotescharacteristic mapping of in the real interval [0,1] defines
gA(u) = {1 𝑖𝑓 𝑢 ∈ 𝐴0 𝑖𝑓 𝑢 ∉ 𝐴
Definition:2.2
LetM andNare two ideals of ℛ. IfMN⸦ I, then M⸦ I or N⸦I the ideal I of ℛ is called the prime ideal.
Definition:2.3
The set of all fuzzy subset of ℛ is denoted by Ꞙ(ℛ). A mapping defines from R to [0,1] as f: ℛ → [0,1].(Ꞙ(ℛ), ⸦ ,
∪ , ∩ ) forms a complete Lattice with upper bound 1 and lower bound 0.
Example:2.4
Let's work with a fuzzy ideal in the group of integers (Z) under addition.
1. To define the fuzzy ideal:
Consider the fuzzy ideal 𝒜 by its membership function:

μ𝒜(m) = 0.6, if m is even
μ𝒜(m) = 0.2, if m is odd
2. T0 determine the group operation:
In this case, the group operation is addition (+) defined on the set of integers (Z).
3. Analyse the closure property:
For a fuzzy ideal to be closed under addition, the result of adding any two elements from the fuzzy ideal
should still be within the fuzzy ideal.
4. Evaluate the fuzzy ideal under the group operation:
Let's consider two elements, 2 and 3, from the fuzzy ideal 𝒜.
μ𝒜(2) = 0.6, μ𝒜(3) = 0.2
Now, perform the group operation (+) on these elements:
2+3=5
5. Verify closure condition:
To check if the result, 5, is still within the fuzzy ideal 𝒜, evaluate its membership function:
μ𝒜(5) = 0.2 (since 5 is odd)
Since μ𝒜(5) = 0.2, which is consistent with the membership function of the fuzzy ideal 𝒜, we can
conclude that the fuzzy ideal 𝒜 is closed under the group operation of addition.
Definition: 2.5
(i) The union of two ℒ- prime fuzzy subset 𝜇1 ℒ and 𝜇2 ℒ of a set A, denoted by (𝜇1 ℒ ∪ 𝜇2 ℒ) is a ℒ-prime
fuzzy subset of A defined by,
(𝜇1 ℒ∪ 𝜇2 ℒ) (a) = 𝜇1 ℒ (a) ˅ 𝜇2 ℒ (a) ⩝ a∈A.
(ii) The intersection of two ℒ- prime fuzzy subset 𝜇1 ℒ and 𝜇2 ℒ , denoted by (𝜇1 ℒ∩ 𝜇2 ℒ) is a ℒ-prime
fuzzy subset of A written as,
(𝜇1 ℒ∩ 𝜇2 ℒ) (a) = 𝜇1 ℒ (a) ˄ 𝜇2 ℒ (a) ⩝ a∈A.
Definition:2.6
A fuzzy subset f of ℛ is called a FLI of ℛ if

(i) p≤q⟹h(p) ≥h(q)
(ii) h (pq) ≥h(q) ⩝ p, q∈ℛ
Where ℛ be an ordered semigroup.
A fuzzy subset h of ℛ is called a FRI of ℛ if
(i) p≤q⟹h(p) ≥h(q)
(ii) h(pq) ≥h(p) ⩝ p, q∈ℛ
844
ISSN: 2320-5407 Int. J. Adv. Res. 11(08), 843-847
If ℛ has both the ideal then fuzzy subset h of ℛ is called a fuzzy ideal of ℛ
III. Lattices of fuzzy prime ideal of ordered semigroup
Theorem: 3.1
A lattice fuzzy subset 𝜇𝐿 of ℛ is a fuzzy prime ideal of ℛ iff its level set 𝜇𝐿𝑟 , r ∈ℒ is an ideal of ℛ.
Proof:
Let𝜇𝐿 is a ℒ-fuzzy prime left ideal of ℛ.
To prove:
𝜇𝐿𝑟 = {a ∈ℛ / 𝜇𝐿 (a) ≥ r} is fuzzy prime left ideal of ℛ
Supposeu, v∈ 𝜇𝐿𝑟 ⟹𝜇𝐿 (u) ≥ r or 𝜇𝐿 (v) ≥ r
⟹v + u – v∈ 𝜇𝐿𝑟
Therefore, 𝜇𝐿𝑟 is a left ideal of ℛ.
Theorem: 3.2
Let g be a ℒ- fuzzy prime subset of an ordered semigroup ℛ. Then f is a strongly convex ℒ- fuzzy prime
subset of ℛ iff r≤s => g(r) ≥ g(s) ⩝ r ands∈ℛ
Proof:
Ifr,s∈ℛ thenr≤s.
Let g(r) = (g](r)
= 𝑤 ≥ 𝑟𝑉 𝑔(𝑤) ≥ 𝑔(𝑠)
Since (g](r) = 𝑉 𝑟≥𝑅 g(w) and ℛ≤ r,
h(r) ≤(h](r) ⩝ r∈ℛ
Therefore,
g ⸦ (𝑔]→ (1)
Conversely,
we can prove,
(g] ⸦ g →(2)
From equation (1) and (2),
we have
g = (g]
Definition: 3.3
Let g be a ℒ-prime fuzzy subset of ℛ. We define (g] by the rule
(g](r) = 𝑠 ≥ 𝑟𝑉𝑓(𝑠)
A fuzzy subset of ℛ is called strongly convex if g = (g]
Proposition 3.4
If ℒ- Lattice of fuzzy prime ideal of an ordered semigroup ℛis convex,
then g= ∪𝑦 𝜆 ∈ f𝑦𝜆
Definition 3.5
Let ℛ be an ordered semigroup a ∈ℛ and 𝛌∈ [0,1]. An ordered fuzzy point a𝛌 of ℛ is defined as a𝛌 (x) =
{𝜆, 𝑖𝑓 𝑥 𝜖 (𝑎]0, 𝑖𝑓 𝑥 ∉ (𝑎]
Example 3.6
Lattice of Prime Fuzzy Ideals in a Ring.
Consider a commutative ring R with elements {a, b, c, d} and operations + and ×. Define the fuzzy ideals
as follows:
❖ Fuzzy Ideal P: Assign membership values 0.2, 0.4, 0.6, and 0.8 to elements a, b, c, and d, respectively.
❖ Fuzzy Ideal Q: Assign membership values 0.3, 0.6, 0.9, and 1.0 to elements a, b, c, and d, respectively.
❖ Fuzzy Ideal R: Assign membership values 0.4, 0.5, 0.7, and 0.9 to elements a, b, c, and d, respectively.
The lattice formed by these prime fuzzy ideals is characterized by the containment relationships among
them: P ⊆ R ⊆ Q.
Theorem: 3.7
Let ℛ be an ordered semigroup. ℐ is a fuzzy prime idealof ℛ,if and only if g s is a ℒ-fuzzy prime ideal of
ℛ.
Proof:
Let ℐ- an ideal of ℛ. If g is a ℒ -fuzzy prime ideal of ℛ such that a ° b ⸦ g. If a doesn’t contained in g,
there exist ordered fuzzy point X𝛌∈ g (𝛌>0) such that X𝛌∉ g. For any Y𝜇 ∈ h (μ ≠ 0)
since X𝛌° Y𝜇⸦ a ° b ⸦ g and z ∈ℛ
(X𝛌)° (Y𝜇 ) (z) = 𝜆 ∩ 𝜇 > 0,
845
ISSN: 2320-5407 Int. J. Adv. Res. 11(08), 843-847
= 0, otherwise
Since ℐ is prime (x) (y) ⸦ℐ
On the contrary,
Let A and B be two ideals of s such that AB ⸦ℐ. Since g is a ℒ- fuzzy prime ideal of s we have
kA⸦ g and kB⸦ g
∴ A ⸦ℐ (or) B ⸦ℐ
⟹AB ⸦ℐ
Example: 3.8
Lattices of prime fuzzy ideals in a group
consider a group with elements {e, a, b}, where 'e' denotes the identity element, and 'a' and 'b' are other elements of
the group.
Prime fuzzy ideals Fuzzy Closure (%)
{e} 100
{e, a} 80
{e, b} 80
{e, a, b} 70
The first row represents the prime fuzzy ideal {e}, which includes only the identity element with a fuzzy closure of
100% (i.e) the closure of this fuzzy ideal under the group operation is perfect.
The second row represents the prime fuzzy ideal {e, a}, which includes the identity element and the element 'a' with
a fuzzy closure of 80%. That is, fuzzy closure of this fuzzy ideal under the group operation is 80%.
Similarly, the subsequent rows represent prime fuzzy ideals with different combinations of elements and their
corresponding fuzzy closures. The fuzzy closure percentage decreases as more elements are included in the fuzzy
ideals.
IV. Properties of Fuzzy Prime ideals in Lattice:

a.Fuzzy Prime Ideal Property: A fuzzy ideal F in a lattice L is a prime fuzzy ideal if for any elements a, b in L, if a
∨ b belongs to F, then either a or b belongs to F.
b. Prime Implicative Property: A fuzzy ideal F in a lattice L is prime if and only if for any elements a, b in L, if a
∧ b belongs to F, then a or b belongs to F.
c. Non-empty and Proper: A prime fuzzy ideal is non-empty, containing at least one element of the lattice. It is
also a proper fuzzy ideal, meaning it does not contain the identity element.
d. Irreducible: A prime fuzzy ideal cannot be expressed as the intersection of two or more distinct fuzzy ideals. It is
not reducible to smaller fuzzy ideals.
e. Maximal: A prime fuzzy ideal is maximal among fuzzy ideals that do not contain it properly. There are no fuzzy
ideals strictly containing a prime fuzzy ideal.
f. Prime Generator Property: If a fuzzy ideal F is prime, then for any elements a, b in L, if a∧b belongs to F, then
there exist prime fuzzy ideals F1 and F2 such that a belongs to F1 and b belongs to F2, and F is the intersection of
F1 and F2.
g. Localization Property: Prime fuzzy ideals have a close relationship with the localization of lattices. They can be
used to define a localized lattice by localizing the lattice with respect to the prime fuzzy ideal.
h. Quotient Lattice: Prime fuzzy ideals can be used to construct quotient lattices. The quotient lattice is formed by
factoring out the lattice by the prime fuzzy ideal, resulting in a new lattice structure.
Example 4.1:
846
ISSN: 2320-5407 Int. J. Adv. Res. 11(08), 843-847
Lattice of Prime Fuzzy Ideals in a Partially Ordered Set

Consider a partially ordered set with elements {x, y, z} and the relation ≤ defined as x ≤ y ≤ z. Define the fuzzy
ideals as follows:
❖ Fuzzy Ideal X: Assign membership values 0.2, 0.4, and 0.6 to elements x, y, and z, respectively.
❖ Fuzzy Ideal Y: Assign membership values 0.3, 0.5, and 0.7 to elements x, y, and z, respectively.
❖ Fuzzy Ideal Z: Assign membership values 0.4, 0.6, and 0.8 to elements x, y, and z, respectively.
The lattice formed by these prime fuzzy ideals is characterized by the containment relationships among them: X
⊆ Y ⊆ Z.
Conclusion:-
We are aware that the work of an ordered semigroup structures relies heavily on ideals of ordered semigroups. The
conclusion section summarizes the main contributions of the paper, emphasizing the importance of the proposition
and theorem in advancing the theory of lattices of prime fuzzy ideals. It may also suggest potential directions for
future research in this area.
The idea of the ℒ-fuzzy prime ideal of various semigroup is discussed in this paper. Additionally, we demonstrated
that the homomorphic image of an ordered semigroup's ℒ-fuzzy prime ideal also possesses the supremum property.
The creation of the ℒ-fuzzy prime maximal ideal of ansemigroup can benefit from these.
References:-
[1]. A. Rosenfeld, Fuzzy groups, J. Math. Anal.Appl.35(1971) 512 – 517.
[2]. B. Davvaz, Roughness in rings, Inform. Sci. 164 (2004) 147 – 163.
[3]. B. Davvaz, Roughness based on fuzzy ideals, Inform. Sci. 164 (2004) 147 – 163.
[4]. Chen Deganga,Jiang Jiashang, Wu Congxin, E.C.C Tsang, Some notes on equivalent Fuzzy sets and Fuzzy
subgroups, Fuzzy Sets Syst. 152 (2005) 403-409.
[5]. D.S. Malik, john N. Mordeson, Fuzzy prime ideals of a ring, Fuzzy Sets Syst.37 (1990) 93 – 98.
[6]. D.Dubois, H. Prade, Rough Fuzzy Sets and Fuzzy rough sets, Int.J. General Syst. 17 (2C3) (1990) 191 – 209.
[7]. J. N. Mordeson, K.R. Bhutani, A. Rosenfeld, Fuzzy Group Theory, Studies in Fuzziness and Soft computing,
Vol. 182, Springer – Verlag, Berlin, 2005, ISBN 3 – 540 – 25072 -7
[8].N.Kuroki, Fuzzy bi- ideals in semigroups, Math. Univ. Paul. 28 (1979) 17 -21.
847

Lattice of A Fuzzy Prime Ideals in An Ordered Semigroup

Uploaded by

Copyright:

Available Formats

Lattice of A Fuzzy Prime Ideals in An Ordered Semigroup

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Lattice of A Fuzzy Prime Ideals in An Ordered Semigroup

Uploaded by

Copyright:

Available Formats

ISSN: 2320-5407 Int. J. Adv. Res.

Journal Homepage: -www.journalijar.com

Article DOI: 10.21474/IJAR01/17460

Mrs. J. Latha1, Dr. R. Ezhilarasi2 and Er. E. Thambiraja3

Copy Right, IJAR, 2023,. All rights reserved.

Corresponding Author:- Mrs. J. Latha 843

1. To define the fuzzy ideal:

Consider the fuzzy ideal 𝒜 by its membership function:

A fuzzy subset f of ℛ is called a FLI of ℛ if

IV. Properties of Fuzzy Prime ideals in Lattice:

Lattice of Prime Fuzzy Ideals in a Partially Ordered Set

You might also like