Home Mathematics Rough semigroups and rough fuzzy semigroups based on fuzzy ideals
Article Open Access

Rough semigroups and rough fuzzy semigroups based on fuzzy ideals

  • Qiumei Wang and Jianming Zhan EMAIL logo
Published/Copyright: December 30, 2016

Abstract

In this paper, we firstly introduce a special congruence relation U(μ, t) induced by a fuzzy ideal μ in a semigroup S. Then we define the lower and upper approximations based on a fuzzy ideal in semigroups. We can establish rough semigroups, rough ideals, rough prime ideals, rough fuzzy semigroups, rough fuzzy ideals and rough fuzzy prime ideals according to the definitions of rough sets and rough fuzzy sets. Furthermore, we shall consider the relationships among semigroups and rough semigroups, fuzzy semigroups and rough fuzzy semigroups, and some relative properties are also discussed.

MSC 2010: 20N20; 16Y99

1 Introduction

In 1965, the notion of fuzzy sets was introduced by Zadeh [1] and he gave the way to study uncertainty problems. Thereafter, the theory has developed quickly and has been applied in many areas of our real world. Up to now, fuzzy mathematics has remained an important branch of mathematics. Meanwhile, in the early 20th century, some researchers began to research semigroups formally. Since 1950, the investigations of finite semigroups have become rather important in theoretical computer science because there are natural relations between finite semigroups and finite automatons. With the fuzzy mathematics being deeply studied, fuzzy algebras were also investigated. The study of fuzzy algebras is also one of the most important directions in fuzzy mathematics. In particular, a great number of studies on fuzzy groups and fuzzy semigroups were performed. It should be pointed out that the studies on fuzzy semigroups are deeply influencing the development of fuzzy theory. In recent years, a large number of fuzzy algebras have been developed by some scholars, for instances see [24]. Especially, Davvaz [5], Dudek [6] and Zhan [7] applied fuzzy theory to n-ary semigroups. Recently, Zhan [8, 9] studied some types of fuzzy k-ideals and fuzzy h-ideals of hemirings, respectively.

In 1982, Pawlak [10] firstly developed a rough set theory. It is rather important to deal with inexact, uncertain, or vague situations. More and more researchers have been attracted to study rough sets and their applications. While mentioning rough sets, we can not neglect the lower and upper approximations. In Pawlak rough sets, the equivalent relations are essential to construct the lower and upper approximations. To deal with imperfect data, rough set theory is a powerful theory [11]. In recent years, Bonikowaski [12], Iwinski [13], and Pomykala [14] have studied algebraic properties of rough sets. The notion of rough subgroups was introduced by Biswas and Nanda [15]. Then, Kuroki [16] put up the notion of rough ideals in semigroups. Also, in [17], Jun investigated the roughness of Γ-subsemigroups and ideals in Γ-semigroups. The notions of rough prime ideals and rough fuzzy prime ideals in semigroups were introduced in [18].

It is obvious that congruence relations in rough sets are rather important. In Pawlak rough sets, congruence relations are necessary in the constructions of the lower and upper approximations. Therefore, if we try to investigate the rough sets, we should define a congruence relation. In recent years, some researchers try to find something to serve as a congruence relation in some algebraic structures. For examples, Kuroki and Wang [19] made use of a normal subgroup of groups as a congruence relation to discuss the properties of the lower and upper approximations. In [20], Davvaz proved that an ideal of rings could be regarded as a congruence relation. Further, Davvaz studied rough subrings and rough ideals in rings. Especially, in [21] Davvaz constructed the t-level relation based on a fuzzy ideal μ and he proved that U(μ; t) is a congruence relation in rings.

Based on the above idea, in this paper we will study the properties of rough subsemigroups and rough fuzzy subsemigroups of semigroups. We construct the t-level relation U(μ; t) of a fuzzy ideal μ of semigroups and prove that U(μ; t) is a congruence relation. We divide this paper into four parts. In section 2, we recall some basic results. In section 3, based on this congruence relation, we construct rough subsemigroup and rough (prime) ideals of semigroups. Some examples are also presented. Finally, we investigate rough fuzzy semigroups of semigroups based on this congruence relation in section 4.

2 Preliminaries

In this section we will recall some basic definitions that can be used in this paper.

Definition 2.1

A semigroup S is a nonempty set with a binary operation “*” such that

  1. a * bS, for all a, bS.

  2. (a * b)*c = a*(b * c), for all a, b, cS.

Definition 2.2

([18]). Let S be a semigroup, a subset A of S is called a subsemigroup of S if A is closed under “*” and SAA(ASA); If A is not only a left ideal but also is a right ideal, it is a bi-ideal; A is called a prime ideal if A is ideal, and if a * bA, we can get aA or b ∈ A, for all a, bA.

Definition 2.3

([18]). A fuzzy set μ of S is called a fuzzy subsemigroup of S if it satisfies μ(x * y) ≥ μ(x)∧ μ(y); μis called a fuzzy let (right) ideal if it satisfies (1) μ(x * y) ≥ μ(x)∧ μ(y)(2)μ(x * y) ≥ μ(y)(μ(x * y) ≥ μ(x)), for all x, yS; μ is called a fuzzy ideal if it is not only a fuzzy let ideal but also is a fuzzy right ideal; μ is called a fuzzy prime ideal if μ(x * y) = μ(x)orμ(x * y) = μ(y) ,for all x,yS.

Definition 2.4

([3]). Let R be an equivalence relation in a set A, if R is a binary relation and it satisfies

  1. Reflexive:for any aA,(a, a) ∈ R.

  2. Symmetry:for all a,bA,(a, b) ∈ R, then (b, a) ∈ R.

  3. Transitivity:for all a, b, cA,(a, b) ∈ R,(b, c) ∈ R, then (a, c) ∈ R.

