DOI QR코드

DOI QR Code

ROUGH ANTI-FUZZY SUBRINGS AND THEIR PROPERTIES

  • ISAAC, PAUL (Department of Mathematics, Bharata Mata College Thrikkakara) ;
  • NEELIMA, C.A. (Department of Mathematics, Bharata Mata College Thrikkakara)
  • 투고 : 2014.07.03
  • 심사 : 2015.01.30
  • 발행 : 2015.05.30

초록

In this paper, we shall introduce the concept of rough antifuzzy subring and prove some theorems in this context. We have, if µ is an anti-fuzzy subring, then µ is a rough anti-fuzzy subring. Also we give some properties of homomorphism and anti-homomorphism on rough anti-fuzzy subring.

키워드

1. Introduction

The fuzzy set introduced by L.A. Zadeh in 1965 and the rough set introduced by Z. Pawlak in 1982 are generalisations of the classical set theory. Both these set theories are new mathematical tool to deal the uncertain, vague and imprecise data. In Zadeh’s fuzzy set theory, the degree of membership of elements of a set plays the key role, whereas in Pawlak’s rough set theory, equivalence classes of a set are the building blocks for the upper and lower approximations of the set, in which a subset of universe is approximated by the pair of ordinary sets, called upper and lower approximations. Combining the theory of rough set with abstract algebra is one of the trends in the theory of rough set. Some authors studied the concept of rough algebraic structures. On the other hand, some authors substituted an algebraic structure for the universal set and studied the roughness in algebraic structure. Biswas and Nanda introduced the notion of rough subgroups. The concept of rough ideal in a semigroup was introduced by Kuroki. And then B. Davvaz studied relationship between rough sets and ring theory and considered ring as a universal set and introduced the notion of rough ideals of a rings in [4]. A further study of this work is done by Osman Kazanci and B Davaaz in [8]. Extensive researches has also been carried out to compare the theory of rough sets with other theories of uncertainty such as fuzzy sets and conditional events. There have been many papers studying the connections and differences of fuzzy set theory and rough set theory. Dubois and Prade were one of the first who combined fuzzy sets and rough sets in a fruitful way by defining rough fuzzy sets and fuzzy rough sets.

This paper deals with a relationship between rough sets, fuzzy sets and ring theory. In section 2, we review some basic definitions. Section 3 deals with some properties of rough anti-fuzzy subring. In section 4,we give some homomorphic properties of rough anti-fuzzy subring. Section 5 deals with anti-homomorphic properties of rough anti-fuzzy subring.

 

2. Preliminaries

Definition 2.1. Let θ be an equivalence relation on R, then θ is called a full congruence relation if

(a,b) ∈ θ implies(a + x, b + x), (ax, bx), (xa, xb) ∈ θ for all x ∈ R.

A full congruence relation θ on R is called complete if [ab] θ = [a] θ [b] θ .

Definition 2.2. Let θ be a full congruence relation on R and A a subset of R.

Then the sets

are called, respectively , the θ - lower and θ - upper approximations of the set A. θ(A) = (θ− (A) , θ− (A)) is called a rough set with respect to θ if θ− (A)≠ θ− (A)

Definition 2.3 ([9]). Let X and Y be two non-empty sets, f : X → Y , µ and σ be fuzzy subsets of X and Y respectively. Then f (µ), the image of µ under f is a fuzzy subset of Y defined by

f−1 (σ), the pre-image of σ under f is a fuzzy subset of X defined by

Definition 2.4 ([9]). For a function f : R1 → R2 , a fuzzy subset µ of a ring R1 is called f-invariant if f(x) = f(y) implies µ(x) = µ(y), x, y ∈ R1.

We say that a fuzzy subset µ of a ring R1 has the sup property if for any subset T of R1 , there exists t0 ∈ T such that µ(t0 ) = sup t∈T µ(t).

Definition 2.5. A fuzzy subset µ of a ring R is called upper rough f-invariant if θ− (µ) is f-invariant and a lower rough f-invariant if θ− (µ) is a f-invariant.

