Volume 2, Issue 6, June 2017 International Journal of Innovative Science and Research Technology

ISSN No: - 2456 2165

FUZZY - IDEALS OF - SEMI GROUPS

T. Rami Reddy Shashikumar.H.C.
Assistant Professor. Assistant Professor.
Department of Mathematics Department of Mathematics
Acharya Institute of Technology, Bengaluru, Government Science College, Hassan.
Karnataka, India. Karnataka, India.
ramireddyt@acharya.ac.in Shashikumarhc30@gmail.com

Abstract In this paper, we considered some properties and Definition 1.6: A fuzzy sub - semi group of S is called
characterizations of fuzzy - ideals such as fuzzy interior - ideals
and fuzzy bi - ideals of - semi groups and investigate some of
a fuzzy bi - ideal of S if
their properties. We also have studied fuzzy quasi - ideals and ( x y z ) min { ( x), ( z )} for all x, y, z S
fuzzy left (right, two sided) - ideals of - semi groups. and ,
Definition 1.7: A fuzzy sub - semi group of S is called
Keywords -Semi Group, Fuzzy bi - Ideal, Fuzzy Quasi -
Ideal, Fuzzy Interior - Ideal. a fuzzy interior - ideal of S if ( x y z ) ( y ) for
all x, y, z S and , .
I. INTRODUCTION AND PRELIMINARIES
Definition 1.8: Let 1 and 2 be two fuzzy sets of - semi
The fundamental concept of a fuzzy set was introduced by group S . Then 1 2 and 1 2 are defined by
L.A.Zadeh in 1965[4]. The concept of fuzzy ideals in semi
groups was introduced by N.Kuroki in 1979[2]. N.Kuroki [3] (1 2 )(a) min {1 (a), 2 (a)} and
introduced fuzzy left (right) ideals, fuzzy bi ideals and fuzzy (1 2 )(a) max {1 (a), 2 (a)} .
interior ideals. Some basic concepts of fuzzy algebra such as We denote - minimum or infimum and - maximum or
fuzzy left (right) ideals and fuzzy bi ideals in a fuzzy semi
group were introduced by Dib [7] in 1994. D.R.Prince
supremum then (1 2 )(a) 1 (a) 2 (a) ,
Williams and K.B.Latha introduced fuzzy - ideal and fuzzy (1 2 )(a) 1 (a) 2 (a)
bi - ideal [1]. Definition 1.9: Let 1 and 2 be any two fuzzy sets of a -
Definition 1.1: A mapping : S [0,1] is called fuzzy set
semi group S . Then their fuzzy product 1 2 is defined
of S and , denoted by ' , is the
the compliment of a set by
fuzzy subset in S defined by 1 ( x)
' V { ( x) ( y )} if a x y for x, yS ,
a x y1 2
for all x S . Let the level set of a fuzzy set of S is
( 1 2 )( a) {
defined as U ( , t ) {x S / ( x) t} . Note that - 0 otherwise
semi group S can be considered as a fuzzy set of itself and we
write S C S i.e. S ( x ) 1 for all x S . Definition 1.10: A fuzzy sub - semi group of S is
Definition 1.2:Let S {x, y, z ,...} and { , , ,...} called a fuzzy bi -ideal of a - semi group S if
be two non-empty sets then S is called a -semi group if it ( x y z ) ( x) ( z )} for all x, y, z S and
satisfies (i) x y S (ii) ( x y ) z x ( y z ) ,
for x, y, z S and , . Definition 1.11: A fuzzy set of a - semi group S is a
Definition 1.3: A fuzzy set of S is called a fuzzy sub - fuzzy quasi - ideal of S if ( S ) ( S )
semi group ofS if ( x y ) min { ( x), ( y )} for all Based on these preliminaries we prove some results on fuzzy
x, y S and . - ideals, fuzzy bi - ideals, fuzzy interior - ideals and
Definition 1.4: A fuzzy set of S is called a fuzzy left fuzzy quasi - ideals of -semi group S .
(right) - ideal of S if ( x y ) ( y ) II. MAIN RESULTS
( ( x y ) ( x) ) for all x, y S and .
Theorem 2.1.: Let S be a -semi group. (i) If 1 and 2
Definition 1.5: A fuzzy set of S is called a fuzzy - ideal
are fuzzy sub semi groups of S , then 1 2 is a
of S if it is both fuzzy left - ideal and fuzzy right - ideal of
S.

