14 views

Uploaded by IOSRjournal

IOSR Journal of Mathematics(IOSR-JM) is a double blind peer reviewed International Journal that provides rapid publication (within a month) of articles in all areas of mathemetics and its applications. The journal welcomes publications of high quality papers on theoretical developments and practical applications in mathematics. Original research papers, state-of-the-art reviews, and high quality technical notes are invited for publications.

- mathgen-1636231130
- Math
- B.sc. Prog.-physical Sciences Applied Physical Sciences
- 1710.06783
- Homo Morph Isms
- mathgen-1476260837
- ON THE EXISTENCE OF STABLE RINGS
- Basic Mathematics
- 17 Field of Fractions
- mathgen-1629157371
- 0301944 Number Theory Lecture Notes(2)
- SMARANDACHE PSEUDO- IDEALS
- Power System Stabilizer Using Fuzzy Logic
- mathgen-1357109914
- Ring Homomorphisms and i So Morphis Ms
- g8m6l3- graphing stories and increasing and decreasing functions 2
- Tugas Kriptografi Ch_04 Mathematics 2
- MATH 115: Lecture III Notes
- g8m6l3- graphing stories and increasing and decreasing functions
- Uniqueness in Formal Group Theory

You are on page 1of 12

e-ISSN: 2278-5728, p-ISSN: 2319-765X. Volume 11, Issue 6 Ver. IV (Nov. - Dec. 2015), PP 83-94

www.iosrjournals.org

and Multi-Anti Fuzzy Ideal of a Ring

R.Muthuraj 1*, C. Malarselvi 2,

1*

PG and Research Department of Mathematics, H.H. The Rajahs College, Pudukkottai 622 001,

Tamil Nadu, India

2

Department of Mathematics, K.L.N. College of Information Technology, Pottapalayam 630 611.

Sivagangai District, Tamil Nadu, India.

Abstract: In this paper, we discuss the properties of image of multi- fuzzy ideal of a ring under homomorphism

and anti homomorphism and the properties of image of multi-anti fuzzy ideal of a ring under homomorphism

and anti homomorphism

Keywords: multi-anti fuzzy ideals, homomorphism and anti homomorphism of multi-fuzzy ideal and multi-anti

fuzzy ideal of a ring.

I.

Introduction

The innovative works of Zadeh [16] and Rosenfeld [12] led to the fuzzification of algebraic structures.

The idea of anti fuzzy subgroup was introduced by Biswas [3] which was extended by many researchers.

F.A.Azam, A.A. Mamum, and F.Nasrin [2] apply the idea of Biswas to the theory of ring. They introduced a

notion of anti fuzzy ideal A of a ring X.

Sabu Sebastian and T.V. Ramakrishnan [13] introduced the theory of multi-fuzzy sets in terms of

multi-dimensional membership functions and investigated some properties of multi level fuzziness. After

introducing multi-fuzzy subsets of a crisp set, they have also introduced and studied some elementary properties

of multi-fuzzy subgroups. R. Muthuraj and S. Balamurugan [9] introduced the concept of multi-anti fuzzy

subgroup and discussed some of its properties.

In [11], we extended the concept of multi-anti fuzzy subgroup to multi-anti fuzzy ideal of a ring. and introduced

a notion of multi-anti fuzzy ideal A of a ring X and some of its properties are discussed.

In this paper, we discuss the properties of image of multi- fuzzy ideal of a ring under

homomorphism and anti homomorphism and the properties of image of multi-anti fuzzy ideal of a ring under

homomorphism and anti homomorphism.

1.1 Basic Concepts

The theory of multi-fuzzy set is an extension of theories of fuzzy sets. The membership function of a

multi-fuzzy set is an ordered sequence of membership functions of a fuzzy set. The notion of multi-fuzzy sets

provides a new method to represent some problems which are difficult to explain in other extensions of fuzzy

set theory.

Throughout this paper, we will use the following notations (i) R and S for ring . (ii) J for index set, (iii)

X for the Universal set, (iv) I for the unit interval [0, 1] and (v) IX for the set of all functions from X to I

respectively

1.2 Definition [13]

Let X is a non-empty set. A multi-fuzzy set A in X is a set of ordered sequences

A = {(x, 1(x), 2(x), k(x),.): xX} where j(x) I, j = 1,2,,k,

Remarks [13]

i.

If the sequences of the membership functions have only k-terms, then k is called the

dimension of A.

ii. The set of all multi-fuzzy sets in X of dimension k is denoted by MKFS(X).

iii. The multi-membership function A(x) of dimension k is denoted by

A(x)= (1(x),2(x),.. , k(x)), for all xX.

Let k be a positive integer and A and B be a multi-fuzzy set of dimension k on X.

That is, A = {(x, 1(x), 2(x) k(x)), xX} and B = {(x, 1(x), 2(x)... k(x)), xX} where j(x), j(x) I,

j = 1,2,,k

DOI: 10.9790/5728-11648394

www.iosrjournals.org

83 | Page

Homomorphism and Anti-homomorphism of Multi-Fuzzy Ideal and Multi-Anti Fuzzy Ideal of a Ring

Then we have the following relations and operations for all xX

i. A = B iff i(x) = j(x) j = 1,2,,k

ii. A B iff i(x) j(x) j = 1,2,,k

iii. A B = {(x, max{1(x), 1(x)},...,max{k(x),k(x)}): x X}

iv. A B ={(x, min{1(x), 1(x)},., min{k(x), k(x)}): x X }