Let µ be a fuzzy subset of R and θ(µ) = (θ−(µ) , θ−(µ)) a rough fuzzy set. If θ−(µ) and θ−(µ) are f-invariant, then (θ−(µ) , θ−(µ)) is called rough f-invariant.

 

3. Rough Anti-Fuzzy Subring

As it is well known in the fuzzy set theory established by Zadeh, a fuzzy subset µ of a set R is defined as a map from R to the unit interval [0, 1].

Definition 3.1 ([8]). Let θ be an equivalence relation on R and µ a fuzzy subset of R. Then we define the fuzzy sets θ−(µ) , θ−(µ) as follows:

The fuzzy sets θ− (µ) and θ−(µ) are called , respectively the θ- lower and θ-upper approximations of the fuzzy set µ. θ(µ) = (θ−(µ) , θ−(µ)) is called a rough fuzzy set with respect to θ if θ−(µ) ≠ θ−(µ).

Definition 3.2. A fuzzy subset µ of a ring R is called a fuzzy subring of R if

for all x,y∈ R.

Definition 3.3. A fuzzy subset µ of a ring R is called an anti-fuzzy subring of R if

for all x,y∈ R.

Definition 3.4. A fuzzy subset µ of a ring R is called an upper rough fuzzy subring of R if θ−(µ) is a fuzzy subring of R and a lower rough fuzzy subring of R if θ−(µ) is a fuzzy subring of R.

Let µ be a fuzzy subset of R and θ(µ) = (θ−(µ) , θ−(µ)) a rough fuzzy set. If θ−(µ) and θ−(µ) are fuzzy subrings of R, then (θ−(µ) , θ−(µ)) is called a rough fuzzy subring.

Definition 3.5. A fuzzy subset µ of a ring R is called an upper rough anti-fuzzy subring of R if θ−(µ) is an anti-fuzzy subring of R and a lower rough anti-fuzzy subring of R if θ−(µ) is an anti-fuzzy subring of R.

Let µ be a fuzzy subset of R and θ(µ) = (θ−(µ) , θ−(µ)) a rough fuzzy set. If θ−(µ) and θ−(µ) are anti-fuzzy subrings of R, then (θ−(µ) , θ−(µ)) is called a rough anti-fuzzy subring.

Theorem 3.6. Let θ be a complete congruence relation on R. If µ is an antifuzzy subring of R, then θ−(µ) is an anti-fuzzy subring of R.

Proof. For x,y ∈ R,

Hence θ−(µ)(x − y) ≤ θ−(µ)(x) ∨ θ−(µ)(y). Also we have,

Hence θ−(µ)(xy) ≤ θ−(µ)(x) ∨ θ− (µ)(y). Therefore, θ−(µ) is an anti-fuzzy subring of R. ΋

Theorem 3.7. Let θ be a complete congruence relation on R. If µ is an antifuzzy subring of R, then θ−(µ) is an anti-fuzzy subring of R.

Proof. For x,y ∈ R,

Hence θ−(µ)(x − y) ≤ θ−(µ)(x) ∨ θ− (µ)(y). Also we have,

Hence θ−(µ)(xy) ≤ θ−(µ)(x) ∨ θ− (µ)(y). Therefore, θ−(µ) is an anti-fuzzy subring of R. ΋

Corollary 3.8. Let µ be an anti-fuzzy subring of R, then µ is a rough anti-fuzzy subring of R.

Proof. This follows from Theorems 3.6 and 3.7. ΋

Remark 3.1. From here onwards θ, θ1 and θ2 denote full congruence relations on the rings R, R1 and R2 respectively.

Definition 3.9. Let µ be a fuzzy subset of R. Then the sets µt = { x ∈ R | µ(x) ≤ t }, = { x ∈ R | µ(x) < t }, where t ∈ [0, 1] are called respectively, t-lower level subset and t-strong lower level subset of µ.

Theorem 3.10. Let µ be a fuzzy subset of R and t ∈[0, 1], then

Proof. (1) We have

(2) Also we have

