Mathematical Theory and Modeling ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online) Vol.2, No.

4, 2012

www.iiste.org

Fuzzy Join Prime Semi L-Ideals

B. Chellappa Associate Professor, Department of Mathematics, Alagappa Govt. Arts College, Karaikudi-3, chellappab_1958@yahoo.com B. Anandh Head, Department of Mathematics, Sudharsan College of Arts and Science, Perumanadu, Pudukkottai-1 maharishibalaanandh@gmail.com Abstract The concept of fuzzy join prime semi L-ideals in fuzzy join subsemilattices is introduced. The properties of fuzzy join prime semi L-ideals are discussed.

Keywords:

Fuzzy join prime semi L-ideals, f-invariant fuzzy join prime semi L-ideals, fuzzy join prime

semi L-ideal homomorphism.

Introduction Zhang Yue[2] defined Prime L-Fuzzy Ideals in Fuzzy Sets. Rajesh Kumar[4] derived the concepts of Fuzzy Semiprime Ideals in Ring. Swami & Swamy[3] generalized the concepts of Fuzzy Prime Ideals of Rings. Definition: 1 A fuzzy join semi L-ideal S() of a fuzzy join semilattice A is said to be a fuzzy join prime semi L-ideal of A if (i) S() is not a constant function and (ii) For any two fuzzy join semi L-ideals S() and S() in A if S() S() S(), then either S() S() or S() S(). Example: 1 Let A = { 0, a, b, 1 } be a fuzzy join semilattice. Consider S() is a fuzzy join prime semi L-ideal of A. Then S[ (0) ] = 0.6, S[ (a) ] = 0.5, S[ (b) ] = 0.4, S[ (1) ] = 0.7 Let S() and S() be any fuzzy join prime semi L-ideals of A. Then S[ (0) ] = 0.4, S[ (a) ] = 0.2, S[ (b) ] = 0.3, S[ (1) ] = 0.8 and S[ (0) ] = 0.5, S[ (a) ] = 0.3, S[ (b) ] = 0.4, S[ (1) ] = 0.7 Here S() S() S(), S() S() or S() S().

Mathematical Theory and Modeling ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online) Vol.2, No.4, 2012
Hence S() is a fuzzy join prime semi L-ideal of A. Note: 1 S() S() means S[ (x) ] S[ (x) ] for all x A. Definition: 2

www.iiste.org

A fuzzy join prime semi L-ideal S() of a fuzzy join semilattice A is called fuzzy level join semi L-prime if the fuzzy level join semi Proposition: 1 Let S() be any fuzzy join prime semi L-ideal of a fuzzy join semilattice A such that each fuzzy level join prime semi L-ideal S( t ), t Im S() is prime. If S[ ( xy ) ] = S[ (y) ]. Proof: Let S[ (x) ] = t; S[ (y) ] = t; and S[ (xy) ] = s Given S[ (x) ] < S[ (y) ] (i.e) t < t Now, s = S[ ( xy ) ] max { S[ (x) ], S[ (y) ] } = max { t, t} = t Therefore t < t s Suppose that t < s. If xy S( s ) then either x S( s ) L-ideal of A. Now, x S( s ) S[ (x) ] = s or y S( s ) S[ (y) ] = s Hence, t = S[ (x) ] s or t = S[ (y) ] s, which is not possible. Therefore, t = s (i.e) S[ ( xy ) ] = S[ (y) ] Corollary: 1 If S() is any fuzzy join prime semi L-ideal of a fuzzy join semilattice A then S[ (xy) ] = max { S[ (x) ], S[ (y) ] }, for all x, y A. Proof: Let x, y A xy A S() is a fuzzy join prime semi L-ideal. S[ ( xy ) ] max { S[ (x) ], S[ (y) ] }. If S[ (x) ] < S[ (y) ], then S[ ( xy ) ] = S[ (y) ] Similarly, if S[ (x) ] > S[ (y) ], then S[ ( xy ) ] = S[ (x) ], by theorem 5.1.5 Therefore, S[ ( xy ) ] = max { S[ (x) ], S[ (y) ] }. Theorem: 1 Let S() be a fuzzy join prime semi L-ideal of a fuzzy join semilattice A then Card Im S() = 2. Proof: Since S() is non constant, card Im S() 2. Suppose that card Im S() 3. or y S( s ), Since S( s ) is a fuzzy level join prime semi S[ (x) ] < S[ (y) ] for some x, y A then L-ideal S( t ), where t = S[ (0) ] is a prime semi L-ideal of A.