An equivalence relation R is called a congruence relation if (a, b) ∈ R, then (ax, bx) ∈ Rand (xa, xb) ∈ R, for all xA.

3 Rough semigroups based on fuzzy ideals

In the section, we introduce a new congruence relation of semigroups. Referring to [18], we study rough semigroups and, at the same time, we provide some examples. Throughout this paper, S is a semigroup.

Definition 3.1

Let μ be a fuzzy ideal of S. For each t ∈ [0, μ(0)], the set U(μ, t) = {(x, y) ∈ × S|(μ(x) ∧ μ(y)) ∨ I dS(x, y) ≥ t} is called a t-level relation of μ.

For I ds(x, y), we know x = y, then I ds(x, y) = 1; xy, then I ds(x, y) = 0. Next, we prove U(μ, t)is a congruence relation.

Lemma 3.2

Let μ be a fuzzy ideal of S and t ∈ [0, μ(0)].Then U(μ, t) is a congruence relation on S.

First of all, we show U(μ, t) is an equivalence relation.

  1. Reflexive: For any element xS. (μ(x)∧ μ(x))∨ I ds(x, x) = I ds(x, x) = 1 ≥ t.

  2. Symmetry: Obviously, U(μ, t) is symmetric.

  3. Transitivity: Let (x, y) ∈ U(μ, t) and (y, z) ∈ U(μ, t), and then we have (μ(x) ∧ μ(y)) ∨ I ds(x, y) ≥ t,(μ (y) ∧ μ (z))∨ I ds(y, z) ≥ t. If x = y = z, it is clear that (x, z) ∈ U(μ, t); If x = yz, then μ(y, z) ≥ t and ((μ(x) ∧ μ(z))∨ I ds(x, z) = μ (x) ∧ μ(z) = μ (y) ∧ μ (z) ≥ t, therefore, (x, z) ∈ U(μ, t); if xy = z, we have μ(x) ∧ μ (y) ≥ t and (μ (x) ∧ μ(z))∨ I ds(x, z) = μ(x) ∧ μ(z) = μ (x) ∧ μ (y) ≥ t, so (x, z) ∈ U(μ, t); if xyz, then we have μ(x) ∧ μ(y) ≥ t, μ(y) ∧ μ (z) ≥ t and (μ(x) ∧ μ(z))∨ I ds(x, z) = μ (x) ∧ μ(z) ≥ μ(x) ∧ μ(y) ∧ μ(z) ≥ t, so (x, z) ∈ U(μ, t) . Conclusion, U(μ, t) is an equivalence relation.

Next, we prove that U(μ, t) is a congruence relation. For (x, y) ∈ U(μ, t), we prove (ax, ay) ∈ U(μ, t) and (xa, ya) ∈ U(μ, t) is also right. In the following, we only prove the former, the latter is the same. In other words, we only prove (μ (ax) ∧ μ(ay))∨ I ds(ax, ay) ≥ t. If ax = ay, clearly, 1 ≥ t. If axay, then xy, then

(μ(ax)μ(ay))Ids(ax,ay)=μ(ax)μ(ay)>_[μ(a)μ(x)][μ(a)μ(y)]=[μ(a)μ(a)][μ(x)μ(a)][μ(a)μ(y)][μ(x)μ(y)]>_μ(x)μ(y)>_t

Thus, U(μ, t) is a congruence relation.

For any fuzzy ideal μ of S, we know that μ(0) ≥ μ(x) and μ(0) ≤ 1, so when t ∈ [0, μ(0)], the above lemma is proper. We say x is congruent to y model μ, written xty(mod μ). If for elements x, yS, t ∈ [0,1], (μ(x) ∧ μ(y)) ∨ I ds(x, y) ≥ t, we use [x](μ,t) as the equivalence class of x. However, U(μ, t) is not a complete congruence relation. Through our research, we can obtain Lemma 3.3 as follows.

Lemma 3.3

Letμbe a fuzzy ideal ofSandt ∈ [0, 1], then [x](μ, t)[y](μ, t) ⊆ [xy](μ, t).

Proof

Let m ∈ [x](μ, t)[y](μ, t), then m = xy′, where x′ ∈ [x](μ, t) and y′ ∈ [y](μ, t). Hence μ(x, x′) ≥ t and μ(y, y′) ≥ t. Since U(μ, t) is a congruence relation in S, we have μ(xy, x′y′) ≥ t, and so xy′ ∈ [xy](μ, t). This means that m ∈ [xy](μ, t). Thus [x](μ, t)[y](μ, t) ⊆ [xy](μ, t).

Now, we give an example to prove that we can not use “=” to replace “ ⊆ ” in Lemma 3.3.

Example 3.4

LetS = {a, b, c, d} be a semigroup with the following “*” table.

*abcd
aabbd
bbbbd
cbbbd
ddddd

Assume thatμ=0.3a+0.5b+0.1c+0.8dis a fuzzy ideal of S. Heret = 0.4, then we haveU(μ; 0.4) = {(a, a),(b,b),(c,c),(d,d),(b,d)}, so we have [a](μ, 0.4) = {a}, [b](μ, 0.4) = {b, d}, [c](μ, 0.4) = {c}, [d](μ, 0.4) = {b, d}. [a](μ, 0.4)[c](μ, 0.4) = {b}. Here, a * c = b, so [a*c](μ, 0.4) = {(b, d)}. Obviously [a](μ, 0.4)[c](μ, 0.4) ⊆ [a*c](μ, 0.4).

From the above example, we see we can not write [x](μ, t)[y](μ, t) = [xy](μ, t), it is only a containment relation. However there exists special U(μ, t) such that [x](μ, t)[y](μ, t) = [xy](μ, t). So we give the definition to make U(μ, t) a complete congruence relation as follows.

Definition 3.5

U(μ, t) is called a complete congruence relation if it satisfies: for anyx, yS, [x](μ, t)[y](μ, t) = [xy](μ, t).

Example 3.6

LetS = {0, a, b, c} be a semigroup with the following “*” table.

*0abc
00abc
aaabc
bbbbc
ccccb

Assume thatμ=0.10+0.4a+0.7b+0.7cis a fuzzy ideal in S. Heret =0.7, then we haveU(μ;0.7)= {(0,0),(a, a),(b, b),(c, c),(b, c)}, so we have [0](μ,0.7)={0}, [a](μ,0.7)={a}, [b](μ,0.7)={b, c}, [c](μ,0.7)= {b, c}. Obviously we can easily checkU(μ, t) is a complete congruence relation.

Let μ be a fuzzy ideal of S and t ∈ [0, 1]. We see that U(μ, t) is a congruence relation. According to Pawlak rough sets, we can obtain the approximation space (S, μ, t), just like (U, θ) in Pawlak rough sets.

Definition 3.7

Letμbe a fuzzy ideal ofSandU(μ, t) be at-level set. ForXSandX, we define the upper and lower approximations over (S, μ, t) as follows:

U_(μ,t,X)={xS|[x](μ,t)X}andU¯(μ,t,X)={xS|[x](μ,t)X}.

  1. IfU¯(μ,t,X)(U_(μ,t,X))is a subsemigroup ofS, then we callXan upper (lower) rough subsemigroup ofS;

  2. IfU¯(μ,t,X)(U_(μ,t,X))isa (prime) ideal ofS, then we callXan upper (lower) rough (prime) ideal ofS.

Proposition 3.8

Letμbe any fuzzy ideal ofS, A andBbe any nonempty subsets ofS, then the following hold:

  1. U_(μ,t,A)AU¯(μ,t,A),

  2. U¯(μ,t,AB)U¯(μ,t,A)U¯(μ,t,B),

  3. U_(μ,t,AB)=U_(μ,t,A)U_(μ,t,B),

  4. U¯(μ,t,AB)=U¯(μ,t,A)U¯(μ,t,B),

  5. U_(μ,t,AB)U_(μ,t,A)U_(μ,t,B),

  6. AB,thenU¯(μ,t,A)U¯(μ,t,B)andU_(μ,t,A)U_(μ,t,B),

  7. μν,thenU¯(μ,t,A)U¯(ν,t,A)andU_(μ,t,A)U_(ν,t,A),

  8. U¯(μ,t,U¯(μ,t,A))=U¯(μ,t,A),

  9. U_(μ,t,U_(μ,t,A))=U_(μ,t,A),

  10. U¯(μ,t,U_(μ,t,A))=U¯(μ,t,A),

  11. U_(μ,t,U¯(μ,t,A))=U_(μ,t,A).

Proof

The proofs are trivial.

Proposition 3.9

Letμbe a fuzzy ideal ofSandt ∈ [0, 1]. IfA1andA2are nonempty subsets ofS, then

U¯(μ,t,A1)U¯(μ,t,A2)U¯(μ,t,A1A2).
Proof

Suppose that xU¯(μ,t,A1)U¯(μ,t,A2), then there exists aiU¯(μ,t,Ai)(i=1,2), and x = a1a2, so there exists xiAi(i=1,2) such that xi ∈ [ai](μ, t)Aj(i=1,2). Since U(μ, t) is a congruence relation, we have x1x2 ∈ [a1a2](μ, t), x1x2A1A2 . So we have x1x2[a1a2](μ,t)A1A2,sox=x1x2U¯(μ,t,A1A2).

Hence, U¯(μ,t,A1)U¯(μ,t,A2)U¯(μ,t,A1A2).

Next, we give an example to prove that the converse of containment in Proposition 3.9 does not hold.

Example 3.10

Consider the subsets {a} and {c} ofSas in Example 3.4. We haveU¯(μ,0.4,a)U¯(μ,0.4,c)=ac=b. HoweverU¯(μ,0.4,ac)={b.d}.This shows that the converse of containment in Proposition 3.9 does not hold.

Proposition 3.11

Let U(μ, t) be a complete congruence relation on S. IfA1A2are non-empty subsets ofS, then we haveU_(μ,t,A1)U_(μ,t,A2)U_(μ,t,A1A2).

Proof

Suppose that xU_(μ,t,A1)U_(μ,t,A2), then there exists aiaiU_(μ,t,Ai)(i=1,2) such that x = a1a2, and because [ai](μ, t)Ai(i = 1,2). Since U(μ, t) is a complete congruence relation, we have [a1](μ, t)[a2](μ, t)=[a1a2](μ,t)A1A2, and so x =a1a2x=a1a2U_(μ,t,A1A2).

Hence, U_(μ,t,A1)U_(μ,t,A2)U_(μ,t,A1A2).

Here, we prove that if U(μ,t) is not a complete congruence relation on S, the containment in Proposition 3.11 may not be true as in the following example.

Example 3.12

Consider the subsets {b, c} and {b, cofSin Example 3.4. We haveU_(μ,0.4,{a,c})U_(μ,0.4,{a,c})=cc=b.HoweverU_(μ,0.4,{b,c}{b,c})=U_(μ,0.4,b)=.This shows that the containment in Proposition 3.11 does not hold.

In the following, we use the above conclusions to study the properties of rough subsemigroups and rough (prime) ideals.

Theorem 3.13

Letμbe a fuzzy ideal ofSandt ∈ [0, 1], then

  1. If A is a subsemigroup ofS, A is an upper rough subsemigroup ofS;

  2. If A is an ideal ofS, A is an upper rough ideal ofS.

Proof

  1. Let A be a subsemigroup of S, we have AA ⊆ A, according to Propositions 3.8 and 3.9, we have U¯(μ,t,A)U¯(μ,t,A)U¯(μ,t,AA)U¯(μ,t,A), so we know that U¯(μ,t,A) is a subsemigroup. By Definition 3.7, we have that A is an upper rough subsemigroup of S.

  2. Let A be an ideal of S, then SAS ⊆ A. By Proposition 3.9, we have U¯(μ,t,S)U¯(μ,t,A)U¯(μ,t,S)U¯(μ,t,SAS)U¯(μ,t,A),soU¯(μ,t,A) is an ideal of S. Therefore, according to Definition 3.7, we have that A is an upper rough ideal of S.

Remark 3.14

The above theorem shows that the notion of an upper rough subsemigroup (ideal) is an extended notion of a usual subsemigroup (ideal) of a semigroup. The following example shows that the converse of Theorem 3.13 does not hold in general.

Example 3.15

Consider the subset {c, d} as in Example 3.4. We haveU¯(μ,0.4,{c,d})={b,c,d},here{b,c,d}is a subsemigroup, soU¯(μ,0.4,{c,d})is an upper rough subsemigroup, but {c, d} is not a subsemigroup.

Proposition 3.16

Let U(μ, t) be a complete congruence relation onS, then

  1. If A is a subsemigroup ofS, A is a lower rough subsemigroup ofS;

  2. If A is an ideal ofS, A is a lower rough ideal ofS.

Proof

It is similar to the proof of Theorem 3.13. The following example shows that even if A is not a subsemigroup of S, then U_(μ,t,A) may be a subsemigroup of S when U(μ, t) is complete congruence relation on S.

Example 3.17

Consider the semigroupSand the congruence class as in Example 3.6. ThenA = {0, a, c} is not a subsemigroup ofSbutU_(μ,t,A)={0,a}is a subsemigroup ofS.

Lemma 3.18

Letμbe a fuzzy ideal ofSandt ∈ [0, 1]. Then [0](μ,t)is an ideal ofS.

Proof

For all x1, x2S and a ∈ [0](μ, t), then we have x1ax2 ∈ [x1](μ, t)[0](μ, t)[x2](μ, t) ⊆ [x1}0x2](μ, t)= [0](μ, t). This means x1ax2 ∈ [0](μ, t). Hence [0](μ, t) is an ideal of S.

Proposition 3.19

Let μ be a fuzzy ideal of S andt[0,μ(0)].ThenU_(μ,t,[0](μ,t))=[0](μ,t).

By Proposition 3.8, we have U_(μ,t,[0](μ,t))[0](μ,t). Now, we show that [0](μ,t)U_(μ,t,[0](μ,t)).

For every x∈[0](μt), then(0, x) ∈U(μ,t). Lety ∈[x](μ, t), then (x,y)U(μ,t) . Since U(μ,t) is acongruence relation, we have (0, y)∈ U(μ,t), this implies y[0]μ,t) Hence [x](μ,t)[0](μ,t). This means xU_(μ,t,[0](μ,t)). Therefore U_(μ,t,[0](μ,t))=[0](μ,t).