Theorem 3.11. Let µ be a fuzzy subset of R. Then µ is an anti-fuzzy subring if and only if µt and are, if they are nonempty, subrings of R for every t ∈ [0, 1].

Proof. Suppose µ is an anti-fuzzy subring of R. Let x, y ∈ µt . Then µ(x) ≤ t and µ(y) ≤ t.

Since µ is an anti-fuzzy subring, we have µ(x − y) ≤ µ(x) ∨ µ(y) ≤ t. Therefore x − y ∈ µt . Also since µ(xy) ≤ µ(x) ∨ µ(y), µ(xy) ≤ t. Therefore xy ∈ µt . Hence µt is a subring of R. Similarly we can show that is also a subring of R.

Conversely, let µt be a subring of R. Let x,y ∈ R. Assume µ(x) ≤ µ(y) and µ(y) = t. Then x,y ∈ µt . Since µt is a subring, x − y ∈ µt . Hence µ(x − y) ≤ t = µ(y) = µ(x) ∨ µ(y). Thus µ(x − y) ≤ µ(x) ∨ µ(y). Again since xy ∈ µt , µ(xy) ≤ t = µ(y) = µ(x) ∨ µ(y). Hence µ(xy) ≤ µ(x) ∨ µ(y). Therefore µ is an anti-fuzzy subring of R. ΋

 

4. Homomorphism on Rough Anti-Fuzzy Subring

Definition 4.1. Let R and R′ be any two rings. Then the function f : R → R′ is said to be a homomorphism if for all x,y ∈ R

Theorem 4.2 ([8]). Let f be a homomorphism of a ring R1 onto a ring R2 and let A be a subset of R1 . Then

Theorem 4.3 ([3]). Let f be a homomorphism from ring R1 onto a ring R2 and let µ be a fuzzy subset of R1 . Then

(1) f(θ1- (µ)) = θ2-(f(µ))

(2) f(θ1−(µ)) ⊆ θ2−(f(µ)). If f is one to one, then f (θ1−(µ)) = θ2−(f(µ))

Remark 4.1. Let f be a homomorphism from ring R1 to a ring R2 and µ be a fuzzy subset of R1 . Let y ∈ ⇐⇒ f(µ)(y) < t ⇐⇒ sup f (x)=y µ(x) < t ⇐⇒ µ(x) < t ∀x such that f(x) = y ⇐⇒ x ∈ for f (x) = y ⇐⇒ y ∈ f (). Then f () =