Let S[ (0) ] = s and k = Sup { S[ (x) ] / x A }. Then there exists t, m Im S() such that t < m < s and t k. Let S() and S() be two fuzzy join prime semi L-ideals of A such that S[ (x) ] = ( t + m ), for all x A and k, if x S( m ) = { x A / S[ (x) ] m} S[ (x) ] = s, if x S( m ) Clearly, S() is a fuzzy join prime semi L-ideal of A. To show that S() is a fuzzy join prime semi L-ideal of A. Let x, y A. Case (i): If x, y S( m ), then S[ (x) ] = s, S[ (y) ] = s, Also, S[ ( xy ) ] = s = max { S[ (x) ], S[ (y) ] } S[ ( xy ) ] max{ S[ (x) ], S[ (y) ] } Therefore S() is s fuzzy join prime semi L-ideal of A. Case (ii): If x S( m ) and y S( m ), then S[ (x) ] = s, S[ (y) ] = k, xy S( m ) Also, S[ ( xy ) ] = k = max { S[ (x) ], S[ (y) ] } = max { s, k } S[ ( xy ) ] max { S[ (x)], S[ (y) ] } Therefore, S() is a fuzzy join prime semi L-ideal of A. Case(iii): If x S( m ) and y S( m ), then S[ (x) ] = S[ (y) ] = k, xy S( m ) Also, S[ ( xy ) ] = k = max { S[ (x) ], S[ (y) ] } = max { k, k } S[ ( xy ) ] max { S[ (x) ], S[ (y) ] } Therefore, S() is a fuzzy join prime semi L-ideal of A. Claim: S() S() S() Let x A. Consider the following cases: (i) Let x = 0. xy S( m )

Mathematical Theory and Modeling ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online) Vol.2, No.4, 2012

www.iiste.org

Then [ S() S() ] (x) = max { max { S[ (y) ], S[ (z) ] } }

x = yz

(t+m) <s = S[ (0) ] (ii) Let x 0, x S( m ). Then S[ (x) ] m and [ S() S() ] (x) = max { max { S[ (y) ], S[ (z) ] } }

Mathematical Theory and Modeling ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online) Vol.2, No.4, 2012
x = yz

www.iiste.org

(t+m) <m = S[ (x) ], Since max { S[ (y) ], S[ (z) ] } S[ (y) ]. (iii) Let x 0, x S( m ). Then for any y, z A, such that x = yz, y S( m ) and z S( m ). Thus, S[ (y) ] = k and S[ (z) ] = k Hence, [ S() S() ] (x) = max { max { S[ (y) ], S[ (z) ] } }
x = yz

= max { max ( k, k ) } =k S[ (x) ]. Thus in any case, [ S() S() ] (x) S[ (x) ] Hence S() S() S() Now, there exists y A such that S[ (y) ] = t Then S[ (y) ] = ( t + m ) > S[ (y) ] S[ (y) ] > S[ (y) ] Hence, S() S() Also there exists x A such that S[ (x) ] = t. Then, x S( m ) and thus S[ (x) ] = s > m = S[ (x) ] S[ (x) ] > S[ (x) ] Hence S() S() This shows that S() is not a fuzzy join prime semi L-ideal of A, which is a contradiction to the hypothesis. Hence, card Im S() = 2. Theorem: 2 Let A be a fuzzy join semilattice and let S() be a fuzzy join semi L-ideal of A such that Card Im

Mathematical Theory and Modeling ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online) Vol.2, No.4, 2012

www.iiste.org

S() = 2, S[ (0) ] = 1 and the set S( 0 ) = { x A / S[ (x) ] = S[ (0) ] } is a fuzzy level join prime semi L-ideal of A. Proof: Then S() is a fuzzy join prime semi L-ideal of A.

Let Im S() = { t, 1}, t < 1.