Corollary 3.20

Let μ be a fuzzy ideal of S andt[0,μ(0)].then [0](μ,t)is a lower rough ideal of S.

Proposition 3.21

Let μ be a fuzzy ideal of S and t ∈ [0, μ(0)].Then μt=[0](μ,t).

For all xμt, then μ(x)t and μ(0)≥μ(x)t. So (μ(x)∧μ(0))∨ IdS(x,0)≥μ(x)μ(0)∧t, by Definition 3.1, we have (x,O)∈ U(μ,t). It implies x ∈[0](μ,t). This means μt[0](μ,t).

On the other hand, for all x ∈ [0]μ,t), then (x,O)∈ U(μ, t) and(μ x)∧μ(0))∨ IdS(x,0)≥t. If x = 0μ(x) = μ(0) ≥ t is obvious, so xμt, it implies [0](μ,t)μt. If x ≠ 0, then μ(x)∧ μ(0)≥ t, μ(x) ≥ t, this means xμt. Hence [0](μ, t)μt. Therefore μt = [0](μ,t).

Theorem 3.22

Let U(μ, t) be a complete congruence relation on S. If A is a prime ideal of S, thenU_(μ,t,A)is a prime ideal of S ifU_(μ,t,A).

Since A is an ideal of S, by Proposition 3.16, we know that U_(μ,t,A) is an ideal of S. Let x1,x2U_(μ,t,A) for some x1, x2S, then we have [x1](μ,t)[x2](μ,t) ⊆ [x1x2](μ,t)A.We suppose that U_(μ,t,A) is not a prime ideal, then there exist x1, x2S such that x1x2U_(μ,t,A)butx1U_(μ,t,A),x2U_(μ,t,A). Thus [x1](μ,t)A,[x2](μ,t)A, then exist x1[x1](μ,t),x1A,x2[x2](μ,t),x2A.Thusx1x2 [x1](μ, t)[x2](μ, t)⊆ A. Since A is a prime ideal of S, we have xiA for some 1 ≤ i ≤ 2. It contradicts with the supposition. Hence U_(μ,t,A) is a prime ideal of S.

