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.

International Journals Call for Paper

The IISTE, a U.S. publisher, is currently hosting the academic journals listed below. The peer review process of the following journals usually takes LESS THAN 14 business days and IISTE usually publishes a qualified article within 30 days. Authors should send their full paper to the following email address. More information can be found in the IISTE website : www.iiste.org

Business, Economics, Finance and Management European Journal of Business and Management Research Journal of Finance and Accounting Journal of Economics and Sustainable Development Information and Knowledge Management Developing Country Studies Industrial Engineering Letters Physical Sciences, Mathematics and Chemistry Journal of Natural Sciences Research Chemistry and Materials Research Mathematical Theory and Modeling Advances in Physics Theories and Applications Chemical and Process Engineering Research Engineering, Technology and Systems Computer Engineering and Intelligent Systems Innovative Systems Design and Engineering Journal of Energy Technologies and Policy Information and Knowledge Management Control Theory and Informatics Journal of Information Engineering and Applications Industrial Engineering Letters Network and Complex Systems Environment, Civil, Materials Sciences Journal of Environment and Earth Science Civil and Environmental Research Journal of Natural Sciences Research Civil and Environmental Research Life Science, Food and Medical Sciences Journal of Natural Sciences Research Journal of Biology, Agriculture and Healthcare Food Science and Quality Management Chemistry and Materials Research Education, and other Social Sciences Journal of Education and Practice Journal of Law, Policy and Globalization New Media and Mass Communication Journal of Energy Technologies and Policy Historical Research Letter Public Policy and Administration Research International Affairs and Global Strategy Research on Humanities and Social Sciences Developing Country Studies Arts and Design Studies

PAPER SUBMISSION EMAIL EJBM@iiste.org RJFA@iiste.org JESD@iiste.org IKM@iiste.org DCS@iiste.org IEL@iiste.org PAPER SUBMISSION EMAIL JNSR@iiste.org CMR@iiste.org MTM@iiste.org APTA@iiste.org CPER@iiste.org PAPER SUBMISSION EMAIL CEIS@iiste.org ISDE@iiste.org JETP@iiste.org IKM@iiste.org CTI@iiste.org JIEA@iiste.org IEL@iiste.org NCS@iiste.org PAPER SUBMISSION EMAIL JEES@iiste.org CER@iiste.org JNSR@iiste.org CER@iiste.org PAPER SUBMISSION EMAIL JNSR@iiste.org JBAH@iiste.org FSQM@iiste.org CMR@iiste.org PAPER SUBMISSION EMAIL JEP@iiste.org JLPG@iiste.org NMMC@iiste.org JETP@iiste.org HRL@iiste.org PPAR@iiste.org IAGS@iiste.org RHSS@iiste.org DCS@iiste.org ADS@iiste.org
Global knowledge sharing: EBSCO, Index Copernicus, Ulrich's Periodicals Directory, JournalTOCS, PKP Open Archives Harvester, Bielefeld Academic Search Engine, Elektronische Zeitschriftenbibliothek EZB, Open J-Gate, OCLC WorldCat, Universe Digtial Library , NewJour, Google Scholar. IISTE is member of CrossRef. All journals have high IC Impact Factor Values (ICV).