Escolar Documentos
Profissional Documentos
Cultura Documentos
Abstract: The purpose of this paper is to introduce the concept of anti Q-fuzzy M-semigroup by means of anti Q-fuzzy set
theory and M-semigroup theory.
Keywords: M-semigroup, fuzzy M-semigroup, anti fuzzy M-semigroup, anti fuzzy M-semigroup and anti Q-fuzzy M-
semigroup.
Definition 2.1[8]. Asemigroup M is called an M-semigroup Example 2.5[2]. Let X = {a, b, c} be a set and Q = {p}.
if the following conditions are satisfied. Then = {<(a,p),0.4>, <(b,p),0.2>, <(c,p),0.6>} is a Q-
(i) there exists at least one left identity e M such that fuzzy subset of X.
ex=x, for all x M,
(ii) for every x M, there is a unique left identity, say ex Definition 2.5[10]. Let (G, .) be a group and Q be a non-
such that xex=x, that is ex is a two –sided identity for x. empty set. A Q-fuzzy subset A of G is said to be an anti Q-
. e f a b . a b ab e
e e f a b a e ab b a
b ab e a b
f e f a b
ab b a e ab
a a b e f
e a b ab e
b a b e f
We take Q = {q}. Choose numbers ti [0,1], 0 ≤ i ≤ 5 such that
Define a Q-fuzzy subset γ of M is a function 0= t0<t1<t2<t3<t4<t5.
: M x Q [0,1] by We take Q = {q}.
Define the fuzzy sets 1 (x,q), 2(x,q):M→[0,1] as follows:
1 (x,q) =
Then is an anti Q-fuzzy M-semigroup.
≥ 1− max{γ(x,q),γ(y,q)}
Define ( 1 2)(x,q) = (1) = min{1−γ(x,q),1−γ(y,q)}
= min{γc(x,q),γc(y,q)}
But ( 1 2)(ab,q)≤ max { ( 1 2)(a,q), ( 1 2)(b,q)} ⇒γc (xy,q) ≥ min{γc(x,q),γc (y,q)},and
= max{t1 , t2} = t2 γc (e,q) = 1−γ(e,q)=1−0
Therefore, ( 1 2)(ab,q) ≤ t2
⇒γc (e,q)=1,where e is a left identity in M
However, ( 1 2)(ab,q) = t4 , by (1), so t4 ≤ t2 .
This is absurd. Hence C is also a Q-fuzzy M-semigroup in M.
1 (x,q), 2 (x,q) are anti Q-fuzzy M-semiroups, whereas Conversely, let C be a Q-fuzzy M-semigroup in M.
( 1 2)(x,q) is not an anti Q-fuzzy M-semigroup. To Prove is an anti Q-fuzzy M-semigroup in M, we have
γ(xy,q) = 1−γc (xy,q)≤1−min{γc(x,q),γc (y,q)}
Definition 3.6. Let and be any two anti Q-fuzzy M- = max{1−γc (x,q),1−γc (y,q)}
= max{γ(x,q),γ(y,q)}
semigroups of M1and M2 respectively, then anti product of
Q-fuzzy M-semigroup is defined by ⇒γ(xy,q)≤ max{γ(x,q),γ(y,q)},and
( x )((x, y), q) = max{ (x, q); (y, q)g for all γ(e,q)=1−γc (e,q)=1−1=0.
⇒γ(e,q)=0,whereeisaleft identityinM
x ∈ M1, y∈ M2 and q ∈ Q.
Hence is an anti Q-fuzzyM-semigroup in M.
Theorem 3.7. If and are anti Q-fuzzy M-semigroups IV. CONCLUSION
of M1 and M2 respectively, then anti product x is an
anti Q-fuzzy M-semigroup of M1x M2. In this paper, the concept of anti Q-fuzzy M-
Proof. Let x1 and x2 be in M1 and y1 and y2 be in M2. semigroup by means of anti Q-fuzzy set theory and M-
Then (x1,y1) and (x2, y2) are in M1x M2 and q ∈ Q. semigroup theory is defined and some of their properties
are discussed.
Now,(i)(γ×δ)[(x1,y1)(x2,y2),q]=(γ×δ)[(x1x2,y1y2),q]
In further research, the following topics will be
= max{γ(x1x2 , q),δ(y1y2 , q)}
discussed
≤ max{max[γ(x1,q),γ(x2,q)],max[δ(y1,q),δ(y2,q)]}
= max{max[γ(x1,q),δ(y1,q)],max[γ(x2,q),δ(y2 ,q)]} (i) Anti Q-fuzzy linear space,
= max{(γ×δ)((x1,y1),q),(γ×δ)((x2,y2),q)} (ii) Anti Q-fuzzy soft linear space.
Therefore,
REFERENCES
(γ×δ)[(x1,y1)(x2,y2),q] ≤ max{(γ×δ)((x1,y1),q),(γ×δ)((x2,y2),q)}
[1]. K.Atanassov, Intuitionistic fuzzy sets, Fuzzy sets and Systems, 20,
No.1, 87-96, 1986.
(ii)Let e and be two left identity of M1 and M2
[2]. K.Atanassov, New operations defined over the intuitionistic Q-
respectively. Fuzzy sets, Fuzzy Sets and Systems, 61,137- 142, 1994.
(γ×δ)[(e, ),q] = max{γ(e,q),δ( ,q)}
[3]. D.Coker, An introduction to intuitionistic Q-fuzzy Topological
= max{0,0}=0
spaces, Fuzzy Sets and Systems, 88, 81-89, 1997.
⇒ (γ×δ)[(e, ),q] = 0 [4]. K.H.Kim, on intuitionistic Q-fuzzy ideals of semigroups, Scientiae
Hence γ×δ is an anti Q-fuzzy M-semigroup of M1×M2. Mathematicae Japonicae, 119-126, 2006.
[5]. N.Kuroki, Fuzzy bi ideals in semigroups,
Theorem 3.8. Let M be an M-semigroup and Q be a non- Comment.Math.Univ.St.Paul., 28, 17-21, 1979.
empty set. Then is an anti Q-fuzzy M-semigroup in M if
[6]. N.Kuroki, Fuzzy semiprime ideals in semigroups, Fuzzy Sets and
and only if C is a Q-fuzzy M-semigroup in M. Systems, 8,71-80,1982.
Proof. Let be an anti Q -fuzzy M-semigroup in M. We [7]. N.Kuroki, On fuzzy semigroups, Information Sciences, 53(1991),
203-236, 1991.
have for all x,y∈ M and q ∈ Q.
γc (xy,q)=1−γ(xy,q)