Theorem 3.23

Let U(μ, t) be a complete congruence relation on S. If A is a prime ideal of S, then A is an upper rough prime ideal of S.

Since A is aprime ideal of S, by Theorem 3.13, we know that U¯(μ,t,A) is an ideal of S. Let x1x2U¯(μ,t,A) for some x1, x2∈ S, then we have [x1x2](μ, t)A = [x1](μ, t)[x2](μ, t)A ≠ 0. So there exist x1[x1](μ,t),x2[x2](μ,t)such thatx1x2A. Since A is a prime ideal, we have xiA for some 1 ≤ i ≤ 2. Thus [xi](μ,t)A,and soxiU¯(μ,t,A)and soU¯(μ,t,A) is aprime ideal of S. This means that A is an upper rough prime ideal of S.

4 Rough fuzzy semigroups based on fuzzy ideals

In Section 3, we discuss rough semigroups and their properties of semigroups. Now, in this section, we introduce roughness of fuzzy semigroups based on a fuzzy ideal of semigroups. First of all, we give the definition of rough fuzzy semigroups of semigroups. Here, we also use U(μ, t) as a congruence relation.

Definition 4.1

LetU(μ, t) be a complete congruence relation on S and β be a fuzzy subset of S, we can define a new approximation space (μ,t,β) and the lower and upper approximations of β, respectively

