You are on page 1of 4

ISSN 2394-3777 (Print)

ISSN 2394-3785 (Online)


Available online at www.ijartet.com

International Journal of Advanced Research Trends in Engineering and Technology (IJARTET)


Vol. 6, Issue 6, June 2019

Anti Q-Fuzzy M-Semigroup


Dr.S.Sivaramakrishnan1, K.Suresh2 & K.Elamozhi3
Associate Professor, Department of Mathematics, Manakula Vinayagar Institute of Technology, Kalitheerthal Kuppam,
Puducherry 605 107, sivaramakrishnanmaths@mvit.edu.in 1
Assistant Professor, Department of Mathematics, Manakula Vinayagar Institute of Technology, Kalitheerthal Kuppam,
Puducherry 605 107, sureshmaths@mvit.edu.in 2
Assistant Professor, Department of Mathematics, Manakula Vinayagar Institute of Technology, Kalitheerthal Kuppam,
Puducherry 605 107, elamozhimaths@mvit.edu.in 3

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.

I. INTRODUCTION Definition 2.2 [11]. Let M be an M-semigroup. Let


L.A.Zadeh [12] in his pioneering paper, initiated the γ:M→[0,1] be a fuzzy set. Then (M,γ) is called an anti
concept of fuzzy set. Kuroki [5,6,7] have studied fuzzy fuzzyM-semigroup if
semigroups, fuzzy left(right) ideals, fuzzy bi-ideal and fuzzy (i) γ(xy) ≤ max{γ(x),γ(y)},for every x,y∈M,
interior ideals in semigroups. L.Lakshmanan [8] analysed (ii) γ (e)=0,forevery leftidentity e in M.
the complete structure of M-semigroups. Following him,
Example2.3[11]. Let M={e,f,a,b} be an M-semigroup
AL.Narayanan and AR.Meenakshi [9] introduced the notion with the following operation.
of fuzzy M-subsemigroup as a generalization of M-
semigroup. Recently,S.Vijayabalaji and S.Sivaramakrishnan TABLE 2.1
[11] introduced the notion of anti fuzzy M-semigroup.
. e f a b
e e f a b
K.T.Atanassov [2] initiated the concept of intuitionistic
f e f a b
Q-fuzzy set of as a generalization of the notion of fuzzy set.
K.H.Kim [4] introduced the concept of intuitionistic Q- a a b e f
fuzzy ideals of semigroups. b a b e f
Define the fuzzy set γ:M→[0,1] by
In this paper, we attempt a new algebraic structure of an
anti Q-fuzzy M-semigroup and study some of their related
properties. Then (M,γ) is an antifuzzy M-semigroup.
II. PRELIMINARIES
In this section, we recall some basic definitions used in Definition2.4[2]. Let X be a non-empty set and Q be a
this paper. non-empty set. A Q-fuzzy subset  : X  Q  [0,1] .

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-

All Rights Reserved © 2019 IJARTET 7


ISSN 2394-3777 (Print)
ISSN 2394-3785 (Online)
Available online at www.ijartet.com

International Journal of Advanced Research Trends in Engineering and Technology (IJARTET)


Vol. 6, Issue 6, June 2019

fuzzy subgroup of G if the following conditions are = max {(γ∪δ)(x,q), (γ∪δ)(y,q)}


satisfied: Therefore,
(i) A(xy,q) ≤ max{A(x,q),A(y,q)},
(γ∪δ)(xy,q) max {(γ∪δ)(x,q), (γ∪δ)(y,q)}
(ii) A(x−1,q) = A(x,q),for all x and y in G and q
in Q. (ii) (γ∪δ)(e,q) = max{γ(e,q),δ(e,q)}
III. ANTI Q-FUZZY M-SEMIGROUP = max{0,0}
In this section, we introduce the notion of anti Q-fuzzy = 0, for every left identity e in M.
M-semigroup. Hence γ∪δ is an anti Q-fuzzy M-semigroup of M.
Definition 3.1. Let M be an M-semigroup and Q be a non- Theorem 3.4. The union of a family of anti Q-fuzzy M-
empty set. A Q-fuzzy subset of M is said to be an anti Q- semigroups of M is an anti Q-fuzzy M-semigroup of M.
fuzzy M-semigroup of M if the following conditions are Proof. Straightforward.
satisfied:
(i) γ(xy,q) ≤ max{γ(x,q),γ(y,q)} The intersection of two anti Q-fuzzy M-semigroups
(ii) γ(e,q) = 0, for every left identity e in M. need not be an anti Q-fuzzy M-semigroup is illustratre
below.
Example 3.2. Let M = {e, f, a, b} be an M-semigroup with
the following operation. Example.3.5. Let M= {e,a,b,ab} be an M-semigroup, where
a2 = e = b2 = (ab)2 and ab=ba.
TABLE 3.1
TABLE 3.2

. 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.

Definition 3.3. If  and  are two anti Q-fuzzy M-


2 (x,q) =
semigroups of M, then their union    is an anti Q-
fuzzy M-semigroup of M. Observe that 1 (x,q), 2 (x,q) are anti Q-fuzzy M-
Proof. Let x and y in M and q in Q. semiroups.
(i) (γ∪δ)(xy,q) = max{γ(xy,q),δ(xy,q)}
max{max[γ(x,q), γ(y,q)], max[δ (x,q), δ(y,q)]}
max{max[γ(x,q), δ (x,q)], max[γ(y,q), δ (y,q)]}

All Rights Reserved © 2019 IJARTET 8


ISSN 2394-3777 (Print)
ISSN 2394-3785 (Online)
Available online at www.ijartet.com

International Journal of Advanced Research Trends in Engineering and Technology (IJARTET)


Vol. 6, Issue 6, June 2019

≥ 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)

All Rights Reserved © 2019 IJARTET 9


ISSN 2394-3777 (Print)
ISSN 2394-3785 (Online)
Available online at www.ijartet.com

International Journal of Advanced Research Trends in Engineering and Technology (IJARTET)


Vol. 6, Issue 6, June 2019

[8]. L.Lakshmanan, Certain Studies in the Structure of an Algebraic


Semigroup, Ph.D Thesis, Bangalore University, 1993.
[9]. AL.Narayanan and AR.Meenakshi, Fuzzy M- subsemigroup, The
Journal of Fuzzy Mathematics, 11, No.1, 41-52, 2003.
[10]. A. Solairaju and R.Nagarajan, A new structure and construction of
Q-fuzzy groups, Advances in fuzzy mathematics, 4, No.1, 23-29,
2009.
[11]. S.Vijayabalaji and S.Sivaramakrishnan, Anti fuzzy M- semigroup,
AIP Conf. Proc., 1482, 446-448, 2012.
[12]. L. A. Zadeh, Fuzzy Sets, Information and Control, 8, 338-353, 1965.

All Rights Reserved © 2019 IJARTET 10