Remark 4.2. Let f be a homomorphism (anti-homomorphism) from ring R1 onto a ring R2 , and let σ be a fuzzy subset of R2 . Then f−1(σ) is a fuzzy subset of R1. Hence by theorem 4.3, we get f(θ1−(f−1(σ)) = θ2−(f(f−1 (σ))). Further if f is one to one and onto, θ1− (f−1(σ)) = f−1(θ2−(σ)).

Theorem 4.4. Let f be an isomorphism from ring R1 onto ring R2 and let µ be a fuzzy subset of R1 . Then

(1) θ1−(µ) is an anti-fuzzy subring of R1 if and only if θ2−(f(µ)) is an anti-fuzzy subring of R2.

(2) θ1−(µ) is an anti-fuzzy subring of R1 if and only if θ2−(f(µ)) is an anti-fuzzy subring of R2.

Proof. (1) By theorem 3.11, θ1−(µ) is an anti-fuzzy subring of R1 if and only if is, if it is non-empty, a subring of R1 for every t ∈ [0, 1]. Again by theorem 3.10, we have = θ1−(). We know that θ1−() is a subring of R1 if and only if f(θ1−() is a subring of R2 . Now by theorem 4.2, f(θ1−() = θ2−f(). By remark 4.1, f() = . From this and theorem 3.10, we have, θ2−f () = θ2−(f() = . By theorem 3.11, we obtain is a subring of R2 for every t ∈ [0, 1] if and only if θ2−(f(µ))is an anti-fuzzy subring of R2 .

The proof of (2) is similar to the proof of (1). ΋

Theorem 4.5.Let f be a homomorphism from a ring R1 onto a ring R2 and let σ be an upper rough anti-fuzzy subring of R2 . Then f−1(σ) is an upper rough anti-fuzzy subring of R1 .

Proof. Let σ be an upper rough anti-fuzzy subring of R2 . Then θ2−(σ) is an anti-fuzzy subring of R2 . For x,y ∈ R1 ,

Therefore, f−1(θ2−(σ))(x − y) ≤ f−1 (θ2−(σ))(x) ∨ f−1(θ2−(σ))(y). Also

Therefore f−1(θ2−(σ))(xy) ≤ f−1(θ2−(σ))(x) ∨ f−1 (θ2−(σ))(y). Thus f−1(θ2−(σ)) is an anti-fuzzy subring of R1 . By Remark 4.2, f−1(θ2−(σ)) = θ1−(f−1(σ)) is an anti-fuzzy subring of R1 . Therefore, f−1(σ) is an upper rough anti-fuzzy subring of R1 . Hence the theorem is proved. ΋

Theorem 4.6. Let f be an isomorphism from a ring R1 onto a ring R2 and let σ be a lower rough anti-fuzzy subring of R2. Then f−1(σ) is a lower rough anti-fuzzy subring of R1.

Proof. The proof is similar to that of theorem 4.5. ΋

Corollary 4.7. Isomorphic pre-image of a rough anti-fuzzy subring is a rough anti-fuzzy subring.

Proof. This follows from Theorems 4.5 and 4.6. ΋

Theorem 4.8. Let f be a homomorphism from a ring R1 onto a ring R2 and let µ be an upper rough f-invariant anti-fuzzy subring of R1 with sup property. Then f (µ) is an upper rough anti-fuzzy subring of R2.

Proof. Let µ be an upper rough anti-fuzzy subring of R1 . Then θ1−(µ) is an anti-fuzzy subring of R1. Let x0 ∈ f−1[f(x)] and y0 ∈ f−1[f(y)] be such that

For f(x), f(y) ∈ R2,

Therefore, f(θ1−(µ))(f(x) − f(y)) ≤ f(θ1−(µ))f(x) ∨ f(θ1−(µ))f(y). Also

Hence, f(θ1−(µ))(f(x)f(y)) ≤ f(θ1−(µ))f(x) ∨ f(θ1−(µ))f(y).

Therefore, f(θ1−(µ)) is an anti-fuzzy subring of R2 . By theorem 4.3, f(θ1−(µ))=θ2−(f(µ)) is an anti-fuzzy subring of R2 . Hence f(µ) is an upper rough anti-fuzzy subring of R2. This proves the theorem. ΋

Theorem 4.9. Let f be an isomorphism from a ring R1 onto a ring R2 and let µ be a lower rough f-invariant anti-fuzzy subring of R1 with sup property. Then f(µ) is a lower rough anti-fuzzy subring of R2 .

Proof. Let µ be a lower rough anti-fuzzy subring of R1 . Then θ1−(µ) is an anti-fuzzy subring of R1 . For f(x), f(y) ∈ R2,

Therefore, f(θ1−(µ))(f(x) − f(y)) ≤ f(θ1−(µ))f(x) ∨ f(θ1−(µ))f(y). Also

Hence, f(θ1−(µ))(f(x)f(y)) ≤ f(θ1−(µ))f(x) ∨ f(θ1−(µ))f(y).

Therefore, f(θ1−(µ)) is an anti-fuzzy subring of R2. By theorem 4.3, f(θ1−(µ))= θ2−(f(µ)) is an anti-fuzzy subring of R2. Hence f(µ) is a lower rough anti-fuzzy subring of R2. This proves the theorem. ΋

Corollary 4.10. Let f be an isomorphism from a ring R1 onto a ring R2 and let µ be a rough f-invariant anti-fuzzy subring of R1 with sup property. Then f(µ) is a rough anti-fuzzy subring of R2.

Proof. This follows from theorems 4.8 and 4.9. ΋

 

5. Anti-homomorphism on Rough Anti-Fuzzy Subring

Definition 5.1. Let R and R′ be any two rings. Then the function f : R → R′ is said to be an anti homomorphism if for all x,y ∈ R

Theorem 5.2 ([3]). Let f be an anti-homomorphism from a ring R1 onto a ring R2 and let µ be a fuzzy subset of R1 . Then

(1) f(θ1−(µ)) = θ2−(f(µ))

(2) f(θ1−(µ)) ⊆ θ2−(f(µ)). If f is one to one f(θ1−(µ)) = θ2−(f(µ)).

The following theorems in anti-homomorphisms can be proved in similar way as the corresponding theorems in homomorphism.

Theorem 5.3. Anti homomorphic image of an upper rough f-invariant antifuzzy subring with sup property is an upper rough anti-fuzzy subring.

Theorem 5.4. Anti isomorphic image of a lower rough f-invariant anti-fuzzy subring with sup property is a lower rough anti-fuzzy subring.

Corollary 5.5. Anti isomorphic image of a rough f-invariant anti-fuzzy subring with sup property is a rough anti-fuzzy subring.

Theorem 5.6. Anti homomorphic pre-image of an upper rough anti-fuzzy subring is an upper rough anti-fuzzy subring.

Theorem 5.7. Anti isomorphic pre-image of a lower rough anti-fuzzy subring is a lower rough anti-fuzzy subring.

Theorem 5.8. Anti isomorphic pre-image of a rough anti-fuzzy subring is a rough anti-fuzzy subring.

 

6. Conclusion

In this paper, we have shown that the theory of rough sets can be extended to rings. We discussed the concept of rough anti-fuzzy subring. Also, we discussed homomorphic and anti-homomorphic properties of rough anti-fuzzy subrings. In a similar fashion the theory of rough sets can be extended to other topics in ring theory.

참고문헌

  1. R. Biswas and S. Nanda, Rough groups and rough subgroups, Bull. Polish Acad. Sci. Math., 42 (1994), 251–254.
  2. Neelima C.A. and Paul Isaac, Rough semi prime ideals and rough bi-ideals in rings, Int. J. Math. Sci. Appl., 4 (2014), 29–36.
  3. Neelima C.A and Paul Isaac, Anti-homomorphism on Rough Prime Fuzzy Ideals and Rough Primary Fuzzy Ideals, Ann.Fuzzy Math.Inform., 8 (2014), 549=-559.
  4. B. Davvaz Roughness in rings, Inform. Sci., 164 (2004), 147–163. https://doi.org/10.1016/j.ins.2003.10.001
  5. D. Dubois and H. Prade, Rough fuzzy sets and fuzzy rough sets, Int. J. Gen. Syst., 17 (1990), 191–209. https://doi.org/10.1080/03081079008935107
  6. Nobuaki Kuroki, Rough ideals in semigroups, Inform. Sci., 100 (1997), 139-163. https://doi.org/10.1016/S0020-0255(96)00274-5
  7. Paul Isaac and Neelima C.A, Anti-homomorphism on Rough Prime Ideals and Rough Primary ideals Advances in Theoretical and Applied Mathematics, 9 (2014), 1–9.
  8. Osman Kazanci and B. Davvaz, On the structure of rough prime (primary) ideals and rough fuzzy prime (primary) ideals in commutative rings, Inform. Sci., 178 (2008), 1343–1354. https://doi.org/10.1016/j.ins.2007.10.005
  9. J.N. Mordeson and D.S. Malik, Fuzzy Commutative Algebra, World Scientific (1998), ISBN 981-02-3628-X.
  10. Z. Pawlak, Rough sets Int. J. Inform. Comput. Sci., 11 (1982), 341-356. https://doi.org/10.1007/BF01001956
  11. Tariq Shah, Mohammad Saeed, On Fuzzy ideals in rings and Anti-homomorphism, Int. Math. Forum., 7 (2012), 753-759.
  12. L.A. Zadeh, Fuzzy sets, Inform. Control, 8 (1965), 338–353. https://doi.org/10.1016/S0019-9958(65)90241-X