international journal of scientific research and modern...

12
International Journal of Scientific Research and Modern Education (IJSRME) Impact Factor: 6.225, ISSN (Online): 2455 5630 (www.rdmodernresearch.com) Volume 2, Issue 1, 2017 159 ANTI FUZZY SOFT GAMMA REGULAR SEMIGROUPS V. Chinnadurai* & K. Arulmozhi** * Associate Professor, Department of Mathematics, Annamalai University, Annamalainagar, Tamilnadu ** Department of Mathematics, Annamalai University, Annamalainagar, Tamilnadu Cite This Article: V. Chinnadurai & K. Arulmozhi, “Anti Fuzzy Soft Gamma Regular Semigroups”, International Journal of Scientific Research and Modern Education, Volume 2, Issue 1, Page Number 159-170, 2017. Copy Right: © IJSRME, 2017 (All Rights Reserved). This is an Open Access Article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Abstract: In this paper, we have introduce the notion of anti fuzzy soft -semigroups, anti fuzzy soft -ideal, bi-ideal, interior ideal -regular, soft -regular anti fuzzy soft -regular and obtain some interesting properties results and discusse in this paper Index Terms: Soft set, fuzzy set, Anti fuzzy soft set, soft - semigroups, soft -ideals (bi-ideal, interior ideal), -regular semigroups, and anti fuzzy soft -regular semigroups. 1. Introduction: The fundamental concept of fuzzy set was introduced by Zadeh [16] in 1965. Sen and Saha [12] defined the Gamma semigroup in 1986. Soft set theory proposed by Molotsov [6] in 1999. Maji et al [5] worked on soft set theory and fuzzy soft set theory. Ali et al [1] introduced new operations on soft sets. Chinram and Jirojkul [3] defined the bi-ideals in Gamma semigroups in 2007. P. Dheena et al [4] studied the characterization of regular Gamma semigroups through fuzzy ideals in 2007. Chinnadurai [2] worked on regular semigroups. Characterized by the properties of anti fuzzy ideals in semigroups proposed by Shabir et al [13] anti fuzzy Gamma bi-ideal introduced in Gamma semigroups studied Nagaiah [9]. Samit Kumar Majumder studied [14] Gamma semigroups in terms of anti fuzzy ideals. Muhammad Gulistan et al [8] presented generalized anti fuzzy interior ideals in LA- semigroups. Sardar et al [11] Characterized Gamma semigroups in terms of anti fuzzy ideals. Sujit Kumar Sardar [14] worked Fuzzy Ideals in Gamma Semigroups. Muhammad Ifran Ali et al [7] studied soft ideals over semigroups. Thawhat changphas et al [15] studied soft Gamma semigroups. In this paper, we obtained some results on properties of anti fuzzy soft Gamma semigroups and regular semigroups. 2. Preliminaries: Definition 2.1 [12]. Let ,... , , c b a S and ... , , , be two non-empty sets. Then S is called a Gamma semigroup if it satisfies the conditions (i) S b a (ii) c b a c b a for all S c b a , , and . , , Definition 2.2 [15]. A semigroup S is called a regular if for each element S a , there exists S x and , such that a x a a . Definition 2.3 [4]. Let S be a semigroup. A non empty subset A of S is called an ideal, an ideal A of S is said to be idempotent A A = A. Definition 2.4 [6]. Let U be the universel set, E be the set of parameters, ) ( U P denote the power set of U and A be a non-empty subset of E. A pair ) , ( A F is called a soft set over U, where F is mapping given by ). ( : U P A F Definition 2.5 [5]. Let ) , ( A F and ) , ( B G be two soft sets over a common universe U then ) , ( A F AND ) , ( B G denoted by ) , ( ) , ( B G A F is defined as ) , ( ) , ( ) , ( B A H B G A F where B A G F H ) , ( , ) ( ) ( ) , ( Definition 2.6 [5]. Let ) , ( A F and ) , ( B G be two soft sets over a common universe U then ) , ( A F OR ) , ( B G denoted by ) , ( ) , ( B G A F is defined as ) , ( ) , ( ) , ( B A H B G A F where . ) , ( ) ( ) ( ) , ( B A G F H Definition 2.7 [1]. The extended union of two fuzzy soft sets ) , ( A F and ) , ( B G over a common universe U is fuzzy soft set denoted by ) , ( ) , ( B G A F defined as ) , ( ) , ( ) , ( C H B G A F where

Upload: others

Post on 24-Oct-2020

0 views

Category:

Documents


0 download

TRANSCRIPT

  • International Journal of Scientific Research and Modern Education (IJSRME)

    Impact Factor: 6.225, ISSN (Online): 2455 – 5630

    (www.rdmodernresearch.com) Volume 2, Issue 1, 2017

    159

    ANTI FUZZY SOFT GAMMA REGULAR SEMIGROUPS

    V. Chinnadurai* & K. Arulmozhi** * Associate Professor, Department of Mathematics, Annamalai University,

    Annamalainagar, Tamilnadu

    ** Department of Mathematics, Annamalai University, Annamalainagar, Tamilnadu

    Cite This Article: V. Chinnadurai & K. Arulmozhi, “Anti Fuzzy Soft Gamma Regular

    Semigroups”, International Journal of Scientific Research and Modern Education, Volume 2, Issue 1, Page

    Number 159-170, 2017.

    Copy Right: © IJSRME, 2017 (All Rights Reserved). This is an Open Access Article distributed under the

    Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any

    medium, provided the original work is properly cited.

    Abstract:

    In this paper, we have introduce the notion of anti fuzzy soft -semigroups, anti fuzzy soft -ideal, bi-ideal, interior ideal -regular, soft -regular anti fuzzy soft -regular and obtain some interesting properties results and discusse in this paper

    Index Terms: Soft set, fuzzy set, Anti fuzzy soft set, soft -semigroups, soft -ideals (bi-ideal, interior

    ideal), -regular semigroups, and anti fuzzy soft -regular semigroups. 1. Introduction: The fundamental concept of fuzzy set was introduced by Zadeh [16] in 1965. Sen and Saha [12]

    defined the Gamma semigroup in 1986. Soft set theory proposed by Molotsov [6] in 1999. Maji et al [5]

    worked on soft set theory and fuzzy soft set theory. Ali et al [1] introduced new operations on soft sets. Chinram

    and Jirojkul [3] defined the bi-ideals in Gamma semigroups in 2007. P. Dheena et al [4] studied the

    characterization of regular Gamma semigroups through fuzzy ideals in 2007. Chinnadurai [2] worked on regular

    semigroups. Characterized by the properties of anti fuzzy ideals in semigroups proposed by Shabir et al [13] anti

    fuzzy Gamma bi-ideal introduced in Gamma semigroups studied Nagaiah [9]. Samit Kumar Majumder studied

    [14] Gamma semigroups in terms of anti fuzzy ideals. Muhammad Gulistan et al [8] presented generalized anti

    fuzzy interior ideals in LA- semigroups. Sardar et al [11] Characterized Gamma semigroups in terms of anti

    fuzzy ideals. Sujit Kumar Sardar [14] worked Fuzzy Ideals in Gamma Semigroups. Muhammad Ifran Ali et al

    [7] studied soft ideals over semigroups. Thawhat changphas et al [15] studied soft Gamma semigroups.

    In this paper, we obtained some results on properties of anti fuzzy soft Gamma semigroups and regular

    semigroups.

    2. Preliminaries:

    Definition 2.1 [12]. Let ,...,, cbaS and ...,,, be two non-empty sets. Then S is called a Gamma semigroup if it satisfies the conditions

    (i) Sba

    (ii) cbacba for all Scba ,, and .,,

    Definition 2.2 [15]. A semigroup S is called a regular if for each element Sa , there exists Sx and , such that axaa .

    Definition 2.3 [4]. Let S be a semigroup. A non empty subset A of S is called an ideal, an ideal A of S is said to be idempotent A A = A. Definition 2.4 [6]. Let U be the universel set, E be the set of parameters, )(UP denote the power set of U and

    A be a non-empty subset of E. A pair ),( AF is called a soft set over U, where F is mapping given by

    ).(: UPAF

    Definition 2.5 [5]. Let ),( AF and ),( BG be two soft sets over a common universe U then ),( AF AND

    ),( BG denoted by ),(),( BGAF is defined as ),(),(),( BAHBGAF where

    BAGFH ),(,)()(),(

    Definition 2.6 [5]. Let ),( AF and ),( BG be two soft sets over a common universe U then ),( AF OR

    ),( BG denoted by ),(),( BGAF is defined as ),(),(),( BAHBGAF where

    .),()()(),( BAGFH

    Definition 2.7 [1]. The extended union of two fuzzy soft sets ),( AF and ),( BG over a common universe U

    is fuzzy soft set denoted by ),(),( BGAF defined as ),(),(),( CHBGAF where

  • International Journal of Scientific Research and Modern Education (IJSRME)

    Impact Factor: 6.225, ISSN (Online): 2455 – 5630

    (www.rdmodernresearch.com) Volume 2, Issue 1, 2017

    160

    ., CcBAC

    .)()(

    )(

    )(

    )(

    BAcifcGcF

    ABcifcG

    BAcifcF

    cH

    Definition 2.8 [1]. The extended intersection of two fuzzy soft sets ),( AF and ),( BG over a common

    universe U is fuzzy soft set denoted by ),(),( BGAF defined as ),(),(),( CHBGAF where

    ., CcBAC

    .)()(

    )(

    )(

    )(

    BAcifcGcF

    ABcifcG

    BAcifcF

    cH

    Definition 2.9 [2]. A soft set ),( AF is called a soft semigroup over S if, ),(),(~),( AFAFAF . Clearly

    a soft set ),( AF over a semigroup S is a soft semigroup if and only if )(aF is a subsemigroup of

    S, .Aa

    Definition 2.10 [7]. A soft semigroup ),( AF over a semigroup S is called a soft regular semigroup if for each

    )(, FA is regular.

    Definition 2.11 [2]. The restricted product ),( CH of two fuzzy soft sets ),( AF and ),( BG over a

    semigroup S is defined as ),(~),(),( BGAFCH where BAC by

    .,)(~)()( CccGcFcH

    Definition 2.12 [16]. Let X be non-empty set. A fuzzy subset of X is a function from X into the closed unit

    interval [0, 1]. The set of all fuzzy subsets of X is called a fuzzy power set of X and is denoted by )(XFP .

    Definition 2.13 [8]. Let X be non empty set and A be subset of X. Then the anti characterization function c

    A

    is defined by soft semigroup of S.

    Axif

    AxifcA

    1

    0

    Definition 2.14 [11]. A fuzzy set of a semigroup S is called an anti fuzzy subsemigroup of S if

    yxyx ,max)( for all Syx , and . Definition 2.15 [11]. A fuzzy set of a semigroup S is called an anti fuzzy left (right) ideal of S if

    xyxyyx )()( for all Syx , and . Definition 2.16 [13]. A fuzzy set of a semigroup S is called an anti fuzzy bi-ideal of S if

    zxzyx ,max)( for all Szyx ,, and , . Definition 2.17 [13]. A fuzzy set of a semigroup S is called an anti fuzzy interior ideal of S if

    yzyx )( for all Szyx ,, and , . Definition 2.18 [10]. Let be a fuzzy subset of a semigroup S and let 1,0t then the set txSxt : is called the anti level subset of . 3. Anti Fuzzy Soft Semigroups:

    In this section S denotes anti fuzzy soft semigroup and AFS denotes anti fuzzy soft.

    Definition 3.1. Let AF ,1 be AFS set over a semigroup S, then AFAFAF ,,~, 111 is called AFS semigroup.

    Example 3.2. }a,a,a,a { 4321S and },{ where , is defined on S with the following Cayley table:

  • International Journal of Scientific Research and Modern Education (IJSRME)

    Impact Factor: 6.225, ISSN (Online): 2455 – 5630

    (www.rdmodernresearch.com) Volume 2, Issue 1, 2017

    161

    1a 2a 3a

    1a 2a 3a

    1a 1a 1a 1a

    1a 1a 1a 1a

    2a 1a 1a 2a

    2a 1a 1a 1a

    3a 1a 1a 3a

    3a 1a 1a 1a

    Table-1

    Consider }a,a,a { 321A and }a {)a ( 11 F , }a,a {)a ( 212 F , }.a,a {)a ( 313 F

    Hence AF ,1 is soft semigroup.

    Definition 3.3. Let AF ,1 be AFS set over a semigroup S, then AF ,1 is called AFS subsemigroup of S if, qpqp eee ,max for all Sqp , and .

    Definition 3.4 Let AF ,1 be AFS set over a subsemigroup S then AF ,1 is called AFS left (right)deal of S if qqp ee )( pqp ee for all Sqp , and .

    Definition 3.5. Let AF ,1 be AFS set over a semigroup S, then AF ,1 is called AFS ideal of S if, qpqp eee ,min for all Sqp , and .

    Definition 3.6. Let AF ,1 be AFS set over a semigroup S, then AF ,1 is called AFS bi-ideal of S if, qpqrp eee ,max for all Srqp ,, and .,

    Definition 3.7. Let AF ,1 be AFS set over a semigroup S, then AF ,1 is called AFS interior ideal of S if, rqrp ee for all Srqp ,, and .,

    Theorem3.8. Let AF ,1 be AFS subset of S. If AF ,1 be AFS subsemigroup of S if and only if .,,~, 111 AFAFAF Proof. Let .Su Assume that AF ,1 is AFS subsemigroup of S .,,~, 111 AHAFAF where )(

    ~)()( 111 eFeFeH for all .Ae Consider

    ueF

    ueF

    baeF

    bFaeFuAFAF

    bau

    bau

    bau

    1

    1

    1

    1111

    inf

    inf

    ,maxinf)(,~,

    .,,~, 111 AFAFAF Conversely assume that SvuAFAFAF ,,,~, 111 Consider

    )()(),()(max

    ,maxinf

    )()(~)()()((

    11

    11

    111

    veFueF

    bFaeF

    vueFeFvueF

    bavu

    Hence AF ,1 be AFS subset of a subsemigroup of S Theorem 3.9. Let AF ,1 be AFS subset of a semigroup S. Then the following conditions hold. (i) AF ,1 be AFS left ideal of S if and only if .,,~, 11 AFAFES (ii) AF ,1 be AFS right ideal of S if and only if .,,~, 11 AFESAF Proof. We prove that (i) holds. Assume that AF ,1 be AFS left ideal of S AHAFES ,,~, 11 where eFeSeH 11 ~ .Ae Consider

  • International Journal of Scientific Research and Modern Education (IJSRME)

    Impact Factor: 6.225, ISSN (Online): 2455 – 5630

    (www.rdmodernresearch.com) Volume 2, Issue 1, 2017

    162

    ueF

    ueF

    baeF

    beFaeSuAFES

    bau

    bau

    1

    1

    1

    11

    ,0max

    ,0maxinf

    ,maxinf,~,

    So .,,~, 11 AFAFES Conversely assume that .,,~, 11 AFAFES Let bau then we have

    beF

    beF

    beFaeS

    qeFpeS

    ueFeS

    ueFbaeF

    qpu

    1

    1

    1

    1

    1

    11

    ,0max

    ,max

    ,maxinf

    ~

    Hence AF ,1 is AFS left ideal of S (ii) Similar proof.

    Theorem 3.10. Let AF ,1 be AFS subsemigroup of S . Then AF ,1 is AFS bi-ideal of S if and only if .,,~,~, 111 AFAFESAF Proof. Let AF ,1 is AFS bi-ideal of S, then AHAFESAF ,,~,~, 111 where eFeSeFeH 111 ~~ for all .Ae Let Su such that bau and .qpa

    We have beFpeFbqpeF 111 ,max Consider

    ueF

    bqpeF

    beFpeF

    beFqeF

    beFqeSpeF

    beFaeSeFueFeSeF

    bqpu

    bqpu

    qpabau

    qpabau

    bau

    1

    1

    11

    11

    11

    1111

    inf

    ,maxinf

    0,maxinfmaxinf

    ,maxinfmaxinf

    ,~maxinf~~

    Therefore eFeFeSeF 111 ~~ for all .Ae Conversely assume that eFeFeSeF 111 ~~ Let Scba ,, and cbau , we have

  • International Journal of Scientific Research and Modern Education (IJSRME)

    Impact Factor: 6.225, ISSN (Online): 2455 – 5630

    (www.rdmodernresearch.com) Volume 2, Issue 1, 2017

    163

    ceFaeF

    ceFaeF

    ceFbeSaeF

    ceFqeSpeF

    ceFbaeSeF

    yeFxeSeF

    ueFeSeF

    ueFcbaeF

    qpba

    yxu

    11

    11

    11

    11

    11

    11

    11

    11

    ,max

    0,maxmax

    ,,maxmax

    ,,maxinfmax

    ,~max

    ,~maxinf

    ~~

    Hence AF ,1 is AFS bi-ideal of S. Theorem 3.11. Let AF ,1 AFS be subset of a semigroup of S . If AF ,1 is AFS bi-ideal of S then AFAFAF ,,~, 111 and .,,~,~, 111 AFAFESAF Proof. By theorem (3.8) and (3.10) we get the required results.

    Theorem 3.12. Let AF ,1 be AFS subset of a Semigroup S . Then AF ,1 is AFS soft interior ideal of S if and only if .,,~,~, 11 AFESAFES Proof

    Assume that AF ,1 is AFS interior ideal of S, now AHESAFES ,,~,~, 11 where eSeFeSeH 11 ~ for all .Ae Let Su such that bau and .qpa

    We have qeFbqpeF 11 Consider

    ueF

    qeF

    beSqeFpeS

    beSaeFeSueSeFeS

    qpabau

    qpabau

    bau

    1

    1

    1

    11

    0,,0maxinfmaxinf

    ,maxinfmaxinf

    ,~maxinf~~

    Therefore eFeSeFeS 11 ~~ Conversely assume that eFeSeFeS 11 ~~ Let Svwu ,,

  • International Journal of Scientific Research and Modern Education (IJSRME)

    Impact Factor: 6.225, ISSN (Online): 2455 – 5630

    (www.rdmodernresearch.com) Volume 2, Issue 1, 2017

    164

    .

    ,0max

    ,max

    ,maxinf

    0,~max

    ,~max

    ,~maxinf

    ~~

    1

    1

    1

    1

    1

    1

    1

    11

    weF

    weF

    weFueS

    qeFpeS

    wueFeS

    veSwueFeS

    qeSpeFeS

    vwueSeFeSvwueF

    qpwu

    qpvwu

    Hence AF ,1 is AFS interior ideal of S. Theorem 3.13 Let AF ,1 be AFS subset of S. Then AF ,1 is AFS subsemigroup of S if and only if

    211 ,:,~

    ttAFU is AFS subsemigroup of S.

    Proof. Assume that AF ,1 is AFS subset of S. Let 1,0, 21 tt such that

    211 ,:,~

    , ttAFUqp then

    212121

    ,

    ,,,max

    ,max111

    tt

    tttt

    qpqp eFeFeF

    Thus 211 ,:,~

    ttAFUpq . Hence 211 ,:,~

    ttAFU is AFS subsemigroup over S. Conversely,

    assume that 211 ,:,~

    ttAFU is AFS subsemigroup of S, for all 1,0, 21 tt and .,, Sqp Suppose qpqp eFeFeF 111 ,max then there exists an element

    1,0x such that qpxqp eFeFeF 111 ,max , which implies that xpeF 1 and

    xqeF 1 then we have .:,~

    , 1 xAFUqp Hence xpqeF 1 which is a contradiction, then

    we have .:,~

    , 1 xAFUqp

    Theorem 3.14. Let AF ,1 and BG ,1 be two AFS ideal (bi-ideal, interior ideal) of S, then BGAF ,, 11 is AFS ideal (bi-ideal, interior ideal) of S. Proof. Let AF ,1 and BG ,1 be two AFS ideal over S. Now we defined BGAF ,, 11 = CH ,1 where BAC and bGaFbaH 111 , for all ., Cba

  • International Journal of Scientific Research and Modern Education (IJSRME)

    Impact Factor: 6.225, ISSN (Online): 2455 – 5630

    (www.rdmodernresearch.com) Volume 2, Issue 1, 2017

    165

    mlml

    mmll

    mlml

    mlml

    mlml

    baHbaH

    bGaFbGaF

    bGaFbGaF

    bFbGaFaF

    bGaF

    bGaFbaH

    ,,

    ,

    11

    1111

    1111

    1111

    11

    111

    ,min

    ,min

    ,max,,maxmin

    ,min,,minmax

    ,max

    Hence BGAF ,, 11 is AFS ideal of S. Theorem 3.15. Let AF ,1 and BG ,1 be two AFS ideal (bi-ideal, interior ideal) of S, then BGAF ,, 11 is AFS ideal (bi-ideal, interior ideal) of S. Proof. The proof is straightforward.

    Example 3.16. Every AFS ideal of S is an AFS bi-ideal of S, but converse is not true.

    From the table.1, Let ,,,,, 31321 vvAvvvE then AF ,1 is AFS set defined as

    7.0,,9.0,,4.0,

    ,5.0,,8.0,,2.0,

    321

    321

    31

    11

    aaa

    aaa

    vF

    vF

    Hence AF ,1 is AFS bi-ideal , but not ideal of S. Theorem 3.17. Let AF ,1 and BG ,1 be two AFS ideal of S, then BGAF ,, 11 and BGAF ,, 11 is AFS ideal of S. Proof. Let AF ,1 and BG ,1 be two AFS ideal of S then CHBGAF ,,, 11 where ,BAC

    BAcifcGcF

    ABcifcG

    BAcifcF

    cH

    )()(

    )(

    )(

    )(

    11

    1

    1

    1

    Let Sqp , and

    (i) If BAc

    mlml

    mlqp

    cHcH

    cFcF

    cFcH

    11

    11

    11

    ,min

    ,min

    (ii) ABc

    qpqp

    qpml

    cHcH

    cGcG

    cGcH

    11

    11

    11

    ,min

    ,min

    (iii) If BAc then .,max 11111 cGcFcGcFcH Now using seen that mcHlcHmlcH 111 ,min for all ,, Sml and Cc mlml cHcHcH 111 ,min . Hence BGAF ,, 11 is AFS ideal over S

    Theorem 3.18. Let AF ,1 and BG ,1 be two AFS ideal of S, then BGAF ,, 11 and BGAF ,, 11 is AFS bi-ideal of S. Proof. The proof is straightforward.

  • International Journal of Scientific Research and Modern Education (IJSRME)

    Impact Factor: 6.225, ISSN (Online): 2455 – 5630

    (www.rdmodernresearch.com) Volume 2, Issue 1, 2017

    166

    4. Anti fuzzy soft gamma regular semigroups.

    In this section S denotes the soft regular semigroup.

    Definition 4.1. A soft semigroup AF ,1 over a semigroup S is called a soft regular semigroup if for each ,,, 1FA is regular. Example 4.2. }a,a,a,a { 4321S

    and },{ where , is defined on S with the following Cayley table:

    1a 2a 3a 4a

    1a 2a 3a 4a

    1a 1a 1a 1a 1a

    1a 1a 1a 1a 1a

    2a 1a 2a 3a 4a

    2a 1a 2a 3a 4a

    3a 1a 3a 3a 3a

    3a 1a 3a 3a 3a

    4a 1a 3a 3a 3a

    4a 1a 2a 3a 4a

    Table-2

    Consider }a,a,a,a { 4321E and }a,a {)a ( 311 F , }a,a {)a ( 322 F , }a,a ,a {)a ( 3213 F

    }a,a ,a {)a ( 4324 F . Hence ),( SF is soft regular semigroup.

    Theorem 4.3. Let ),( 1 AF and BG ,1 be two AFS sets of soft regular semigroup S and 1A and

    2A are two non-empty subsets of S.

    c

    AA

    c

    A

    c

    A

    c

    AA

    c

    A

    c

    A

    ii

    i

    2121

    2121

    ~

    ~

    Proof. Let 21 AAp , then 1Ap and .2Ap we have

    )(

    0

    }0,0max{

    )}(),(max{)(~

    21

    1121

    p

    ppp

    c

    AA

    c

    A

    c

    A

    c

    A

    c

    A

    Suppose 21 AAp , then 1Ap and 2Ap

    )(

    1

    }1,1max{

    )}(),(max{)(~

    21

    1121

    p

    ppp

    c

    AA

    c

    A

    c

    A

    c

    A

    c

    A

    (ii) Let Sp , suppose 21 AAp , then there exists ,11 Aa and 22 Aa ,such that 21 aap

    0

    }0,0max{

    max

    )}(~max{inf)(~

    21

    2121

    pp

    dcp

    c

    A

    c

    A

    c

    A

    c

    Adcp

    c

    A

    c

    A

    Since ,0~121

    p

    c

    A

    c

    A hence

    c

    AA

    c

    A

    c

    Ap

    2121

    0~

  • International Journal of Scientific Research and Modern Education (IJSRME)

    Impact Factor: 6.225, ISSN (Online): 2455 – 5630

    (www.rdmodernresearch.com) Volume 2, Issue 1, 2017

    167

    Suppose 21 AAp , then ,, 1121 Aaaap and .22 Aa

    )(

    1

    }1,1max{

    )}(),(max{)(~

    21

    1121

    p

    ppp

    c

    AA

    c

    A

    c

    A

    c

    A

    c

    A

    Hence c

    AA

    c

    A

    c

    A 2121

    ~

    The following theorem relation between soft semigroup and AFS semigroups.

    Theorem 4.4. Let AF ,1 be a non-empty soft subset of S, AF ,1 be a soft subsemigroup of S if

    and only if

    c

    eF1is AFS subsemigroup of S.

    Proof. Let AF ,1 be a soft semigroup of S

    eFaif

    eFaife

    c

    eF1

    1

    1

    0

    1

    Let ,, Sba

    baba ceF

    c

    eF

    c

    eF

    111

    ,max

    then

    ,0,011

    bac

    eF

    c

    eF and

    ,1

    1

    bac

    eF this implies that eFba 1, since

    eF1 is a subsemigroup of S, eFba 1 and hence 01ba

    c

    eF which is a contradiction.

    Thus

    baba ceF

    c

    eF

    c

    eF

    111

    ,max

    for all eFba 1, and .Ae

    Conversely assume that

    c

    eF1 is AFS subsemigroup of S. Let eFba 1, then 01

    ac

    eF

    and

    0

    1

    bc

    eF ,

    c

    eF1 AFS subsemigroup.

    Now

    babac

    eF

    c

    eF

    c

    eF

    111

    0,max this implies that

    0

    1

    bac

    eF and

    hence eFba 1, for all Ae .Therefore AF ,1 is a soft subsemigroup of S

    Theorem 4.5. Let AF ,1 be a soft ideal of S if and only if c

    F A1 (characteristic function) is AFS

    ideal of soft regular semigroup S.

    Theorem 4.6. Let BF ,1 be a soft bi-ideal of S if and only if c

    F B1 (characteristic function) is AFS

    bi-ideal of soft regular semigroup S.

    Theorem 4.7.The following conditions are equivalent

    )(i Every soft -bi-ideal is a soft -ideal of S.

    )(ii Every AFS -bi-ideal of S is a AFS -ideal of S.

    Proof. Assume that condition (i) holds, let eF1 be any AFS -ideal of S. Let eF1 be any AFS -bi-ideal of

    S, and ,, Sqp since the set AFESAF ,~,~, 11 is a soft -bi-ideal of S, by the assumption is soft -right ideal of S, since S is a soft -regular ,we have

    ,,, 1 pFpqpFpqp there exists Sx such that ,pxpqp since

    eF1 is AFS -bi–ideal of S,

    for all Ae

  • International Journal of Scientific Research and Modern Education (IJSRME)

    Impact Factor: 6.225, ISSN (Online): 2455 – 5630

    (www.rdmodernresearch.com) Volume 2, Issue 1, 2017

    168

    Consider

    p

    pp

    pxpqp

    eF

    eFeF

    eFeF

    1

    11

    11

    ,max

    Hence eF1 is AFS -right ideal of S. Similarly eF1 is AFS -left ideal of S. Therefore eF1 is AFS -

    ideal of S.

    Conversely assume that AFS -bi-ideal of S holds. Let BF ,1 be soft -ideal of S by theorem (4.6) the

    characteristic functionc

    F B1 is a AFS -bi-ideal of S. Hence by assumption

    c

    F A1is AFS -ideal of S,

    thus by theorem (4.5)

    c

    F A1is soft -ideal of S.

    Hence )()( iii

    The following examples shows that AFS -ideal and AFS -bi-ideal of S.

    Examples 4.8. Let }a,a,a,a { 4321S and },{ then S is a -semigroup under the operation defined as in the table.1.

    Let }v,v,v, v{ 4321E , }v, v{ 31A then AF ,1 is AFS set defined as,

    )}7.0,(),5.0,(),1,(),2.0,{(

    )}5.0,(),3.0,(),9.0,(),1.0,{(

    4321)(

    4321)(

    31

    11

    aaaa

    aaaa

    vF

    vF

    Hence AF ,1 is AFS -bi-ideal and AFS -ideal over S. Theorem 4.9. In a soft -regular semigroup S, every AFS -two sided ideal is idempotent.

    Proof. Let AF ,1 be AFS -two sided ideal of S, then by theorem (3.8) AFAFAF ,1,11 ~, . Since S is soft -regular, ,Sp there exists ,Sx

    such that pxpp for all Ae

    we have

    peFpeFpeF

    peFxpeF

    peFxpeFpeFeFpxpp

    1

    11

    11

    1111

    ,max

    ,max

    ,maxinf~

    Therefore .~, ,1,11 AFAFAF Hence .~, ,1,11 AFAFAF Theorem 4.10. In a soft -regular semigroup S, every AFS -interior ideal is idempotent.

    Proof. Let AF ,1 be AFS -interior ideal of S, then by theorem (3.10) AFAFAF ,1,11 ~, . Since S is soft -regular, ,Sp there exists ,Sx such that

    pxpp for all Ae we have pxpxppxpxppxpp for all .Ae

    peFpeFpeF

    peFxpxpeF

    peFxpxpeFpeFeFpxpxpp

    1

    11

    11

    1111

    ,max

    ,max

    ,maxinf~

    Therefore .,,~, 111 AFAFAF Hence .,,~, 111 AFAFAF

    Theorem 4.11. Every AFS interior ideal is AFS ideal over soft . regular semigroup S.

  • International Journal of Scientific Research and Modern Education (IJSRME)

    Impact Factor: 6.225, ISSN (Online): 2455 – 5630

    (www.rdmodernresearch.com) Volume 2, Issue 1, 2017

    169

    Proof. Let eF1 be a soft . ideal of S for all .Ae

    We have

    rqrqp eFeF 11 since eF1 is a left ideal of S

    qeF1 since eF1 is a right ideal of S

    Hence qrqp eFeF 11 for all Srqp ,, and .,

    Conversely assume that eF1 is AFS interior ideal of S. Let Sqp , since S is a soft regular

    semigroups, there exists Syx , such that pxpp and qyqq and , . Thus we have

    p

    qpxp

    qpxpqp

    eF

    eF

    eFeF

    1

    1

    11

    And

    q

    qyqp

    qyqpqp

    eF

    eF

    eFeF

    1

    1

    11.

    Hence proved.

    Examples 4.12. Let }a,a,a,a { 4321S and },{ then S is a -semigroup under the operation defined as in the table.1.

    Let }u,u,u,u { 4321E , }u,u { 31A then AF ,1 is AFS set defined as,

    )}8.0,(),6.0,(),8.0,(),4.0,{(

    )}9.0,(),5.0,(),9.0,(),2.0,{(

    4321)(

    4321)(

    31

    11

    aaaa

    aaaa

    uF

    uF

    Hence AF ,1 is AFS -interior ideal and -ideal over S. Theorem.4.13. Let S be a AFS semigroup. If S is regular then .~,~, ,1,11 AFESAFAF Proof. Since S is soft regular ,

    Sp there exists Sx such that pxpp for all

    .,, Ae Consider

    peF

    peFpeF

    peFpeF

    peFxeSpeF

    peFbeSaeF

    peFxpeSeF

    zeFyeSeFpeFeSeF

    baxp

    zyx

    1

    11

    11

    11

    11

    11

    1111

    ,max

    ,0~maxmax

    ,~maxmax

    ,~maxinfmax

    ,~max

    ,~maxinf~~

  • International Journal of Scientific Research and Modern Education (IJSRME)

    Impact Factor: 6.225, ISSN (Online): 2455 – 5630

    (www.rdmodernresearch.com) Volume 2, Issue 1, 2017

    170

    Therefore AFAFESAF ,1,1,1 ~,~ and by theorem (3.11). Hence AFAFESAF ,1,1,1 ~,~ . Acknowledgement:

    The research of the second author is partially supported by UGC-BSR grant: F.25-1/2014-15(BSR)/7-

    254/2009(BSR) dated 20-01-5015 in India.

    References:

    1. M. I. Ali, F. Feng, X. Y. Liu and M. Shabir, On some new operations in soft set theory, Comput. Math. Appl. 57 1547-1553, (2009).

    2. V. Chinnadurai and K. Arulmozhi, Interval valued fuzzy soft semigroups, Annamalai University science journal 50 35-44 (2016).

    3. Chinram and Jirojkul, on bi-Gamma ideals in Gamma semigroups, songklanakarin sci .technol journal. 29, 231-234(2007).

    4. P. Dheena and S. Coumaressane, Characterization of regular Gamma semigroups through fuzzy ideals, Iranian journal of fuzzy systems. 4(2), 57-68 (2007).

    5. P. K. Maji, R. Biswas and R. Roy, Soft set theory, Comput7. Math. Appl. 45, 555-562 (2003). 6. D. Molodtsov, Soft set theory first results, Comput. Math. Appl. 37 19-31(1999). 7. Muhammad Ifran Ali, Muhammad Shabir and K.P. Shum, on soft ideals over semigroups, Southeast

    Asian Bulletion of Mathematics. 34, 595-610 (2010).

    8. Muhammad Gulistan, Muhammad Aslam, Saleem Abdullah, Generalized anti fuzzy interior ideals in LA- semigroups, Applied Mathematics and information science letters an international journal. 2(3),

    1-6 (2014).

    9. T. Nagaish, Anti fuzzy bi- Gamma ideals in Gamma semigroups, International Journal of Algebra 5 (28), 1387-1394 (2011).

    10. Samit kumar majumder, A study of Gamma semigroups in terms of anti fuzzy ideals, Mathematica Aeterna.1 (8)}, 529-536 (2011).

    11. S. K Sardar, S. K Majumder and Pavel pal, Characterization of Gamma semigroups in terms of anti fuzzy ideals, Annals of fuzzy mathematics. 5(3), 463-473 (2013).

    12. M. K. Sen and N. K Saha, On Gamma semigroup, I, Bull. Calcutta Math. Soc. 78, 180-186 (1986). 13. M. Shabir and Y.Nawaz, Semigroups characterized by the properties of anti fuzzy ideals, J. Adv. Res.

    Pure Math. 1 (3), 42-59 (2009).

    14. Sujit kumar Sardar, On Fuzzy Ideals in Gamma Semigroups, International Journal of Algebra. 3 (16), 775 -784 (2009).

    15. Thawhat changphas and Boonyen thongkam, on soft Gamma semigroups, Annals of fuzzy Mathematics and Informatics, 4(2), 217-223 (2012).

    16. L. A Zadeh, Fuzzy sets Inform and control. 8, 338-353 (1965).