U¯(μ,t,β)={β(y)|y[x](μ,t,)}andU_(μ,t,β)={β(y)|y[x](μ,t)}.
  1. ifU¯(μ,t,β)(U_(μ,t,β))is a fuzzy subsemigroup of S, then we call β an upper (lower) rough fuzzy subsemigroup of S;

  2. ifU¯(μ,t,β)(U_(μ,t,β))is a fuzzy left (right, two-sided) ideal of S, then we call β an upper (lower) rough fuzzyleft (right, two-sided) ideal of S.

Proposition 4.2

Let μ be any fuzzy ideal of S and β and γ be any two fuzzy subsets, then

  1. U_(μ,t,β)βU¯(μ,t,β),
  2. U¯(μ,t,βγ)U¯(μ,t,β)U¯(μ,t,γ),
  3. U_(μ,t,βγ)=U_(μ,t,β)U_(μ,t,γ),
  4. U¯(μ,t,βγ)=U¯(μ,t,β)U¯(μ,t,γ),
  5. U_(μ,t,βγ)U_(μ,t,β)U_(μ,t,γ),
  6. βγ,thenU¯(μ,t,β)U¯(μ,t,γ)andU_(μ,t,β)U_(μ,t,γ),
  7. U¯(μ,t,U¯(μ,t,β))=U¯(μ,t,β),
  8. U_(μ,t,U_(μ,t,β))=U_(μ,t,β),
  9. U¯(μ,t,U_(μ,t,β))=U¯(μ,t,β),
  10. U_(μ,t,U¯(μ,t,β))=U_(μ,t,β),
  11. U¯(μ,t,βα)=U¯(μ,t,β)α,
  12. U_(μ,t,βα)=U_(μ,t,β)α,
  13. U¯(μ,t,βα¯)=U¯(μ,t,β)α¯,
  14. U_(μ,t,βα¯)=U_(μ,t,β)α¯.

Here we only prove that (12) and (13) hold and others are trivial.

xU_(μ,t,β)αU_(μ,t,β)(x)>_α{β(y)|y[x](μ,t)}>_αy[x](μ,t),

then

β(y)>_αy[x](μ,t),Yβα[x](μ,t)βαxU_(μ,t,βα).
xU¯(μ,t,β)αU¯(μ,t,β)(x)>_α{β(y)|y[x](μ,t)}>_α

there exists y ∈[x](μ,t), and β(y)≥ α and there exists y ∈ [x](μ,t), and yβαxU¯(μ,t,βα¯).

Theorem 4.3

Let μ be a fuzzy ideal of S and t[0, 1], then

  1. If β is a fuzzy subsemigroup of S, β is an upper rough fuzzy subsemigroup of S;

  2. If β is a fuzzy left (right, two-sided) ideal of S, β is an upper rough fuzzy left ( right, two-sided) ideal of S.

  1. Let β be a fuzzy subsemigroup of S, for every α[0, 1], βα is a subsemigroup of S. According to Propositions 3.9 and 4.2, we have U¯(μ,t,β)αU¯(μ,t,β)α=U¯(μ,t,βα)U¯(μ,t,βα)U¯(μ,t,βαβα)U¯(μ,t,βα)=U¯(μ,t,β)α, obviously, for any α ∈ [0, 1], U¯(μ,t,β)α is a subsemigroup of S. So U¯(μ,t,β) is a fuzzy subsemigroup of S. Thus, β is an upper rough fuzzy subsemigroup of S.

  2. If β is a fuzzy left ideal of S, for every α [0, 1], βα is a left ideal of S, that is, S · βαβα, since U¯μ,t,S=S,SU¯μ,t,βα=U¯μ,t,SU¯μ,t,βαU¯μ,t,SβαU¯μ,t,βα=U¯μ,t,Aα, so U¯(μ,t,β)α is aleft ideal of S, then U¯(μ,t,β) is a fuzzy left ideal of S. Hence β is an upper rough fuzzy left ideal of S.

From this theorem, we see that upper rough fuzzy subsemigroups (left ideals, right ideals, two-sided ideals) are the generalizations of the fuzzy subsemigroups (left ideals, right ideals, two-sided ideals).

Proposition 4.4