IJISRT17JU58 www.ijisrt.com 79
Volume 2, Issue 6, June 2017 International Journal of Innovative Science and Research Technology
ISSN No: - 2456 2165

fuzzy sub semi group of S . (ii) If 1 and 2 are fuzzy

- ideals of S , then 1 2 is a fuzzy - ideal of S . [1 ( x) 2 ( x)] [1 ( y) 2 ( y)]
Proof: (i) Let 1 and 2 be two fuzzy sub semi (1 2 )( x) (1 2 )( y)
groups of S . Then we have 1 ( x y) {1 ( x) 1 ( y)} (1 2 )( x y) (1 2 )( x) (1 2 )( y)
and 2 ( x y) {2 ( x) 2 ( y)} 1 2 is a fuzzy sub semi group of S .
Consider And
( 1 2 )( x y ) {1 ( x y ) 2 ( x y )} (1 2 )( x y z) 1 ( x y z) 2 ( x y z)
[1 ( x) 1 ( z)] [ 2 ( x) 2 ( z)]
[1 ( x) 1 ( y)] [ 2 ( x) 2 ( y)]
[1 ( x) 2 ( x)] [1 ( z) 2 ( z)]
[1 ( x) 2 ( x)] [1 ( y) 2 ( y)]
(1 2 )( x) (1 2 )( z)
(1 2 )( x) (1 2 )( y)
(1 2 )( x y z) (1 2 )( x) (1 2 )( x)
1 2 is a fuzzy sub semi group of S .
1 2 is a fuzzy bi - ideal of S .
(ii) Let 1 and 2 be fuzzy - ideals of -semi
group S . Then
Theorem 2.4.: Let 1 and 2 be two fuzzy bi - ideals of a
we have 1 ( x y) 1 ( x) , 1 ( x y) 1 ( y) and -semi group of S . Then 1 2 is a fuzzy bi - ideal
of S .
2 ( x y) 2 ( x) , 2 ( x y) 2 ( y) .
Proof: Let 1 and 2 be two fuzzy bi - ideals of a -
Consider (1 2 )( x y) 1 ( x y) 2 ( x y)
semi group S . Then for all x, y, z S and , . To
1 ( x) 2 ( x)
prove that 1 2 is a fuzzy bi - ideal of S , we shall
(1 2 )( x)
prove that it is fuzzy sub -semi group.
(1 2 )( x y) (1 2 )( x) Consider (1 2 )( x y) 1 ( x y) 2 ( x y)
1 2 is a fuzzy left - ideal of -semi group S .
[1 ( x) 1 ( y)] [ 2 ( x) 2 ( y)]
And
(1 2 )( x y) 1 ( x y) 2 ( x y) [1 ( x) 2 ( x)] [1 ( y) 2 ( y)]
1 ( y) 2 ( y) (1 2 )( x) (1 2 )( y)
(1 2 )( y) (1 2 )( x y) (1 2 )( x) (1 2 )( y)
1 2 is a fuzzy right - ideal of S . 1 2 is a fuzzy sub semi group of S .
Again
Hence 1 2 is a fuzzy - ideal of S .
(1 2 )( x y z) 1 ( x y z) 2 ( x y z)
Theorem 2.2.: Let S -semi group. (i) If 1 and 2
be a
[1 ( x) 1 ( z)] [ 2 ( x) 2 ( z)]
are fuzzy sub semi groups, then 1 2 is a fuzzy sub
[1 ( x) 2 ( x)] [1 ( z) 2 ( z)]
semi group of S . (ii) If 1 and 2 are fuzzy - ideals
(1 2 )( x) (1 2 )( z)
of S , then 1 2 is a fuzzy - ideal of S .
(1 2 )( x y z) (1 2 )( x) (1 2 )( z)
Proof: Similar to the proof of Theorem 2.1.
Theorem 2.3.: Let 1 and 2 be two fuzzy bi - ideals of a 1 2 is a fuzzy bi - ideal of S .
-semi group S . Then 1 2 is a fuzzy bi - ideal of Theorem 2.5: A fuzzy set of
-semi group S is a
a

S. fuzzy bi -ideal of S if and only S .