1.4 Definition [6]

A mapping f from a ring R to a ring S (both R and S not necessarily commutative) is called an antihomomorphism if for all x, y R

i.

f(x + y)= f(y) + f(x) and

ii. f(xy)= f(y)f(x).

A surjective anti-homomorphism is called an anti-epimorphism.

1.5 Definition

Let f be a mapping from a set R to a set S and let A be a multi-fuzzy subset in R. Then

A is called f-invariant if f(x) = f(y) implies A(x) = A(y) for all x, y R.

Clearly, if A is f-invariant, then f-1(f (A)) = A.

II.

In this section, we discuss some results on multi-fuzzy ideal of a ring under homomorphism and antihomomorphism

2.1 Definition [10]

A multi-fuzzy set A on a ring R is said to be a multi-fuzzy ring on R if for every x, y R,

i.

A(x y) min {A(x), A(y)} and

ii.

A (xy) min {A(x), A(y)}.

2.2 Definition [10]

A multi-fuzzy ring A on R is said to be

i.

a multi-fuzzy left ideal if A (x y) A(y), for all x ,y R and

ii.

a multi-fuzzy right ideal if A (x y) A(x), for all x ,y R.

2.3 Definition [10]

A multi-fuzzy ring A on a ring R is called a multi-fuzzy ideal if it is both a multi-fuzzy left ideal and a

multi-fuzzy right ideal.

In other words, a multi-fuzzy set A on R is a multi-fuzzy ideal of a ring if

i.

A(x y ) min {A(x), A(y)} and

ii.

A (x y) max {A(x), A(y)}, for all x ,y R.

2.4 Definition

A multi-fuzzy set A in X has the sup property if, for any subset T of X, there exists

t0 T such that A(t0)

sup

A ( t ).

t T

2.5 Definition

Let f be a mapping from a set X to a set Y, and let A and B be multi-fuzzy subsets in X and Y

respectively.

i.

f(A), the image of A under f, is a multi-fuzzy subset in Y. For all y Y, we define,

sup

A (x )

-1

f ( A )( y ) x f ( y )

0,

iii.

ii.

if f

-1

( y )

Otherwise

-1

That is, f-1(B)(x) = B(f(x)) for all x R.

DOI: 10.9790/5728-11648394

www.iosrjournals.org

84 | Page

Homomorphism and Anti-homomorphism of Multi-Fuzzy Ideal and Multi-Anti Fuzzy Ideal of a Ring

2.6 Theorem

Let f be a homomorphism from a ring R into a ring S and let B be a multi-fuzzy left ideal of S. Then

the pre-image, f-1(B) is a multi-fuzzy left ideal left of R.

Proof

Consider a ring homomorphism f : RS

Let B be a multi- fuzzy left ideal of S.

For all x, y R

i.

f-1(B)(x y)

= Bf(x y)

= B(f(x) f(y))

min{Bf(x),Bf(y)}

= min{f-1(B)(x),f-1(B)(y)}

-1

f (B)(x y)

min{f-1(B)(x),f-1(B)(y)}

ii.

f-1(B)(xy)

f-1(B)(xy)

iii.

= B(f(xy))

= B(f(xy))

max {Bf(x),Bf(y)}

= max{f-1(B)(x),f-1(B)(y)}

max{f-1(B)(x),f-1(B)(y)}

f-1(B)(xy)

= B f(xy)

= B(f(x)f(y))

B(f(y))

= f-1(B)(y))

-1

f (B)(xy)

f-1(B)(y))

-1

Therefore, f (B) is a multi-fuzzy left ideal of R.

2.7 Theorem

Let f be a homomorphism from a ring R into a ring S and let B be a multi-fuzzy right ideal of S. Then

the pre-image, f-1(B) is a multi-fuzzy right ideal of R.

Proof

Consider a ring homomorphism f : RS

Let B be a multi-fuzzy right ideal of S.

For all x, y R

i.

f-1(B)(x y)

= Bf(x y)

= B(f(x) f(y))

min{Bf(x),Bf(y)}

= min{f-1(B)(x),f-1(B)(y)}

-1

f (B)(x y)

min{f-1(B)(x),f-1(B)(y)}

ii.

f-1(B)(xy)

f-1(B)(xy)

iii.

= B(f(xy))

= B(f(xy))

max {Bf(x),Bf(y)}

= max {f-1(B)(x),f-1(B)(y)}

max{f-1(B)(x),f-1(B)(y)}

f-1(B)(xy)

= Bf(xy)

= B(f(x)f(y))

B(f(x))

= f-1(B)(x))

-1

f (B)(xy)

f-1(B)(x))

-1

Therefore, f (B) is a multi-fuzzy right ideal of R.

2.8 Theorem

Let f be a homomorphism from a ring R into a ring S, and let B be a multi-fuzzy ideal

of S. Then the pre-image, f-1(B) is a multi-fuzzy ideal of R.

Proof

DOI: 10.9790/5728-11648394

www.iosrjournals.org

85 | Page

Homomorphism and Anti-homomorphism of Multi-Fuzzy Ideal and Multi-Anti Fuzzy Ideal of a Ring

It is clear.

2.9 Theorem

Let f be a homomorphism from a ring R into a ring S, and let A be a multi-fuzzy left ideal of a ring R

with sup property. Then the image, f(A) is a multi-fuzzy left ideal of a ring S.

Proof

Consider a ring homomorphism f : RS

Let A be a multi- fuzzy left ideal of R.

For all x, y R