Let U(μ,t) be a complete congruence relation on S, then

  1. If β is a fuzzy subsemigroup of S, β is a lower rough fuzzy subsemigroup of S;

  2. If β is a fuzzy left (right, two-sided) ideal of S, β is a lower rough fuzzy left ( right, two-sided) ideal of S.

  1. Let β be a fuzzy subsemigroup of S, for every α ∈ [0, 1], βα is a subsemigroup of S. According to Propositions 3.9 and 4.2, we have U_μ,t,βαU_μ,t,βα = U_μ,t,βαU_μ,t,βαμ,t,βαβαU_μ,t,βα=U_μ,t,βα, obviously, for any α ∈ [0, 1], U¯μ,t,βα is a subsemigroup of S. So U¯μ,t,β is a fuzzy subsemigroup of S. So β is alower rough fuzzy subsemigroup of S.

  2. If β is a fuzzy left ideal of S, for every α ∈ [0, 1], βα is a left ideal of S, that is S βα ⊆ βα, since U_μ,t,S=S,SU_μ,t,Aα=U_μ,t,SU_μ,t,βαU_μ,t,SβαU_μ,t,βα=U_μ,t,βα, so U_μ,t,βα is a left ideal of s, then U_μ,t,β is afuzzy left ideal of S. Hence β is an upper rough fuzzy left ideal.

Theorem 4.5

Let U(μt) be a complete congruence relation on S. If β is a fuzzy prime ideal of S, then we have

  1. IfU_μ,t,β,βis an lower rough fuzzy prime ideal of S.

  2. IfU¯μ,t,β,βis an upper rough fuzzy prime ideal of S.

  1. Since β is a fuzzy prime ideal of S, we know βα(α ∈ [0,1]) is a prime ideal of S. By Theorem 3.22 we have U_μ,t,βα, if it is nonempty, is a prime ideal of S. And by Proposition 4.2, we know U_μ,t,βα=U_μ,t,βα is also a prime ideal of S, if it is nonempty. So U_μ,t,β is a fuzzy prime ideal of S, if it is nonempty, then β is a lower rough fuzzy prime ideal of S.

  2. It can be proven as (1).

Acknowledgement

The authors are extremely grateful to the editor and the referees for their valuable comments and helpful suggestions which help to improve the presentation of this paper.

This research was supported by NNSFC (11561023).

References

[1] Zadeh L.A., Fuzzy sets, Inform. and Control, 1965, 8, 338-353.10.21236/AD0608981Search in Google Scholar

[2] Liu W.J., Fuzzy invariant subgroups and fuzzy ideals, Fuzzy Sets and Systems, 1982, 8, 133-139.10.1016/0165-0114(82)90003-3Search in Google Scholar

[3] Dutta T.K., Biswas B.K., Fuzzy congruence and quotient semiring of a semiring, J. Fuzzy Math., 1996,4, 734-748.Search in Google Scholar

[4] Jun Y.B., Öztürk M.A., Song S.Z., On fuzzy h-ideals in hemirings, Inform. Sci., 2004, 162, 211-226.10.1016/j.ins.2003.09.007Search in Google Scholar

[5] Davvaz B., Dudek W.A., Fuzzy n-ary groups as a generalization of Rosenfeld’s fuzzy groups, J. Multi-Valued Logic and Soft Comput., 2009, 15, 451-469.Search in Google Scholar

[6] Dudek W.A., Fuzzification of n-ary groupoids, Quasigroups Related Systems, 2000,7, 45-66.Search in Google Scholar

[7] Zhan J., Zhou X., Xiang D., Roughness in n-ary semigroups based on fuzzy ideals, J. Intell. Fuzzy Systems, 2016, 30, 2833- 2841.10.3233/IFS-152072Search in Google Scholar

[8] Zhan J., Dudek W.A., Fuzzy h-ideals of hemirings, Inform. Sci., 2007, 177, 876-886.10.1016/j.ins.2006.04.005Search in Google Scholar

[9] Zhan J., Yin Y., A new view of fuzzy k-ideals of hemirings, J. Intell. Fuzzy Systems, 2012, 23, 169-176.10.3233/IFS-2012-0506Search in Google Scholar

[10] Pawlak Z., Rough sets, Int. J. Inf. Comp. Sci., 1982, 11, 341-356.10.1007/BF01001956Search in Google Scholar

[11] Pawlak Z., Rough sets-Theoretical Aspects of Reasoning About Data, Kluwer Academic Publishing, Dordrecht., 1991.10.1007/978-94-011-3534-4_7Search in Google Scholar

[12] Bonikowaski Z., Algebraic structures of rough sets, in: W.P. Ziako(Ed.), Rough Sets Fuzzy Sets, and Knowledge Discovery, Springer-Verlag, Berlin., 1995.10.1007/978-1-4471-3238-7_29Search in Google Scholar

[13] Iwinski T., Algebraic approach to rough sets, Bull. Polish Acad. Sci. Math., 1987, 35, 673-683.Search in Google Scholar

[14] Pomykala J., Pomykala J.A., The stone algebra of rough sets, Bull. Polish Acad. Sci. Math., 1988, 36, 495-508.Search in Google Scholar

[15] Biswas R., Nanda S., Rough groups and rough subgroups, Bull. Polish Acad. Sci. Math., 1994, 42, 251-254.Search in Google Scholar

[16] Kuroki N., Rough ideals in semigroups, Inform. Sci., 1997, 100, 139-163.10.1016/S0020-0255(96)00274-5Search in Google Scholar

[17] Jun Y.B., Roughness of gamma-subsemigroups/ideals in gamma-subsemigroups, Bull. Korean Math. Soc., 2003, 40, 531-536.10.4134/BKMS.2003.40.3.531Search in Google Scholar

[18] Xiao Q.M., Zhang Z.L., Rough prime ideals and rough fuzzy prime ideals in semigroups, Inform. Sci., 2006, 176, 725-733.10.1016/j.ins.2004.12.010Search in Google Scholar

[19] Kuroki N., Wang P.P., The lower and upper approximations in a fuzzy group, Inform. Sci., 1996, 90, 203-220.10.1016/0020-0255(95)00282-0Search in Google Scholar

