Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 31 No. 7s (2024) 459 https://internationalpubls.com Fuzzy Soft Ideals of Fuzzy Soft Ternary Γ- Semirings T. Satish1, D. Madhusudhana Rao2, T. Srinivas 3, M. Vasantha4, M. Sajani Lavanya5 1Assistant Professor, Department of Mathematics, SRKR Engineering College (A), Bhimavaram, A.P, India. e-mail: tsatishmaths@gmail.com 2Profesor, Department of Mathematics, Govt. Degree College for women’s (A), Guntur, A.P, India. 3Assistant Professor, Department of Science and Humanities, Vasireddy Venkatadri Institute of Technology, Namburu, Guntur (Dist), A.P, India. 4Assistant Professor, Department of H&S (Mathematics), Malla Reddy Engineering College for Women, Hyderabad, T.S, India 5Lecturer in Mathematics, Department of Mathematics, Government College (A), Rajahmundry, A.P, India. Article History: Received: 01-06-2024 Revised: 03-07-2024 Accepted: 29-07-2024 Abstract: we introduce the notation of specific classes of fuzzy soft tideals in fuzzy soft ternary Γ- Semirings in this paper. We examine several relations between distinct types of fuzzy soft tideals in fuzzy soft ternary Γ-Semirings. Keywords: Fuzzy soft ternary \Gamma-semiring (FSTΓSR), fuzzy soft tideals (FSIs), fuzzy soft prime tideal (FSPI), fuzzy soft semiprime tideal (FS-SPI), fuzzy soft strongly prime tideal (FSSPI), fuzzy soft irreducible tideal (FSII), fuzzy soft strongly irreducible tideal (FSSII). 1. Introduction We deal with certain situations in our daily lives these days for which there is no complete information available. Mathematical models are created to address scenarios including uncertainty. An extension of standard set theory is the basis for the majority of these models. Up until now, the theory of fuzzy sets may have been the most suitable theory to deal with situations involving uncertainty. However, this idea faces significant challenges, most likely as a result of inadequate parameters. People are naturally attempting to get out of this circumstance. D. Molodtsov [1] developed the idea of a soft set for this reason by incorporating sufficient parameters. A generalized mathematical tool for handling uncertain phenomena is the theory of soft sets. Medical fields successfully employ soft sets. We address Fuzzy soft TΓ-SR in this study. We also aim to use these FSIs to characterize completely regular fuzzy soft TΓ-SRs and to the properties of prime tideal, semiprime tideal, irreducible tideal in the context of fuzzy soft set. Our goal is to present a novel idea of fuzzy soft tideals, such as fuzzy soft prime tideal, fuzzy soft semiprime tideals of fuzzy soft TΓ-SR. 2. Preliminaries For Preliminaries refer to references. Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 31 No. 7s (2024) 460 https://internationalpubls.com 3. Fuzzy Soft Prime tideal and fuzzy Soft Semi Prime tideal This section covers fuzzy soft prime tideal (FSPI) and fuzzy soft semi prime tideals (FS-SPI) along with a discussion of some of their characteristics. Definition 3.1: A FΓSS ( ), ,f M  over a TΓ-SR S is said to be a FSTΓ-SR over S, if ( ) ( ) ( ) ( ), , , , , , , , .f M f M f M f M     Def 3.2: A FΓSS ( ), , ( )f M   over a TΓ-SR S is said to be fuzzy soft left tideal (FSLI) over S, if ( ) ( ), , , , .S SM M f M f M   A FΓSS ( ), , ( )f M   over a TΓ-SR S is said to be a fuzzy soft right tideal (FSRI) over S, if ( ) ( ), , , , .S Sf M M M f M   A FΓSS ( ), , ( )f M   over a TΓ-SR S is said to be a fuzzy soft lateral tideal (FSMI) over S, if ( ) ( ), , , , .S SM f M M f M   A FΓSS ( ), , ( )f M   over a TΓ-SR S is said to be a FSI over S if ( ), ,f M  is FSL, FSR and FSMI over S. Definition 3.3: A proper FSI ( ), ,f M  over a TΓ-SR S is said to be a FSPI over S if for any three proper fuzzy soft ideal (PFSI)s ( ) ( ) ( )1 2 3, , , , , , , ,h F g F i F   over S satisfying ( ) ( ) ( ) ( ) ( ) ( )1 2 3 1, , , , , , , , , , , ,h F g F i F f M h F f M         or ( )2, ,g F   ( ), ,f M  or ( )3, ,i F   ( ), , ,f M  where 1 2 3, , .F F F M Definition 3.4: A proper FSI ( ), ,f M  over a TΓ-SR S is said to be fuzzy soft strongly prime tideal (FSSPI) over S if for any PFSIs ( ) ( )1 2, , , , , ,h F g F  ( )3, ,i F  over S satisfying ( ) ( ) ( )( ) ( ) ( ) ( )( )1 2 3 2 3 1, , , , , , , , , , , ,R Rh F g F i F g F i F h F        ( )( ( ) ( )) ( ) ( ) ( )3 1 2 1, , , , , , , , , , , ,i F h F g F f M h F f M         ( ) ( )2, , , ,or g F f M   or ( ) ( )3, , , , ,i F f M   where 1 2 3, , .F F F M We now go over some findings for FSSPIs and FSPIs over TΓ-SR. Theorem 3.5: Let ( ), ,f M  be a FSPI over TΓ-SR S. Then ( )f  is a FSPI of S for all ,M  where ( ) .f   Proof: Let ( ), ,f M  be a FSPI over a TΓ-SR S. Let M  be such that ( ) .f   Let , ,U V W be tideals of S ( ).U V W f   Define ( ) ( ) ( ), ,h U g V i W  = = = and ( ) ( ) ( ) ( ) ( ), .h g i f F     = = =   − Then ( ) ( ) ( )1 2 3, , , , , ,h F g F i F    ( ), , .f M  Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 31 No. 7s (2024) 461 https://internationalpubls.com ( ) ( )1, , , ,h F f M    or ( ) ( )2, , , ,g F f M   or ( ) ( )3, , , , .i F f M   Hence ( )U f  or ( )V f  or ( ).W f  Since  is arbitrarily element of M, ( )f  is a FPI of S, .M  Note 3.6: The above result's converse is untrue. i.e. if ( )f  is a FPI of TΓ-SR S, ,M  where ,M S it may possible that ( ), ,f M  is not a FSPI over S. Theorem 3.7: Let ( ), ,f M  be a FSSPI over a TΓ-SR S. Then ( )f  is a fuzzy strongly prime ideal (FSPI) of S for all ,M  if ( ) .f   Proof: Let ( ), ,f M  be a FSSPI over TΓ-SR S and M  be ( ) .f    Let , ,U V W be tideals of S ( ).R RU V W V W U W U V f     Let us define ( ) ( ), ,h U g V = = ( )i W = and ( ) ( ) ( ) ( )  , .h g i f M     = = =   − Then we find that ( ) ( )( ( )) ( ) ( ) ( )( )1 2 3 1 2 3, , , , , , , , , , , ,R Rh F g F i F g F i F h F        ( ) ( ) ( )( ) ( ) ( ) ( )3 1 2 1, , , , , , , , . , , , ,i F h F g F f M h F f M         or ( )2, ,g F   ( ), ,f M  or ( ) ( )3, , , , .i F f M   Therefore, ( )U f  or ( )V f  or ( ).W f  Hence each ( )f  is a FSPI over S for ( ) .f   Proposition 3.8: Every FSSPI over a TΓ-SR S is a FSPI over S. Proof: Let ( ), ,f M  be a FSSPI over a TΓ-SR S and ( ) ( ) ( )1 2 3, , , , , , , ,h F g F i F   be FSIs over S ( ) ( ) ( ) ( )1 2 3, , , , , , , , .h F g F i F f M      Then ( )( ( )1 2, , , ,h F g F  ( )) ( )( ( ) ( )) ( )( ( ) ( ))3 2 3 1 3 1 2, , , , , , , , , , , , , ,R Ri F g F i F h F i F h F g F          ( ) ( ) ( ) ( ) ( ) ( )1 2 3 1, , , , , , , , . , , , ,h F g F i F f M h F f M         or ( )2, ,g F   ( ), ,f M  or ( ) ( )3, , , , .i F f M   Hence ( ), ,f M  is a FSPI over S. Definition 3.9: Let ( ) , ,j j j I f M   be a collection of FSIs over a TΓ-SR S. This collection is said to be a chain of tideals if ( ) ( )1 1 2 2, , , ,f M f M    ( )3 3, , ..........f M   Proposition 3.10: The collection of FSIs ( ) , ,j j j I f M   is a chain of FSIs over TΓ-SR S iff ( ) j j I f x  is a chain of tideals of S, .x M  Proof: Let S be a TΓ-SR. Then ( ), ,j jf M  is FSI over S, j I  iff ( )jf x are ideals of S, and .j I x M   Again ( ) ( ) ( )1 1 2 2 3 3, , , , , , ..........f F f F f F      iff ( ) ( )1 2f x f x  ( )3 ..........f x  .x M  Therefore ( ) j j I f x  is a chain of tideals .x M  Proposition 3.11: Let ( ) , ,j j j I f M   be a chain of FSPIs over TΓ-SR S. Then ( ), ,j j j I f M    is a FSPI over S. Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 31 No. 7s (2024) 462 https://internationalpubls.com Proof: Let ( ) ( ), , , , .j j j I f M f M   =   Suppose ( )1, , ,h F  ( ) ( )2 3, , , , ,g F i F  are any proper FSIs over S ( ) ( ) ( ) ( )1 2 3, , , , , , , , .h F g F i F f M      ( ) ( )1 2, , , ,h F g F   ( ) ( )3, , , , , .ji F f M j I     Therefore ( ) ( )1 2, , , ,h F g F  ( ) ( )3 1, , , , .i F f M   Then by the definition of FSPI ( ) ( )1 1, , , ,h F f M   or ( ) ( )2 1, , , ,g F f M   or ( )3, ,i F   ( )1, , .f M  And by the definition of chain, we have ( ) ( )1, , , , , .jf F f M j I     So ( ) ( )1, , , ,h F f M   or ( ) ( )2, , , ,g F f M   or ( ) ( )3, , , , .i F f M   Hence ( ), ,f M  is a FSPI over S. Proposition 3.12: Let ( ), ,f M  be a FSPI over TΓ-SR S and ( ), ,g N  be any FSI over S. Then ( ) ( ), , , ,Rf M g N   is a FSPI of ( ), , .g N  Proof: Let ( ) ( ) ( ), , , , , , .Rh P f M g N =    Then .P M N=  Let ( ) ( )1 1 2 2, , , , , ,h P h P  ( )3 3, ,h P  be FSIs of ( ), ,g N  such that ( ) ( ) ( )1 1 2 2 3 3, , , , , ,h P h P h P    ( ) ( ), , , , .Rf M g N   Therefore ( ) ( ) ( ) ( )1 1 2 2 3 3, , , , , , , , .h P h P h P h P     This implies that ( ) ( )1 1, , , ,h P h P   or ( ) ( )2 2, , , ,h P h P   or ( ) ( )3 3, , , , .h P h P   Since ( ) ( ) ( )1 1 2 2 3 3, , , , , , , ,h P h P h P   all are FSIs of ( ), , ,g N  we have ( ) ( )1 1, , , ,h P f M   ( ), ,R g N  or ( ) ( ) ( )2 2, , , , , ,Rh P f M g N     or ( )3 3, ,h P   ( ) ( ), , , , .Rf M g N   Thus ( ) ( ) ( )1, , , , , ,Rf M g N h P   =  is FSPI of ( ), , .g N  Definition 3.13: A PFS (L, R, M) tideal ( ), ,f M  over TΓ-SR S is said to be a FS (L,R,M) SPI over S, if for any PFS (L,R,M) tideal ( ), ,g N  over S, ( ) ( ), , , ,g N g N  ( ) ( ), , , ,g N f M    ( ) ( ), , , , .g N f M   Lemma 3.14: A PFSI ( ), ,f M  over a TΓ-SR S is fuzzy soft semiprime tideal (FS-SPI) over S iff ( )f   is SPI of S for each .M  Proof: Let ( ), ,f M  be a FS-SPI over TΓ-SR S. Therefore, ( ), ,f M  is a FSI over S. Let .M  Then ( )f  is an tideal of S. Let U be an ideal of S such that ( )3 .U f  Let us define a FSI ( ), ,g N  over S,   ( ), .N g U  = = Therefore ( ) ( )2 2, , , ,g N g N  ( ) ( ), , , , .g N f M    ( ) ( ), , , ,g N f M    ( ) ( ) ( ).g f U f     Thus ( )f  is a SPI of S, .M  Conversely, suppose that ( )f  is a SPI of S, .M  Let ( ), ,g N  be FSI over S, ( ) ( ) ( ) ( ), , , , , , , , .g N g N g N f M      ( ) ( ) ( ) ( )So, , .g g g f N M        Since ( )f  is a SPI of S, ( ) ( ) ( ), . , ,g f N M g N        ( ), , .f M  Hence ( ), ,f M  is a FS-SPI over TΓ-SR S. Proposition 3.15: Every FSPI over TΓ-SR S is a FS-SPI tideal over S. Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 31 No. 7s (2024) 463 https://internationalpubls.com Proof: Let ( ), ,f M  be a FSPI over S and ( ), ,g N  be any PFSI over S, ( ) ( ) ( ) ( ), , , , , , , , .g N g N g N f M      Since ( ), ,f M  is FSPI over S we have, ( ) ( ), , , , .g N f M   Hence ( ), ,f M  is a FS-SPI over S. Corollary 3.16: Every FSSPI over a TΓ-SR S is a FS-SPI over S. Definition 3.17: Let ( ), ,f M  be a FSI over TΓ-SR S. Then ( ), ,f M  is said to be fuzzy soft irreducible tideal (FSII) over S if for FSIs ( ) ( ) ( )1 2 3, , , , , , , ,h F g F i F   over S satisfying ( ) ( ) ( ) ( ) ( ) ( )1 2 3 1, , , , , , , , . , , , ,R Rh F g F i F f M h F f M     =    =  or ( )2, ,g F  ( ), ,f M=  or ( ) ( )3, , , , .i F f M =  Definition 3.18: Let ( ), ,f M  be a FSI over TΓ-SR S. Then ( ), ,f M  is said to be fuzzy soft strongly irreducible tideal (FSSII) over S if for any FSIs ( ) ( ) ( )1 2 3, , , , , , , ,h F g F i F   over S satisfying ( )1, , Rh F   ( ) ( ) ( )2 3, , , , , , .Rg F i F f M   =  ( ) ( )1, , , ,h F f M    or ( )2, ,g F  ( ), ,f M  or ( ) ( )3, , , , .i F f M   The following are some properties of FSIIs and FSSIIs over TΓ-SR S. Lemma 3.19: Let ( ), ,f M  be a FSII over TΓ-SR S. Then ( )f  is irreducible tideal of S, ,M  where ( ) .f   Proof: Let ( ), ,f M  be a FSII over TΓ-SR S. Let .M  Then ( )f  is a tideal of S. Let , ,U V W be tideals of S, ( ).U V W f    = Now define ( ) ( ), ,h U g V = = ( )i W = and ( ) ( ) ( ) ( )  , .h g i f M     = = =  − Then ( ) ( )1 2, , , , , ,h F g F  ( )3, ,i F  are FSIs over S, ( ) ( ) ( ) ( )1 2 3, , , , , , , , .R Rh F g F i F f M      =  Since ( ), ,f M  is FSII over S, ( ) ( )1, , , ,h F f M =  or ( ) ( )2, , , ,g F f M =  or ( ) ( )3, , , , .i F f M =  Therefore, ( ) ( )h f = or ( ) ( )g f = or ( ) ( ) , .i f M  =   ( )U f  = or ( )V f = or ( ).W f = So ( )f  is irreducible tideal of S. Since  is an arbitrary element of M, ( )f  is irreducible tideal of S, .M  Note 3.20: In general, lemma 3.19's converse is untrue. Lemma 3.21: Let ( ), ,f M  be a FSSII over TΓ-SR S. Then ( )f  is a strongly irreducible tideal (SII) of S, M  where ( ) .f   Lemma 3.22: Every FSSII over TΓ-SR S is a FSII over S. Proposition 3.23: Every FSPI over TΓ-SR S is a FSSII over S. Proof: Let ( ), ,f M  be a FSPI over S. Let ( ) ( ) ( )1 2 3, , , , , , , ,h F g F i F   be FSIs over S ( ) ( ) ( ) ( )1 2 3, , , , , , , , .R Rh F g F i F f M        Now ( ) ( ) ( )1 2 3, , , , , ,h F g F i F    Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 31 No. 7s (2024) 464 https://internationalpubls.com ( ) ( ) ( ) ( ) ( )1 1 2 3 2, , , , , , , , , , , ,h F h F g F i F g F      and ( ) ( ) ( )1 2 3, , , , , ,h F g F i F    ( )3, , .i F  Therefore, ( ) ( ) ( ) ( ) ( ) ( )1 2 3 1 2 3, , , , , , , , , , , ,R Rh F g F i F h F g F i F          ( ), , .f M  ( ) ( )1, , , ,h F f M    or ( ) ( )2, , , ,g F f M   or ( ) ( )3, , , , .i F f M   So ( ), ,f M  is a SII tideal over S. Note 3.24: Since every FSPI over TΓ-SR S is FSSII over S and every FSSII over TΓ-SR S is FSII over S, every FSPI over TΓ-SR S is a SII over S. Theorem 3.25: A FS-SPI over TΓ-SR S is FS-SPI if it is FSII over S. Proof: Let ( ), ,f M  be a FS-SPI over S. Let ( ) ( ) ( )1 2 3, , , , , , , ,h F h F i F   be PFSIs over S, ( ) ( ) ( ) ( )1 2 3, , , , , , , , .h F g F i F f M      Suppose ( ), ,f M  is FSII over S. Now ( ) ( ) ( )( ) ( ) ( ) ( )( )1 2 3 1 2 3, , , , , , , , , , , ,R R R Rh F g F i F h F g F i F          ( ) ( ) ( )( ) ( ) ( ) ( ) ( )1 2 3 1 2 3, , , , , , , , , , , , , , .R Rh F g F i F h F g F i F f M           ( ) ( ) ( ) ( )1 2 3, , , , , , , , .R Rh F g F i F f M        Therefore, ( )( ( )1 2, , , ,R Rh F g F    ( )) ( ) ( )3, , , , , , .i F f M f M   =  ( ) ( ) ( ) ( )1 2, , , , , , or , ,h F f M f M g F    =    ( ) ( ), , , ,f M f M =  or ( ) ( ) ( )3, , , , , , .i F f M f M   =  Therefore, ( ) ( )1, , , ,h F f M   or ( ) ( )2, , , ,g F f M   or ( ) ( )3, , , , .i F f M   Hence ( ), ,f M  is a FSPI over S. Theorem 3.26: If ( ), ,f M  is a FSI over TΓ-SR S with identity and .S  Then the equivalent conditions are as follows. (i) ( ), ,f M  is FS-SPI over S. (ii) ( )f   is a SPI of S. (iii) ( ) ( ).S S S S f f        (iv) ( )( )( ) ( ) ( ) ( )( )( ) ( ),S S S S S S f f S S S S S S f              ( ) ,f  ( )( )( ) ( ) ( ).S S S S S S f f        Proof: ( ) ( ) :i ii based on Lemma 3.14. ( ) ( )ii iii Suppose that ( )f  is a SPI of S, M  ( ) .and f   Let ( )S S S S    ( ).f  Therefore ( ) ( ) ( )( ) ( ) ( ).S S S S S S SS SS f S S SSf SS f SS f          Now ( )( )( ) ( ).SS SS SS SS SS SS SS SS SS SS f        Therefore, SS SS  ( ).f  Again SS SS is an ideal containing  Thus ( ).f  ( ) ( )iii iv Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 31 No. 7s (2024) 465 https://internationalpubls.com Let ( )( )( ) ( ).SS SS SS f    Now ( ) ( ).SS SS SS SS SS f        ( ).f   Again ( )( )( ) ( ).SS SS SS f    Therefore, ( ) ( )SS SS SS SS SS     ( ) ( ). .SS f f     Similarly, ( )( )( ) ( )S S S S S S f    ( ).f   ( ) ( )iv v Since ( ), ,f M  is a FSI over S, ( )f   is ideal of S, .M  Let U be an tideal of S, ( )3 .U f   Let .U Now ( )( )( ) ( )3 .SSU SSU SSU U f   Hence ( )( )( ) ( )( )( ) ( ).SS SS SS SSU SSU SSU f     ( ).f   Thus ( ).U f  Therefore, ( )f  is a SPI of S, ( ), .M f      References [ 1] D. Molodtsov, soft set theory-first result, Comput. Math. Appl. 37 (4/5) (1999) 19-31. [ 2] D.H. Lehmaer, A ternary analogue of Abelian groups, Am. J. Math. 59 (1932) 329- 338. [ 3] F.M. Sioson, Ideal theory in ternary Semigroups, Math. Jpn. 10 (1965) 63-84. [ 4] T.K. Dutta , S.Kar, B.K.Maity, On ideals in regular ternary Semigroups, Discus. Math. Gen, Algebra Appl. 28 (2009) 147-159. [ 5] M. Murali Krishna Rao (2018), “Fuzzy Soft Ideal, Fuzzy Soft Bi-Ideal, Fuzzy Soft Quasi-Ideal and Fuzzy Soft Interior Ideal over Ordered Γ−Semiring”, Asia Pacific Journal of Mathematics, Vol. 5, No. 1, pp.60-84. [ 6] T. Satish, D. Madhusudhana Rao, M. Vasantha, K. Anuradha, “Fuzzy Soft Ternary Γ-Semirings-I”, International Journal of Recent Technology and Engineering (IJRETE), 8(1S3), pp. 325-327 (2019). [ 7] B. Ravi Kumar, D. Madhusudhana Rao, T. Satish, B.Sankara Rao, Soft Ternary  -Semirings-II, International Journal of Recent Technology and Engineering, Vol.8, Issue-1S3, 328-331 (2019). [ 8] T. Satish, D. Madhusudhana Rao, P. Siva Prasad, M.Vasantha, Fuzzy soft Ternary  -Semirings-II, International Journal of Engineering and Advanced Technology, Vol. 9,Issue-1S5, 235-239(2019). [ 9] T. Satish, D. Madhusudhana Rao, M. Vasantha, K. Praveen Kumar-Fuzzy Soft ternaryΓ-semiring-III, Mukt Shabd Journal, IX (IV), 2020, pp. 2396-2406. [ 10] C. Sreemannarayana, D. Madhusudhana Rao, P. Sivaprasad, T. Nageswara Rao T.,and K. Anuradha, On le-ternary semi groups-I’, International Journal of Recent Technology and Engineering, 7(ICETESM18), 2019, pp.165-167. [12] T. Satish, D. Madhusudhana Rao, K. Praveen Kumar, M. SajaniLavanya-Fuzzy Soft ternary Γ-semiring-IV, Mukt Shabd Journal, IX(IV), 2020, pp. 2550-2560. [13] K. Revathi, D. Madhusudhana Rao, P.Sundarayya and T.Satish, A Study on Fuzzy T -ideals in Ternary  - Semirings, International Journal of Engineering and Technology, Vol.7 (3.31), 160-162(2017).