i.

f(A)(f(x) f(y)

= f(A) f(x y)

= A(x y)

min{A(x), A(y)}

= min{ f(A) (x), f(A)(y)}

f(A)(f(x) f(y)

min{ f(A) (x), f(A)(y)}.

ii.

f(A) (f(x)f(y))

f(A) (f(x)f(y))

iii.

= f(A)f(x y)

= A(xy)

max {A(x), A(y)}

= max{ f(A) (x), f(A)(y)}

max{ f(A) (x), f(A)(y)}

f(A) (f(x)f(y))

= f(A)f(x y)

= A(xy)

A(y)

= f(A) (f(y))

f(A) (f(x)f(y))

f(A) (f(y))

Therefore, f(A) is a multi-fuzzy left ideal of S,

2.10 Theorem

Let f be a homomorphism from a ring R into a ring S, and let A be a multi-fuzzy right ideal of a ring R

with sup property. Then the image, f(A) is a multi-fuzzy right ideal of a ring S.

Proof

Consider a ring homomorphism f : RS

Let A be a multi- fuzzy right ideal of R.

For all x, y R

i.

f(A)(f(x) f(y)

= f(A) f(x y)

= A(x y)

min{A(x), A(y)}

= min{ f(A) (x), f(A)(y)}

f(A)(f(x) f(y)

min{ f(A) (x), f(A)(y)}.

ii.

f(A) (f(x)f(y))

f(A) (f(x)f(y))

iii.

= f(A)f(x y)

= A(xy)

max {A(x), A(y)}

= max{ f(A) (x), f(A)(y)}

max{ f(A) (x), f(A)(y)}.

f(A) (f(x)f(y))

= f(A)f(x y)

= A(xy)

A(x)

= f(A) (f(x))

f(A) (f(x)f(y))

f(A) (f(x))

Therefore, f(A) is a multi-fuzzy right ideal of S

2.11 Theorem

Let f be a homomorphism from a ring R into a ring S, and let A be a multi-fuzzy ideal

of a ring R with sup property. Then the image, f(A) is a multi-fuzzy ideal of a ring S.

DOI: 10.9790/5728-11648394

www.iosrjournals.org

86 | Page

Homomorphism and Anti-homomorphism of Multi-Fuzzy Ideal and Multi-Anti Fuzzy Ideal of a Ring

Proof

It is clear.

2.12 Theorem

Let f be an anti- homomorphism from a ring R into a ring S, and let B be a multi-fuzzy left ideal of S.

Then the pre-image, f-1(B) is a multi-fuzzy right ideal of R.

Proof

Consider a ring anti-homomorphism f : RS

Let B be a multi- fuzzy left ideal of S.

For all x, y R

i.

f-1(B)(x y)

= Bf(x y)

= B(f(y) f(x))

min{Bf(y),Bf(x)}

= min{f-1(B)(y),f-1(B)(x)}

= min{f-1(B)(x),f-1(B)(y)}

-1

f (B)(x y)

min{f-1(B)(x),f-1(B)(y)}.

ii.

f-1(B)(xy)

f-1(B)(xy)

iii.

= B(f(xy))

= B(f(y)f(x))

max {Bf(y),Bf(x)}

= max{f-1(B)(y),f-1(B)(x)}

= max{f-1(B)(x),f-1(B)(y)}

max{f-1(B)(x),f-1(B)(y)}.

f-1(B)(xy)

= B f(xy)

= B(f(y)f(x))

B(f(x))

= f-1(B)(x))

-1

f (B)(xy)

f-1(B)(x)).

-1

Therefore, f (B) is a multi-fuzzy right ideal of R.

2.13 Theorem

Let f be an anti- homomorphism from a ring R into a ring S, and let B be a multi-fuzzy right ideal of

S. Then the pre-image, f-1(B) is a multi-fuzzy left ideal of R.

Proof

Consider a ring anti-homomorphism f : RS

Let B be a multi- fuzzy right ideal of S.

For all x, y R

i.

f-1(B)(x y)

= Bf(x y)

= B(f(y) f(x))

min {Bf(y),Bf(x)}

= min{f-1(B)(y),f-1(B)(x)}

= min{f-1(B)(x),f-1(B)(y)}

-1

f (B)(x y)

min{f-1(B)(x),f-1(B)(y)}.

ii.

f-1(B)(xy)

f-1(B)(xy)

iii

f-1(B)(xy)

f-1(B)(xy)

DOI: 10.9790/5728-11648394

= B(f(xy))

= B(f(y)f(x))

max {Bf(y),Bf(x)}

= max{f-1(B)(y),f-1(B)(x)}

= max{f-1(B)(x),f-1(B)(y)}

max{f-1(B)(x),f-1(B)(y)}.

= B f(xy)

= B(f(y)f(x))

B(f(y))

= f-1(B)(y))

f-1(B)(y))

www.iosrjournals.org

87 | Page

Homomorphism and Anti-homomorphism of Multi-Fuzzy Ideal and Multi-Anti Fuzzy Ideal of a Ring

Therefore, f-1(B) is a multi-fuzzy left ideal of R.

2.14 Theorem

Let f be an anti- homomorphism from a ring R into a ring S, and let B be a multi-fuzzy left (right) ideal

of S. Then the pre-image, f-1(B) is a multi-fuzzy right(left) ideal of R.

Proof

It is clear.

2.15 Theorem

Let f be an anti- homomorphism from a ring R into a ring S, and let A be a multi-fuzzy left ideal of a