[20] Davvaz B., Roughness in rings, Inform. Sci., 2004, 164, 147-163.10.1016/j.ins.2003.10.001Search in Google Scholar

[21] Davvaz B., Roughness based on fuzzy ideals, Inform. Sci., 2006, 176, 2417-2437.10.1016/j.ins.2005.10.001Search in Google Scholar

Received: 2016-9-2
Accepted: 2016-11-23
Published Online: 2016-12-30
Published in Print: 2016-1-1

© 2016 Wang and Zhan

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Articles in the same Issue

  1. Regular Article
  2. A metric graph satisfying w41=1 that cannot be lifted to a curve satisfying dim(W41)=1
  3. Regular Article
  4. On the Riemann-Hilbert problem in multiply connected domains
  5. Regular Article
  6. Hamilton cycles in almost distance-hereditary graphs
  7. Regular Article
  8. Locally adequate semigroup algebras
  9. Regular Article
  10. Parabolic oblique derivative problem with discontinuous coefficients in generalized weighted Morrey spaces
  11. Corrigendum
  12. Corrigendum to: parabolic oblique derivative problem with discontinuous coefficients in generalized weighted Morrey spaces
  13. Regular Article
  14. Some new bounds of the minimum eigenvalue for the Hadamard product of an M-matrix and an inverse M-matrix
  15. Regular Article
  16. Integral inequalities involving generalized Erdélyi-Kober fractional integral operators
  17. Regular Article
  18. Results on the deficiencies of some differential-difference polynomials of meromorphic functions
  19. Regular Article
  20. General numerical radius inequalities for matrices of operators
  21. Regular Article
  22. The best uniform quadratic approximation of circular arcs with high accuracy
  23. Regular Article
  24. Multiple gcd-closed sets and determinants of matrices associated with arithmetic functions
  25. Regular Article
  26. A note on the rate of convergence for Chebyshev-Lobatto and Radau systems
  27. Regular Article
  28. On the weakly(α, ψ, ξ)-contractive condition for multi-valued operators in metric spaces and related fixed point results
  29. Regular Article
  30. Existence of a common solution for a system of nonlinear integral equations via fixed point methods in b-metric spaces
  31. Regular Article
  32. Bounds for the Z-eigenpair of general nonnegative tensors
  33. Regular Article
  34. Subsymmetry and asymmetry models for multiway square contingency tables with ordered categories
  35. Regular Article
  36. End-regular and End-orthodox generalized lexicographic products of bipartite graphs
  37. Regular Article
  38. Refinement of the Jensen integral inequality
  39. Regular Article
  40. New iterative codes for 𝓗-tensors and an application
  41. Regular Article
  42. A result for O2-convergence to be topological in posets
  43. Regular Article
  44. A fixed point approach to the Mittag-Leffler-Hyers-Ulam stability of a fractional integral equation
  45. Regular Article
  46. Uncertainty orders on the sublinear expectation space
  47. Regular Article
  48. Generalized derivations of Lie triple systems
  49. Regular Article
  50. The BV solution of the parabolic equation with degeneracy on the boundary
  51. Regular Article
  52. Malliavin method for optimal investment in financial markets with memory
  53. Regular Article
  54. Parabolic sublinear operators with rough kernel generated by parabolic calderön-zygmund operators and parabolic local campanato space estimates for their commutators on the parabolic generalized local morrey spaces
  55. Regular Article
  56. On annihilators in BL-algebras
  57. Regular Article
  58. On derivations of quantales
  59. Regular Article
  60. On the closed subfields of Q¯~p
  61. Regular Article
  62. A class of tridiagonal operators associated to some subshifts
  63. Regular Article
  64. Some notes to existence and stability of the positive periodic solutions for a delayed nonlinear differential equations
  65. Regular Article
  66. Weighted fractional differential equations with infinite delay in Banach spaces
  67. Regular Article
  68. Laplace-Stieltjes transform of the system mean lifetime via geometric process model
  69. Regular Article
  70. Various limit theorems for ratios from the uniform distribution
  71. Regular Article
  72. On α-almost Artinian modules
  73. Regular Article
  74. Limit theorems for the weights and the degrees in anN-interactions random graph model
  75. Regular Article
  76. An analysis on the stability of a state dependent delay differential equation
  77. Regular Article
  78. The hybrid mean value of Dedekind sums and two-term exponential sums
  79. Regular Article
  80. New modification of Maheshwari’s method with optimal eighth order convergence for solving nonlinear equations
  81. Regular Article
  82. On the concept of general solution for impulsive differential equations of fractional-order q ∈ (2,3)
  83. Regular Article
  84. A Riesz representation theory for completely regular Hausdorff spaces and its applications
  85. Regular Article
  86. Oscillation of impulsive conformable fractional differential equations
  87. Regular Article
  88. Dynamics of doubly stochastic quadratic operators on a finite-dimensional simplex
  89. Regular Article
  90. Homoclinic solutions of 2nth-order difference equations containing both advance and retardation
  91. Regular Article
  92. When do L-fuzzy ideals of a ring generate a distributive lattice?
  93. Regular Article
  94. Fully degenerate poly-Bernoulli numbers and polynomials
  95. Commentary
  96. Commentary to: Generalized derivations of Lie triple systems
  97. Regular Article
  98. Simple sufficient conditions for starlikeness and convexity for meromorphic functions
  99. Regular Article
  100. Global stability analysis and control of leptospirosis
  101. Regular Article
  102. Random attractors for stochastic two-compartment Gray-Scott equations with a multiplicative noise
  103. Regular Article
  104. The fuzzy metric space based on fuzzy measure
  105. Regular Article
  106. A classification of low dimensional multiplicative Hom-Lie superalgebras
  107. Regular Article
  108. Structures of W(2.2) Lie conformal algebra
  109. Regular Article
  110. On the number of spanning trees, the Laplacian eigenvalues, and the Laplacian Estrada index of subdivided-line graphs
  111. Regular Article
  112. Parabolic Marcinkiewicz integrals on product spaces and extrapolation
  113. Regular Article
  114. Prime, weakly prime and almost prime elements in multiplication lattice modules
  115. Regular Article
  116. Pochhammer symbol with negative indices. A new rule for the method of brackets
  117. Regular Article
  118. Outcome space range reduction method for global optimization of sum of affine ratios problem
  119. Regular Article
  120. Factorization theorems for strong maps between matroids of arbitrary cardinality
  121. Regular Article
  122. A convergence analysis of SOR iterative methods for linear systems with weak H-matrices
  123. Regular Article
  124. Existence theory for sequential fractional differential equations with anti-periodic type boundary conditions
  125. Regular Article
  126. Some congruences for 3-component multipartitions
  127. Regular Article
  128. Bound for the largest singular value of nonnegative rectangular tensors
  129. Regular Article
  130. Convolutions of harmonic right half-plane mappings
  131. Regular Article
  132. On homological classification of pomonoids by GP-po-flatness of S-posets
  133. Regular Article
  134. On CSQ-normal subgroups of finite groups
  135. Regular Article
  136. The homogeneous balance of undetermined coefficients method and its application
  137. Regular Article
  138. On the saturated numerical semigroups
  139. Regular Article
  140. The Bruhat rank of a binary symmetric staircase pattern
  141. Regular Article
  142. Fixed point theorems for cyclic contractive mappings via altering distance functions in metric-like spaces
  143. Regular Article
  144. Singularities of lightcone pedals of spacelike curves in Lorentz-Minkowski 3-space
  145. Regular Article
  146. An S-type upper bound for the largest singular value of nonnegative rectangular tensors
  147. Regular Article
  148. Fuzzy ideals of ordered semigroups with fuzzy orderings
  149. Regular Article
  150. On meromorphic functions for sharing two sets and three sets in m-punctured complex plane
  151. Regular Article
  152. An incremental approach to obtaining attribute reduction for dynamic decision systems
  153. Regular Article
  154. Very true operators on MTL-algebras
  155. Regular Article
  156. Value distribution of meromorphic solutions of homogeneous and non-homogeneous complex linear differential-difference equations
  157. Regular Article
  158. A class of 3-dimensional almost Kenmotsu manifolds with harmonic curvature tensors
  159. Regular Article
  160. Robust dynamic output feedback fault-tolerant control for Takagi-Sugeno fuzzy systems with interval time-varying delay via improved delay partitioning approach
  161. Regular Article
  162. New bounds for the minimum eigenvalue of M-matrices
  163. Regular Article
  164. Semi-quotient mappings and spaces
  165. Regular Article
  166. Fractional multilinear integrals with rough kernels on generalized weighted Morrey spaces
  167. Regular Article
  168. A family of singular functions and its relation to harmonic fractal analysis and fuzzy logic
  169. Regular Article
  170. Solution to Fredholm integral inclusions via (F, δb)-contractions
  171. Regular Article
  172. An Ulam stability result on quasi-b-metric-like spaces
  173. Regular Article
  174. On the arrowhead-Fibonacci numbers
  175. Regular Article
  176. Rough semigroups and rough fuzzy semigroups based on fuzzy ideals
  177. Regular Article
  178. The general solution of impulsive systems with Riemann-Liouville fractional derivatives
  179. Regular Article
  180. A remark on local fractional calculus and ordinary derivatives
  181. Regular Article
  182. Elastic Sturmian spirals in the Lorentz-Minkowski plane
  183. Topical Issue: Metaheuristics: Methods and Applications
  184. Bias-variance decomposition in Genetic Programming
  185. Topical Issue: Metaheuristics: Methods and Applications
  186. A novel generalized oppositional biogeography-based optimization algorithm: application to peak to average power ratio reduction in OFDM systems
  187. Special Issue on Recent Developments in Differential Equations
  188. Modeling of vibration for functionally graded beams
  189. Special Issue on Recent Developments in Differential Equations
  190. Decomposition of a second-order linear time-varying differential system as the series connection of two first order commutative pairs
  191. Special Issue on Recent Developments in Differential Equations
  192. Differential equations associated with generalized Bell polynomials and their zeros
  193. Special Issue on Recent Developments in Differential Equations
  194. Differential equations for p, q-Touchard polynomials
  195. Special Issue on Recent Developments in Differential Equations
  196. A new approach to nonlinear singular integral operators depending on three parameters
  197. Special Issue on Recent Developments in Differential Equations
  198. Performance and stochastic stability of the adaptive fading extended Kalman filter with the matrix forgetting factor
  199. Special Issue on Recent Developments in Differential Equations
  200. On new characterization of inextensible flows of space-like curves in de Sitter space
  201. Special Issue on Recent Developments in Differential Equations
  202. Convergence theorems for a family of multivalued nonexpansive mappings in hyperbolic spaces
  203. Special Issue on Recent Developments in Differential Equations
  204. Fractional virus epidemic model on financial networks
  205. Special Issue on Recent Developments in Differential Equations
  206. Reductions and conservation laws for BBM and modified BBM equations
  207. Special Issue on Recent Developments in Differential Equations
  208. Extinction of a two species non-autonomous competitive system with Beddington-DeAngelis functional response and the effect of toxic substances
Downloaded on 9.12.2025 from https://www.degruyterbrill.com/document/doi/10.1515/math-2016-0102/html?lang=en
Scroll to top button