Then S[ (0) ] = 1. Let x, y A. Case (i): If x, y S( 0 ) then xy S( 0 ) and S[ ( xy ) ] = 1 = max { S[ (x) ], S[ (y) ] }. Case (ii): If x S( 0 ) and y S( 0 ), then xy S( 0 ) and S[ ( xy ) ] = t = max { S[ (x) ], S[ (y) ] },

Since S[ (x) ] = 1 > t = S[ (y) ]. Case (iii): If x, y S( 0 ) and y S( 0 ), then S[ (x) ] = S[ (y) ] = t Thus, S[ ( xy) ] t = max { S[ (x) ], S[ (y) ] }. Hence, S[ ( xy ) ] max { S[ (x) ], S[ (y) ] }, for all x, y A. Now, if x S( 0 ), then xy, yx S( 0 )

Therefore, S[ ( xy ) ] = S[ ( yx ) ] = 1 = S[ (x) ]. If x S( 0 ), then S[ ( xy ) ] t = S[ (x) ] and S[ ( yx ) ] t = S[ (x) ]. Hence, S() is a fuzzy join prime semi L-ideal of A. Let S() and S() be fuzzy join prime semi L-ideals of A such that S() S() S(). Suppose that S() S() and S() S(). hen there exists x, y A such that S[ (x) ] > S[ (x) ] and S[ (x) ] > S[ (y) ]. Since for all a S( 0 ), S[ (a) ] = 1 = S[ (0) ], x S( 0 ) and y S( 0 ). Now, since S(0) is a fuzzy join prime semi L-ideal of A, there Let a = xzy. Then, S[ (a) ] = S[ (x) ] = S[ (y) ] = t. Now, [ S() S() ] (x) = max { max { S[ (u) ] S[ (v) ] }
x = uv

exists

z A such that xzy S( 0 ).

max { S[ (x) ], S[ ( zy ) ] }

Mathematical Theory and Modeling ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online) Vol.2, No.4, 2012

www.iiste.org

> t = S[ (a) ], Since S[ (x) ] > S[ (y) ] = t and S[ ( zy ) ] S[ (y) ] > S[ (y) ] = t That is , S() S() S(). This contradicts the assumption that S() S() S()

Thus, S() is a fuzzy join prime semi L-ideal of A.

Theorem: 3

If f is a fuzzy join prime semi

L-ideal homomorphism from a

fuzzy join semi L-ideal of A onto

a fuzzy join semi L-ideal of A and S() is any fuzzy join prime semi L-ideal of A, then f -1[ S( ) ] is a fuzzy join prime semi L-ideal of A.

Proof: Let S() and S() be any two fuzzy join prime semi L-ideals of A such that S() S()
-1

[ S( ) ].

f [ S() S() ] ff -1[ S() ] = S( ) f [ S() ] f [ S() ] S( ), Since f is a fuzzy join prime semi L-ideal homomorphism. Either f [ S() ] S( ) or f [ S() ] S( ), Since S() is fuzzy join prime semi L-ideal of A. Either f -1f [ S() ] f -1[ S( ) ] or f -1f [ S() ] f -1[ S( ) ]. Either S() f -1[ S( ) ] or S() f -1[ S( ) ] Hence f -1[ S( ) ] is a fuzzy join prime semi L-ideal of A.

Reference:

Mathematical Theory and Modeling ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online) Vol.2, No.4, 2012

www.iiste.org

Zhang Yue., and Peng Xingtu(1984), The Maximum Fuzzy Ideals and Prime Fuzzy Ideals on Rings, Fuzzy Mathematics 1, 115 116.

Zhang Yue.,(1988), Prime L- Fuzzy Ideals and Primary L-Fuzzy Ideals, Fuzzy Sets and Systems 27, 345-350.

Swami, U.M., and Swami, K.L.N.,(1998), Fuzzy Prime Ideals of Rings, J. Math Anal.Appl.134, 94103.

Rajesh Kumar.,(1992), Fuzzy Ideals and Fuzzy Semiprime Ideals:Some Ring Theoretic analogues, Inform. Sci. 46 , 43 52.

Mukherjee, T.K., and Sen, M.K.,(1989),Prime Fuzzy Ideals in Rings, Fuzzy Sets and Systems 32, 337 341.

Malik., and John, N.Mordesen.,(1990), Fuzzy Prime Ideals of a Ring, Fuzzy Sets and Systems 37 , 93 98.