ring R with sup property. Then the image, f(A) is a multi-fuzzy right ideal of a ring S.

Proof

Consider a ring anti-homomorphism f : RS

Let A be a multi- fuzzy left ideal of R.

For all x, y R

i.

f(A)(f(x) f(y)) = f(A) f(y x)

= A(y x)

min{A(y), A(x)}

= min{ f(A) (y), f(A)(x)}

= min{ f(A) (x), f(A)(y)}

f(A)(f(x) f(y)) min{ f(A) (x), f(A)(y)}.

ii.

f(A) (f(x)f(y))

f(A) (f(x)f(y))

iii.

= f(A)f(yx)

= A(yx)

max {A(y), A(x)}

= max{ f(A) (y), f(A)(x)}

= max{ f(A) (x), f(A)(y)}

max{ f(A) (x), f(A)(y)}.

f(A) (f(x)f(y))

= f(A)f(yx)

= A(yx)

A(x)

= f(A) (f(x))

f(A) (f(x)f(y)) f(A) (f(x)).

Therefore, f(A) is a multi-fuzzy right ideal of S

2.16 Theorem

Let f be an anti-homomorphism from a ring R into a ring S, and let A be a multi-fuzzy right ideal of a

ring R with sup property. Then the image, f (A) is a multi-fuzzy left ideal of a

ring S.

Proof

Consider a ring anti-homomorphism f : RS

Let A be a multi- fuzzy right ideal of R.

For all x, y R

i.

f(A)(f(x) f(y)) = f(A) f(y x)

= A(y x)

min{A(y), A(x)}

= min{ f(A) (y), f(A)(x)}

= min{ f(A) (x), f(A)(y)}

f(A)(f(x) f(y)) min{ f(A) (x), f(A)(y)}

ii.

f(A) (f(x)f(y))

DOI: 10.9790/5728-11648394

= f(A)f(y x)

= A(yx)

max {A(y), A(x)}

= max{ f(A) (y), f(A)(x)}

= max{ f(A) (x), f(A)(y)}.

www.iosrjournals.org

88 | Page

Homomorphism and Anti-homomorphism of Multi-Fuzzy Ideal and Multi-Anti Fuzzy Ideal of a Ring

f(A) (f(x)f(y))

iii.

f(A) (f(x)f(y))

= f(A)f(y x)

= A(yx)

A(y)

= f(A) (f(y))

f(A) (f(x)f(y))

f(A) (f(y))

Therefore, f(A) is a multi-fuzzy left ideal of S

2.17 Theorem

Let f be an anti- homomorphism from a ring R into a ring S, and let A be a multi-fuzzy left(right) ideal

of a ring R with sup property. Then the image, f(A) is a multi-fuzzy right (left) ideal of a ring S.

Proof

It is clear.

III.

In this section, we discuss some results on multi-anti fuzzy ideal of a ring under homomorphism and

anti-homomorphism

3.1 Definition [11]

A multi-fuzzy set A of X is called a multi- anti fuzzy left (respectively right) ideal of X if for all x, y

X,

i.

A(x y) max {A(x), A(y)}

ii.

A (xy) max {A(x), A(y)}

iii.

A(xy) A(y) (respectively right A(xy) A(x)).

3.2 Definition [11]

A MFS A of X is called a multi-anti fuzzy ideal of X if it is a multi-anti fuzzy left ideal as well as a

multi-anti fuzzy right ideal of X.

Remark

i.

ii.

if AC is multi fuzzy left (respectively right) ideal of X.

Every multi-anti fuzzy left (right) ideal of X is an additive multi-anti fuzzy

subgroup of X.

If A is a multi-anti fuzzy ideal of X, Then for all x, y X,

i.

A(x y) max {A(x), A(y)}

ii.

A (xy) max {A(x), A(y)}.

3.4 Definition

A multi-fuzzy set A in X has the inf property if, for any subset T of X, there exists t 0 T such that

A(t0)

inf

A (t) .

t T

Let f be a mapping from a set X to a set Y, and let A and B be multi-fuzzy subsets in X and Y

respectively.

i.

f(A), the anti image of A under f, is a multi-fuzzy subset in Y. For all y Y,

I.

we define, f(A)(y)

ii.

inf

A(x)

-1

x f (y )

if f

-1

(y)

Otherwise

-1

That is, f-1(B)(x) = B(f(x)) for all x R.

DOI: 10.9790/5728-11648394

www.iosrjournals.org

89 | Page

Homomorphism and Anti-homomorphism of Multi-Fuzzy Ideal and Multi-Anti Fuzzy Ideal of a Ring

3.6 Theorem

Let f be a homomorphism from a ring R onto a ring S, and let B be a multi-anti fuzzy left ideal of S.

Then the anti pre-image, f-1(B) is a multi-anti fuzzy left ideal of R.

Proof

Consider a ring homomorphism f : RS

Let B be a multi-anti fuzzy left ideal of S.

For all x, y R

i.

f-1(B)(x y)

= Bf(x y)

= B(f(x) f(y))

max{Bf(x),Bf(y)}

= max{f-1(B)(x),f-1(B)(y)}

-1

f (B)(x y)

max{f-1(B)(x),f-1(B)(y)}.

f-1(B)(xy)

ii.

f-1(B)(xy)

iii.

= B(f(xy))

= B(f(xy))

max {Bf(x),Bf(y)}

= max{f-1(B)(x),f-1(B)(y)}

max{f-1(B)(x),f-1(B)(y)}.