Proof: Let 1 and 2 be two fuzzy bi - ideals of a - Proof: Let be a fuzzy set of a -semi group S and let
semi group S . Then we have be a fuzzy bi -ideal of S . Then we have
1 ( x y z) 1 ( x) 1 ( z) , ( x y z ) { ( x) ( z )} for all x, y, z S and
and
2 ( x y z) 2 ( x) 2 ( z) for all x, y, z S and , . Suppose a x y z where b xy . Then
, . Consider ( S )( a) V [( S )(b) ( z )]
a b z
To prove that 1 2 is a fuzzy bi - ideal of S , we shall
V{ V [ ( x) S ( y)] ( z )}
to prove that it is fuzzy sub -semi group. Consider a b z b x y
(1 2 )( x y) 1 ( x y) 2 ( x y)
V{ V [ ( x) 1] ( z )}
[1 ( x) 1 ( y)] [ 2 ( x) 2 ( y) a b z b x y

IJISRT17JU58 www.ijisrt.com 80
Volume 2, Issue 6, June 2017 International Journal of Innovative Science and Research Technology
ISSN No: - 2456 2165

V [ ( x) ( z )] [( 1 2 ) S ] [S (1 2 )] (1 2 ) (1 2 )
a x y z
(1 2 )
V ( x y z ) [( 1 2 ) S ] [S (1 2 )] (1 2 )
a x y z
(a ) 1 2 is a fuzzy quasi - ideal of S .
( S )( a) (a )
REFERENCES:
S
If a xy z , then ( S )( a) 0 (a) [1]. D.R. Prince Williams_, K.B. Latha and E.
Chandrasekeran Fuzzy bi
S
-ideal in -semi groups Hacettepe Journal of
Conversely, assume that S . Then for all Mathematics and Statistics, Volume 38 (1) (2009), 1 15.
aS (a) ( S )( a) [2]. Kuroki, N. Fuzzy biideals in semi groups, Comment.
Math. Univ. St. Paul. 28, 1721, 1980.
V [( S )(b) ( z )] [3]. Kuroki, N. On Fuzzy ideals and fuzzy bi-ideals in semi
a b z
groups Fuzzy subsets and Systems, 5, 203215, 1981.
[4]. Zadeh, L.A. Fuzzy subsets, Information and Control, 8,
V{ V [ ( x) S ( y )] ( z )} 338353, 1965.
a b z b x y [5]. Madad Khan, Tauseef Asif, Faisal Intra-regular Left
V { V [ ( x) 1] ( z )} Almost Semi groups Characterized by Their Anti Fuzzy
a b z b x y Ideals Journal of Mathematics Research Vol. 2, No. 4;
November 2010
V [ ( x) ( z )] [6].Shabir, M. and Nawaz, Y. Semi groups characterized by
a x y z
the properties of their anti fuzzy Ideals Journal of
( x y z ) [ ( x) ( z )] advanced Research in Pure Mathematics, 3, 42 59.
Hence is a fuzzy bi -ideal of S . (2009).
[7]. Dib, K.A. On Fuzzy spaces and Fuzzy group theory,
Theorem 2.6: Let 1 be a fuzzy right - ideal of -semi
Inform. Sci. 80,
group S and 2 be a fuzzy left -ideal of S . Then 253282, 1994.
1 2 is a fuzzy quasi - ideal of S .
Proof: Let 1 be a fuzzy right - ideal and 2 be a fuzzy
left - ideal of S . Then we have
1 ( x y) 1 ( x) and 2 ( x y) 2 ( y) .
consider
(( 1 2 ) S )(a) V [( 1 2 )( x) S ( y)]
a x y
V [( 1 ( x) 2 ( x) 1]
a x y
V [( 1 ( x) 2 ( x)]
a x y
V [( 1 ( x y) 2 ( x y)]
a x y
(1 (a) 2 (a)
(1 2 )(a)
(( 1 2 ) S )(a) (1 2 )(a)
(1 2 ) S 1 2
1 2 is a fuzzy left - ideal of S .
Similarly, we can prove that 1 2 is a fuzzy right
- ideal of S . i.e. S (1 2 ) 1 2
1 2 is a fuzzy - ideal of S .
To prove that 1 2 is a fuzzy quasi - ideal of S ,
consider

IJISRT17JU58 www.ijisrt.com 81