f-1(B)(xy)

= B f(xy)

= B(f(x)f(y))

B(f(y))

= f-1(B)(y))

-1

f (B)(xy)

f-1(B)(y))

-1

Therefore, f (B) is a multi-anti fuzzy left ideal of R.

3.7 Theorem

Let f be a homomorphism from a ring R into a ring S, and let B be a multi-anti fuzzy right ideal of S.

Then the anti pre-image, f-1(B) is a multi-anti fuzzy right ideal of R.

Proof

Consider a ring homomorphism f : RS

Let B be a multi-anti fuzzy right ideal of S.

For all x, y R

i.

f-1(B)(x y)

= Bf(x y)

= B(f(x) f(y))

max {Bf(x),Bf(y)}

= max{f-1(B)(x),f-1(B)(y)}

-1

f (B)(x y)

max{f-1(B)(x),f-1(B)(y)}.

ii.

f-1(B)(xy)

f-1(B)(xy)

iii.

= B(f(xy))

= B(f(xy))

max {Bf(x),Bf(y)}

= max{f-1(B)(x),f-1(B)(y)}

max{f-1(B)(x),f-1(B)(y)}.

f-1(B)(xy)

= B f(xy)

= B(f(x)f(y))

B(f(x))

= f-1(B)(x))

-1

f (B)(xy)

f-1(B)(x))

-1

Therefore, f (B) is a multi-anti fuzzy right ideal of R.

3.8 Theorem

Let f be a homomorphism from a ring R into a ring S, and let B be a multi-anti fuzzy left (right) ideal

of S. Then the anti pre-image, f-1(B) is a multi-anti fuzzy left (right) ideal of R.

Proof

It is clear.

DOI: 10.9790/5728-11648394

www.iosrjournals.org

90 | Page

Homomorphism and Anti-homomorphism of Multi-Fuzzy Ideal and Multi-Anti Fuzzy Ideal of a Ring

3.9Theorem

Let f be a homomorphism from a ring R into a ring S, and let A be a multi-anti fuzzy left ideal of a ring

R with inf property. Then the anti- image, f(A) is a multi-anti fuzzy right ideal of a ring S.

Proof

Consider a ring homomorphism f : RS

Let A be a multi-anti fuzzy left ideal of R.

For all x, y R

i.

f(A)(f(x) f(y))

f(A)(f(x) f(y))

ii.

f(A) (f(x)f(y))

f(A) (f(x)f(y))

iii.

= f(A) f(x y)

= A(x y)

max{A(x), A(y)}

= max{ f(A) (x), f(A)(y)}

max{ f(A) (x), f(A)(y)}.

= f(A)f(xy)

= A(xy)

max {A(x), A(y)}

= max {f(A) (x), f(A)(y)}

max{ f(A) (x), f(A)(y)}.

f(A) (f(x)f(y))

= f(A)f(xy)

= A(xy)

A(y)

= f(A) (f(y))

f(A) (f(x)f(y))

f(A) (f(y))

Therefore, f(A) is a multi-fuzzy left ideal of S

3.10 Theorem

Let f be a homomorphism from a ring R onto a ring S, and let A be a multi-anti fuzzy right ideal of a

ring R with inf property. Then the anti- image, f(A) is a multi-anti fuzzy right ideal of a ring S.

Proof

Consider a ring homomorphism f : RS

Let A be a multi-anti fuzzy right ideal of R.

For all x, y R

i.

f(A)(f(x) f(y))

= f(A) f(x y)

= A(x y)

max{A(x), A(y)}

= max{ f(A) (x), f(A)(y)}

f(A)(f(x) f(y))

max{ f(A) (x), f(A)(y)}.

ii.

f(A) (f(x)f(y))

f(A) (f(x)f(y))

iii.

= f(A)f(xy)

= A(xy)

max {A(x), A(y)}

= max{ f(A) (x), f(A)(y)}

max{ f(A) (x), f(A)(y)}.

f(A) (f(x)f(y))

= f(A)f(xy)

= A(xy)

A(x)

= f(A) (f(x))

f(A) (f(x)f(y))

f(A) (f(x))

Therefore, f(A) is a multi-fuzzy right ideal of S

3.11 Theorem

Let f be a homomorphism from a ring R into a ring S, and let A be a multi-anti fuzzy ideal of a ring R

with inf property. Then the anti- image, f(A) is a multi-anti fuzzy ideal of a ring S.

DOI: 10.9790/5728-11648394

www.iosrjournals.org

91 | Page

Homomorphism and Anti-homomorphism of Multi-Fuzzy Ideal and Multi-Anti Fuzzy Ideal of a Ring

Proof

It is clear.

3.12Theorem

Let f be an anti- homomorphism from a ring R into a ring S, and let B be a multi-anti fuzzy left ideal of

S. Then the anti pre-image, f-1(B) is a multi-fuzzy right ideal of R.

Proof

Consider a ring anti-homomorphism f : RS

Let B be a multi-anti fuzzy left ideal of S.

For all x, y R

i.

f-1(B)(x y)

= Bf(x y)

= B(f(y) f(x))

max{Bf(y),Bf(x)}

= max{f-1(B)(y),f-1(B)(x)}

= max{f-1(B)(x),f-1(B)(y)}

-1

f (B)(x y)

max{f-1(B)(x),f-1(B)(y)}.

f-1(B)(xy)

ii.

f-1(B)(xy)

= B(f(xy))

= B(f(y)f(x))

max {Bf(y),Bf(x)}

= max{f-1(B)(y),f-1(B)(x)}

max{f-1(B)(y),f-1(B)(x)}.

f-1(B)(xy)

iii.

= B f(xy)

= B(f(y)f(x))

B(f(x))

= f-1(B)(x))

-1

f (B)(xy)

f-1(B)(x))

-1

Therefore, f (B) is a multi-fuzzy right ideal of R.

3.13 Theorem

Let f be an anti- homomorphism from a ring R into a ring S, and let B be a multi-anti fuzzy right ideal

of S. Then the anti pre-image, f-1(B) is a multi-fuzzy left ideal of R.

Proof

Consider a ring anti-homomorphism f : RS

Let B be a multi-anti fuzzy right ideal of S.

For all x, y R

f-1(B)(x y)

i.

f-1(B)(x y)

f-1(B)(xy)

ii.

f-1(B)(xy)

f-1(B)(xy)

iii.

f-1(B)(xy)

= Bf(x y)

= B(f(y) f(x))

max{Bf(y),Bf(x)}

= max{f-1(B)(y),f-1(B)(x)}

= max{f-1(B)(x),f-1(B)(y)}

max{f-1(B)(x),f-1(B)(y)}.

= B(f(xy))

= B(f(y)f(x))

max {Bf(y),Bf(x)}

= max{f-1(B)(y),f-1(B)(x)}

= max{f-1(B)(x),f-1(B)(y)}

max{f-1(B)(x),f-1(B)(y)}.

= B f(xy)

= B(f(y)f(x))

B(f(y))

= f-1(B)(y))

f-1(B)(y))

-1

DOI: 10.9790/5728-11648394

www.iosrjournals.org

92 | Page

Homomorphism and Anti-homomorphism of Multi-Fuzzy Ideal and Multi-Anti Fuzzy Ideal of a Ring

3.14 Theorem

Let f be an anti- homomorphism from a ring R into a ring S, and let B be a multi-anti fuzzy left (right)

ideal of S. Then the anti pre-image, f-1(B) is a multi-fuzzy right (left) ideal of a ring R.

Proof

It is clear.

3.15Theorem

Let f be an anti-homomorphism from a ring R onto a ring S, and let A be a multi-anti fuzzy left ideal of

a ring R with inf property. Then the anti- image, f(A) is a multi- anti fuzzy right ideal of a ring S.

Proof

Consider a ring anti-homomorphism f : RS

Let A be a multi- anti fuzzy left ideal of R.

For all x, y R

i.

f(A)(f(x) f(y))

f(A)(f(x) f(y))

ii.

f(A) (f(x)f(y))

f(A) (f(x)f(y))

iii.

f(A) (f(x)f(y))

f(A) (f(x)f(y))

= f(A) f(y x)

= A(y x)

max{A(y), A(x)}

= max{ f(A) (y), f(A)(x)}

= max{ f(A) (x), f(A)(y)}

max{ f(A) (x), f(A)(y)}.

= f(A)f(y x)

= A(yx)

max {A(y), A(x)}

= max{ f(A) (y), f(A)(x)}

max{ f(A) (y), f(A)(x)}.

= f(A)f(y x)

= A(yx)

A(x)

= f(A) (f(x))

f(A) (f(x))

3.16 Theorem

Let f be an anti-homomorphism from a ring R into a ring S, and let A be a multi-anti fuzzy right ideal

of a ring R with inf property. Then the anti- image, f(A) is a multi- anti fuzzy left ideal of a ring S.

Proof

Consider a ring anti-homomorphism f: RS

Let A be a multi- anti fuzzy right ideal of R.

For all x, y R

i.

f(A)(f(x) f(y))

f(A)(f(x) f(y))

ii.

f(A) (f(x)f(y))

f(A) (f(x)f(y))

iii.

= f(A) f(y x)

= A(y x)

max{A(y), A(x)}

= max{ f(A) (y), f(A)(x)}

max{ f(A) (x), f(A)(y)}.

= f(A)f(yx)

= A(yx)

max {A(y), A(x)}

= max{ f(A) (y), f(A)(x)}

max{ f(A) (x), f(A)(y)}.

f(A) (f(x)f(y))

= f(A)f(yx)

= A(yx)

A(y)

= f(A) (f(y))

f(A) (f(x)f(y))

f(A) (f(y))

Therefore, f(A) is a multi-fuzzy left ideal of S

3.17 Theorem

Let f be an anti-homomorphism from a ring R into a ring S, and let A be a multi-anti fuzzy left(right)

ideal of a ring R with inf property. Then the anti- image, f(A) is a multi- anti fuzzy right (left) ideal of a ring S.

DOI: 10.9790/5728-11648394

www.iosrjournals.org

93 | Page

Homomorphism and Anti-homomorphism of Multi-Fuzzy Ideal and Multi-Anti Fuzzy Ideal of a Ring

Proof

It is clear.

IV.

Conclusion

In this paper, we discussed the properties of image of a multi- fuzzy ideal of a ring under

homomorphism and anti homomorphism and the properties of image of multi-anti fuzzy ideal of a ring under

homomorphism and anti homomorphism

References

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

Azam.F.A, A.A.Mamun, and F. Nasrin, Anti fuzzy ideals of a ring, Annals of Fuzzy Mathematics and Informatics, Volume 5, No.2,

pp 349 360, March 2013.

Biswas.R., fuzzy subgroups and Anti-fuzzy subgoups, Fuzzy sets and Systems, 5, 121 124, 1990.

Bingxue. Y, Fuzzy semi-ideal and generalized fuzzy quotient ring, Iranian Journal of Fuzzy Systems, Vol. 5, pp 87 - 92 , 2008.

Gouguen J.A., L- fuzzy sets, Journal of Mathematics Analysis and Applications, 18, 145 - 174, 1967.

Kumbhojkar.H.V. and Bapat.M.S, Correspondence theorem for fuzzy ideals, Fuzzy Sets and System, 41, 213-219, 1991.

Malik.D.S and John N. Moderson, Fuzzy Prime Ideals of a Ring, Fuzzy Sets and System 37, 93-98, 1990.

Moderson L.N and D.S. Malik, Fuzzy Commutative Algebra, World Scientific, Singapore, 1998.

Muthuraj. R and Balamurugan. S, Multi-fuzzy group and its level subgroups, Gen.Math.Notes, Vol. 17, No. 1, July 2013, pp 74

81.

Muthuraj. R and Malarselvi. C, Multi-Fuzzy Prime Ideal of a Ring, Discovery, Volume 21, No. 65, July 1, 2014.

Muthuraj. R and Malarselvi. C, Multi-anti Fuzzy Ideal of a Ring, Proceedings of the National Converence on Mathematical

Modellig, 114 120, 2014. ISBN 938065744-7

Rosenfeld, A, Fuzzy groups, Journal of Mathematical Analysis and applications, 35 , 512 517, 1971.

Sabu Sebastian and T.V. Ramakrishnan, Multi-Fuzzy Sets, International Mathematical Forum, 5, no. 50, 2471-2476, 2010.

Sabu Sebastian and T.V. Ramakrishnan, Multi-Fuzzy Topology, International Journal of Applied Mathematics Volume 24,No.1,

117-129, 2011.

Souriar Sebastian, Mercy K.Jacob and V.M Mary and Divya Mary Daise, On Fuzzy Ideals and Rings, J. Comp. & Math. Sci

Vol.3(1), 115-120, 2012

Zadeh.L.A, Fuzzy sets, Information and Control 8, 338-353, 1965.

DOI: 10.9790/5728-11648394

www.iosrjournals.org

94 | Page

- mathgen-1636231130Uploaded byPorter Howland
- MathUploaded byCalvin Cobain
- B.sc. Prog.-physical Sciences Applied Physical SciencesUploaded byaman saxena
- 1710.06783Uploaded byspx2
- Homo Morph IsmsUploaded bygkathuria97
- mathgen-1476260837Uploaded byimaowlkz
- ON THE EXISTENCE OF STABLE RINGSUploaded byGath
- Basic MathematicsUploaded byMotaqi
- 17 Field of FractionsUploaded byteesri_aankh
- mathgen-1629157371Uploaded byimaowlkz
- 0301944 Number Theory Lecture Notes(2)Uploaded byAbu Bashar Alkam
- SMARANDACHE PSEUDO- IDEALSUploaded byMia Amalia
- Power System Stabilizer Using Fuzzy LogicUploaded byVamshi Doneparthi
- mathgen-1357109914Uploaded byRodrigo San Jose
- Ring Homomorphisms and i So Morphis MsUploaded byNurul Faridhatul Aini
- g8m6l3- graphing stories and increasing and decreasing functions 2Uploaded byapi-276774049
- Tugas Kriptografi Ch_04 Mathematics 2Uploaded byAdya Zizwan Putra Nasution
- MATH 115: Lecture III NotesUploaded byDylan C. Beck
- g8m6l3- graphing stories and increasing and decreasing functionsUploaded byapi-276774049
- Uniqueness in Formal Group TheoryUploaded byGath
- Linear Existence for Measurable, ComplexIsometriesUploaded byton nuttapong
- M.SC._MATHSUploaded byRavi Sekhar
- AlgebraUploaded byEpic Win
- Annihilators.dviUploaded byverdos
- Fuzzy Abel Grassmann Groupoids, second updated and enlarged versionUploaded byAnonymous 0U9j6BLllB
- Tesid Eliptic Curve - Mugino SakiUploaded byDagadul Adi
- extensao 5Uploaded byRodrigo Santana
- GaloisUploaded byNicolas Peña
- Galois TheoryUploaded byCarolina Torres Lozano Ψ
- functionseverydaysituationsUploaded byapi-286313605

- An Evaluation of Lowell’s Poem “The Quaker Graveyard in Nantucket” As a Pastoral ElegyUploaded byInternational Organization of Scientific Research (IOSR)
- A Review of Rural Local Government System in Zimbabwe from 1980 To 2014Uploaded byInternational Organization of Scientific Research (IOSR)
- k 020256672Uploaded byIOSRjournal
- Socio-Ethical Impact of Turkish Dramas on Educated Females of Gujranwala-PakistanUploaded byInternational Organization of Scientific Research (IOSR)
- Attitude and perceptions of university students in Zimbabwe towards homosexualityUploaded byInternational Organization of Scientific Research (IOSR)
- Investigation of unbelief and faith in the Islam according to the statement, Mr. Ahmed MoftizadehUploaded byInternational Organization of Scientific Research (IOSR)
- “I am not gay says a gay Christian.” A qualitative study on beliefs and prejudices of Christians towards homosexuality in ZimbabweUploaded byInternational Organization of Scientific Research (IOSR)
- A Proposed Framework on Working with Parents of Children with Special Needs in SingaporeUploaded byInternational Organization of Scientific Research (IOSR)
- Topic: Using Wiki to Improve Students’ Academic Writing in English Collaboratively: A Case Study on Undergraduate Students in BangladeshUploaded byInternational Organization of Scientific Research (IOSR)
- Assessment of the Implementation of Federal Character In Nigeria.Uploaded byInternational Organization of Scientific Research (IOSR)
- Relationship between Social Support and Self-Esteem of Adolescent GirlsUploaded byInternational Organization of Scientific Research (IOSR)
- The Role of Extrovert and Introvert Personality in Second Language AcquisitionUploaded byInternational Organization of Scientific Research (IOSR)
- Importance of Mass Media in Communicating Health Messages: An AnalysisUploaded byInternational Organization of Scientific Research (IOSR)
- The Impact of Technologies on Society: A ReviewUploaded byInternational Organization of Scientific Research (IOSR)
- Edward Albee and His Mother Characters: An Analysis of Selected PlaysUploaded byInternational Organization of Scientific Research (IOSR)
- Transforming People’s Livelihoods Through Land Reform In A1 Resettlement Areas In Goromonzi District In ZimbabweUploaded byInternational Organization of Scientific Research (IOSR)
- Classical Malay’s Anthropomorphemic Metaphors in Essay of Hikajat AbdullahUploaded byInternational Organization of Scientific Research (IOSR)
- Substance Use and Abuse among Offenders under Probation Supervision in Limuru Probation Station, KenyaUploaded byInternational Organization of Scientific Research (IOSR)
- Women Empowerment through Open and Distance Learning In ZimbabweUploaded byInternational Organization of Scientific Research (IOSR)
- An Exploration on the Relationship among Learners' Autonomy, Language Learning Strategies and Big-Five Personality TraitsUploaded byInternational Organization of Scientific Research (IOSR)
- Beowulf: A Folktale and History of Anglo-Saxon Life and CivilizationUploaded byInternational Organization of Scientific Research (IOSR)
- Human Rights and Dalits: Different Strands in the DiscourseUploaded byInternational Organization of Scientific Research (IOSR)
- i 020245357Uploaded byIOSRjournal
- Kinesics, Haptics and Proxemics: Aspects of Non -Verbal CommunicationUploaded byInternational Organization of Scientific Research (IOSR)
- Micro finance and Women- A case study of villages around Alibaug, District-Raigad, Maharashtra, IndiaUploaded byInternational Organization of Scientific Research (IOSR)
- A Study on the Television Programmes Popularity among Chennai Urban WomenUploaded byInternational Organization of Scientific Research (IOSR)
- Role of Madarsa Education in Empowerment of Muslims in IndiaUploaded byInternational Organization of Scientific Research (IOSR)
- The Lute against Doping In SportUploaded byInternational Organization of Scientific Research (IOSR)
- Design Management, A Business Tools’ Package Of Corporate Organizations: Bangladesh ContextUploaded byInternational Organization of Scientific Research (IOSR)
- Motivational Factors Influencing Littering In Harare’s Central Business District (CBD), ZimbabweUploaded byInternational Organization of Scientific Research (IOSR)

- Math 584 Section 48 ExercisesUploaded byHunter Patton
- Andruskiewitch, Grana - From Racks to Pointed Hopf Algebras.pdfUploaded byAdrian
- Book Shaums Group TheoryUploaded byHimraj Bachoo
- 1galoisUploaded byKarthik Dutt
- ProblemsUploaded byDhilip Prabakaran
- abstrct algebra7Uploaded byWilfrido Guerrero Palacio
- Ring of Entire FunctionsUploaded bysan_kumar@ymail.comm
- bjelkaUploaded byAnonymous gsBvioO4sC
- absalg21Uploaded byoscura
- Algebraic Structures of Neutrosophic Triplets, Neutrosophic Duplets, or Neutrosophic Multisets. Special Issue at “Symmetry” JournalUploaded byAnonymous 0U9j6BLllB
- Math121HW5Uploaded byIrving José
- Commutative AlgebraUploaded byChristopher William
- Topics in Group TheoryUploaded bySkull-Face
- A Model Theoretic Oriented Approach to Partial AlgebrasUploaded byjskrondo9951
- DownloadUploaded byRamchandra Murthy
- ch02Uploaded byngjika
- algebra 2Uploaded byBrenda Umanzor Alvarez
- AdditionalGroupTheory.pdfUploaded bySkull-Face
- 10.1.1.135Uploaded byOlivier Schwimmer
- ma4203-problem4Uploaded byjiashengrox
- Axioms for IntegersUploaded byherari29
- solution set 1 albstract algebraUploaded bycake
- MIT18_703S13_pra_l_21Uploaded byraw.junk
- Foot Dummit 1) 1.1(9b, 22, 25, 31) & 1.2(16) & 1.3(19, 20) & 1.4(8) & 1.5(1) & 1.6(4, 9, 17, 20, 24, 26) & 1.7(18, 19, 20, 23)Uploaded byMathMan22
- EtaleUploaded byVikas Srivastava
- Math BasicsUploaded byAnanya Vastav
- eca5.pdfUploaded byTrần Lê Quyền
- Abstract Algebra-Applications to Galois Theory Algebraic Geometry & Cryptography-Carstensen Fine & RosenbergerUploaded byxaver law
- Geometrical methods of mathematical physicsUploaded byIgnacio López de Arbina
- Isomor Phism Theorammit18 703s13 Pra l 10Uploaded byTushar Sisodia