Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Next Article in Journal
A Solitonic Study of Riemannian Manifolds Equipped with a Semi-Symmetric Metric ξ-Connection
Next Article in Special Issue
Extension of Fuzzy ELECTRE I for Evaluating Demand Forecasting Methods in Sustainable Manufacturing
Previous Article in Journal
On Further Refinements of Numerical Radius Inequalities
Previous Article in Special Issue
A Novel Study of Fuzzy Bi-Ideals in Ordered Semirings
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Left and Right Operator Rings of a Γ Ring in Terms of Rough Fuzzy Ideals

by
Durgadevi Pushpanathan
and
Ezhilmaran Devarasan
*
Department of Mathematics, School of Advanced Sciences, Vellore Institute of Technology, Vellore 632014, India
*
Author to whom correspondence should be addressed.
Axioms 2023, 12(9), 808; https://doi.org/10.3390/axioms12090808
Submission received: 7 July 2023 / Revised: 8 August 2023 / Accepted: 10 August 2023 / Published: 22 August 2023
(This article belongs to the Special Issue Recent Advances in Fuzzy Sets and Related Topics)

Abstract

:
The relationship between Rough Set (RS) and algebraic systems has been long studied by mathematicians. RS is a growing research area that encourages studies into both real-world applications and the theory itself. In RS, a universe subset is characterized by a pair of ordinary sets called lower and upper approximations. In this study, we look attentively at the use of rough sets when the universe set has a ring structure. The main contribution of the paper is to concentrate on the study of rough fuzzy ideals concerning the gamma ring and to describe some properties of its lower and upper approximations. This paper deals with the connection between Rough Fuzzy Sets (RFS) and ring theory. The goal of this paper is to present the notion of Left Operator Rings (LOR) and Right Operator Rings (ROR) in the gamma ring structure. We introduce some basic concepts of rough fuzzy left and right operator rings. Furthermore, we investigate some characterizations of left and right operator rings and prove some theorems based on these results.

1. Introduction

Researchers have studied abstract algebra in fuzzy settings since the introduction of Zadeh’s fuzzy sets in 1965 [1]. The use of fuzzy sets with algebraic structures plays a major role in mathematics, with numerous applications. As a result, academics have plenty of motivation to explore concepts and conclusions from the area of abstract algebras and apply them to fuzzy settings more broadly. The literature on numerous fuzzy algebraic ideas is rapidly expanding. Many researchers have also addressed various algebraic structures in fuzzy versions [2]. The gamma ring is a type of algebraic structure. Nobusawa proposed the gamma ring concept in 1964 [3]. Compared to ring structures, this is more common. Barnes lowered the requirements of Nobusawa’s gamma ring [4]. A fuzzy set was applied in the theory of gamma rings by Jun et al. [5,6]. In ring theory, gamma rings have been used to extend several fundamental conclusions. Dutta et al. discussed several compositions of fuzzy ideals in gamma rings [7]. Kyuno and Luh investigated the structure of gamma rings and discovered several generalizations that are similar to equivalent portions in ring theory [8,9,10]. Muhiuddin et al. studied fuzzy bi ideals in semirings [11]. Murray et al. focused on the operator ring and discussed some of its related results [12]. Alam studied the concept of fuzzy rings with operators and proved some of its properties [13].
IFS is an extension of a fuzzy set. In 1986 the idea of IFS was stated by Atanassov to address the issue of non determinacy caused by a single membership function. IFS can be useful in explaining decision-making uncertainty and ambiguity. A study of the intuitionistic fuzzy ideals of gamma rings was conducted by Palaniappan et al. [14,15]. Ezhilmaran et al. explored the characteristic properties of gamma near rings in 2017 [16]. Yamin et al. examined some new ideas such as an intuitionistic fuzzy ring with operators, an intuitionistic fuzzy ideal with operators, and an intuitionistic fuzzy quotient ring with operators [17].
Pawlak introduced RS theory [18,19]. Pawlak’s RS theory and Zadeh’s fuzzy set theory are complementary generalizations of classical set theory. A fuzzy set deals with possibility uncertainty, which is associated with the imprecision of states, perceptions, and preferences, whereas RS deals with the uncertainty caused by the ambiguity of information. Fuzzy set theory combined with RS theory led to a wide range of models. Many researchers discussed fuzzy sets with algebraic structure. RS is a growing field of study that encourages investigation into both practical applications and the theory itself. Applications in science were more effective when the algebraic structure of a mathematical theory was studied. This is the main motivation for our research into the algebraic structures of these generalized rough sets. In addition to providing additional insight into RS theory, such research may result in the development of new application methods. Davvaz et al. proved the connection between rough sets with ring theory and also discussed rough subrings [20]. Some authors discussed the results and methods of rough algebraic structures [21,22]. Agusfrianto et al. discussed rough rings and proved some results [23].
Fuzzy set theory and RS theory are two widely used approaches for dealing with the ambiguity and imprecision of the data. These theories can combine in a very helpful way even if they are different from one another. In 1990, Dubois et al. investigated RFS and fuzzy rough sets [24]. Using a crisp approximation space, RFS is a pair of fuzzy sets derived from a fuzzy set and a fuzzy rough set is an approximation of a crisp set in a fuzzy approximation space. RFS can be used in analyzing improbability in classification, especially vagueness. Subha et al. focused on rough semiprime and rough fuzzy ideals in semigroups [25]. Few researchers have discussed rough fuzzy ideals in rings [26,27,28]. Recently, many authors have discussed RFI in gamma ring structures [29,30]. Researchers discussed the gamma ring using fuzzy and intuitionistic fuzzy sets. An extension of this is proposed in a new work using rough fuzzy ideals in gamma rings.
The present work aims at giving the RFI in left and right operators of the gamma ring structure. The arrangement of the article is as follows. In Section 2, we include the prerequisites of the concept. We discuss some properties of ROR and prove some results in Section 3. Section 4 investigates the notion of a rough fuzzy ideal with a left operator ring and presents the relevant results. Finally, Section 5 concludes the study.

2. Preliminaries

Definition 1
([3]). If N = { p , q , r . } and Γ = α , β , γ .   be two additive abelian groups and for all p , q , r   N   and α , β   Γ the following axioms are satisfied
  • 1   p α q N
  • 2 p + q α   r = p α   r + q α   r ,   p α + β q = p α q + p β q ,   p α q + r = p α q + p α r ,
  • 3 p α q β   r = p α ( q β r ) .
Then N is called a Γ Ring. If these axioms are enriched by Barnes ([4)]
  • 1   p α q N , α p β Γ
  • 2 p + q α   r = p α   r + q α   r ,   p α + β q = p α q + p β q ,   p α q + r = p α q + p α r ,
  • 3 p α q β   r = p α q β r = p α q β r ,
  • 4   p α q = 0   f o r   a l l   p , q N   i m p l i e s   α = 0 .  
Definition 2
([19]). Suppose the knowledge base K = (U, R) with each subset P U and an equivalence relation R I N D ( K ) we associated two subsets a p r _ ( P ) = { Y U / R   : Y P } and a p r ¯ P = { Y   U / R   :   Y P   ϕ }, called apr-lower and apr-upper approximations of P respectively.
Definition 3
([24]). Let   X U be a set, R be an equivalence relation on U and P be a fuzzy subset in U. Then upper and lower approximation of a p r ¯ ( X ) and a p r _ ( X ) be the fuzzy subsets P by R are the fuzzy subset of   U / R with membership function is μ a p r ¯ P ( X i ) = s u p μ P ( x ) / ω ( X i ) = [ x ] R and   μ a p r ¯ P P i = i n f μ P ( x ) / ω ( X i ) = [ x ] R .   Where μ a p r ¯ P X i (resp. μ a p r _ P ( X i ) )   is the membership of X i   in a p r ¯ P (resp. a p r _ P ) .   ( a p r ¯ ( P ) ,   a p r _ ( P ) is called a RFS.
Definition 4
([30]). An upper (resp. Lower) RFS P = < a p r ¯ P , a p r ¯ P > in N is called a RFLI (resp. RFRI) of a Γ Ring N.
  • 1 a p r ¯ P a b a p r ¯ P a a p r ¯ P b ,
  •   a p r ¯ P a λ b   a p r ¯ P b [ r e s p .   a p r ¯ P a λ b   a p r ¯ P a ]
  • 2   a p r ¯ P a b a p r ¯ P a a p r ¯ P b ,  
  •   a p r ¯ P a λ b a p r ¯ P b [ r e s p . a p r ¯ P a λ b a p r ¯ P a ], for all   a , b   N  and  λ Γ .
Example 1
([30]). Let N = { a ,   b ,   c ,   d }   and λ = {e, f, g, h}. Define N and α as follows
- a b c d λ e f g h
a a b cd e e f g h
b b b d c f f f h g
c c d d c g g h h g
d d c c c h h g g g
a p r ¯ p x = 0.5 i f   x = a , e 0.6 i f   x = b , f 0.6 i f   x = c , d , g , h ,   a p r ¯ P x = 0.7 i f   x = a , e 0.5 i f   x = b , f 0.4 i f   x = c , d , g , h  
By routine calculation, clearly N is a RFI.

3. Right Operator Ring

In this section, we establish some of the properties of ROR of a Γ Ring and proved some related theorems. Throughout the paper, we assume that for any rough fuzzy left [resp. right, two sided] ideal P of N,   a p r ¯ P 0 N = 1 ,   a p r ¯ P 0 N = 0 , and a p r ¯ P 0 L = 1 ,   a p r ¯ P 0 L = 0 .
Definition 5
([9]). Let N be a Γ   Ring and F be the free abelian group generated by Γ × N , the set of all ordered pairs ( λ , a ) with   a N ,   λ Γ . Let A be the subgroup of elements i n i λ i , a i F ,   w h e r e   n i   a r e   i n t e g e r s   s u c h   t h a t   i n i a λ i a i = 0   f o r   a l l   a N .     Let R =   F / A , the factor group of F by A and the coset ( λ ,   a ) + A by [ λ ,   a ] . Clearly every element in R can be expressed as a finite sum   i λ i ,   a i .   Also, for all   a , b N and λ , μ Γ ,   λ ,   a + μ ,   a = [ λ + μ ,   a ] and λ ,   a + λ ,   b = λ ,   a + b . We define a multiplication in R by   i [ λ i ,   a i ]   j μ j ,   b j = i , j λ i ,   a i μ j b j .   Then R forms the Ring. Furthermore, N is a right R-module, with the definition a .   i λ i , a i = i a λ i a i   f o r   a N ,   i [ λ i , a i ] R .   We call the ring R is the ROR of the Γ   Ring N.
Definition 6
([9]). A right unity of Γ   Ring N is an element   i [ δ i ,   e i ] R   s u c h   t h a t   i a δ i e i = a   f o r   e v e r y   e l e m e n t   a N .   i [ δ i ,   e i ]   i s   t h e   u n i t y   o f   R .  

3.1. Rough Fuzzy Sets in Right Operator Rings of a Γ Ring

Definition 7
([7]). For a fuzzy subset φ of R, define a fuzzy subset  φ * of N by
φ * a = ϑ Γ φ ( [ ϑ , a ] )   w h e r e   a   N .
For a fuzzy subset  ρ  of N define a fuzzy subset  ρ * of R by
ρ * i λ i , a i   = n N ρ i n λ i a i , w h e r e   i λ i , a i R .
Definition 8.
For a rough fuzzy subset P = < a p r ¯ P ,   a p r ¯ P > of R, define a rough fuzzy subset   P * = < a p r ¯ P * ,   a p r ¯ P * > of N by
a p r ¯ P * a = ϑ Γ a p r ¯ P ( [ ϑ , a ] )   a n d     a p r ¯ P * a = ϑ Γ a p r ¯ P ( [ ϑ , a ] ) ,   w h e r e   a N .  
For a rough fuzzy subset Q = < a p r ¯ Q ,   a p r ¯ Q > of N, define a rough fuzzy subset  Q * = < a p r ¯ Q * ,   a p r ¯ Q * >  of R by
a p r ¯ Q * i λ i , a i = n N a p r ¯ Q i n λ i a i   a n d   a p r ¯ Q * i λ i , a i = n N a p r ¯ Q i n λ i a i ,   w h e r e i λ i , a i R .

3.2. Characterizations of Rough Fuzzy Ideals in Right Operator Rings of a Γ Ring

Theorem 1.
If { P i / i I }  is a family of rough fuzzy subsets of R, then
i I a p r ¯ P i * = i I a p r ¯ P i * a n d   i I a p r ¯ P i * = i I a p r ¯ P i * .  
Proof. 
Let a N .
i I a p r ¯ P i * a = ϑ Γ i I a p r ¯ P i ϑ , a = ϑ Γ i I a p r ¯ P i ϑ , a   = i I ϑ Γ a p r ¯ P i ϑ , a = i I a p r ¯ P i * a = i I a p r ¯ P i * a .
S o i I a p r ¯ P i * = i I a p r ¯ P i * .
Also
i I a p r ¯ P i *   ( a ) = ϑ Γ i I a p r ¯ P i * ( ϑ , a ) = ϑ Γ i I ( a p r ¯ P i ϑ , a ) = i I ϑ Γ a p r ¯ P i ( ϑ , a ) = i I a p r ¯ P i * ( a ) = i I a p r ¯ P i * ( a ) .
So i I a p r ¯ P i * = i I a p r ¯ P i *   .  
Theorem 2.
If P = < a p r ¯ P ,   a p r ¯ P >  RFI (R) [resp. RFRI (R), RFLI (R)], then the RFS  P * =  <  a p r ¯ P * ,   a p r ¯ P * >  RFI (N) [resp. RFRI (N), RFLI (N)].
Proof. 
Consider P be the RFI of R. Then a p r ¯ P 0 R = 1 and a p r ¯ P 0 R = 0 . Now
a p r ¯ P * 0 N = ϑ Γ a p r ¯ P ϑ ,   0 N = ϑ Γ a p r ¯ P 0 R = 1   a n d a p r ¯ P * 0 N = ϑ Γ a p r ¯ P ϑ ,   0 N = ϑ Γ a p r ¯ P 0 R = 0 .
So P * is nonempty. If a ,   b   N   and  λ Γ .
a p r ¯ P * a b = ϑ Γ a p r ¯ P ϑ ,   a b = ϑ Γ a p r ¯ P ( ϑ , a ϑ , b )   ϑ Γ a p r ¯ P ϑ ,   a ϑ Γ a p r ¯ P ϑ ,   b = a p r ¯ P * a a p r ¯ P * b . a p r ¯ P * a b = ϑ Γ a p r ¯ P ϑ , a b = ϑ Γ a p r ¯ P ϑ , a ϑ , b   ϑ Γ a p r ¯ P ( ϑ , a ) ϑ Γ a p r ¯ P ( ϑ , b ) = a p r ¯ P * a a p r ¯ P * b .  
Also
  a p r ¯ P * a λ b = ϑ Γ a p r ¯ P ϑ ,   a λ b = ϑ Γ a p r ¯ P ( ϑ , a λ , b )   ϑ Γ a p r ¯ P ϑ ,   a = a p r ¯ P * a .
For right ideals
a p r ¯ P * a λ b = ϑ Γ a p r ¯ P ϑ ,   a λ b = ϑ Γ a p r ¯ P ( ϑ , a λ , b )   ϑ Γ a p r ¯ P λ , b = a p r ¯ P λ , b ϑ Γ a p r ¯ P ϑ , b = a p r ¯ P * ( b )
Similarly,
a p r ¯ P * a λ b = ϑ Γ a p r ¯ P ϑ , a λ b = ϑ Γ a p r ¯ P ϑ , a λ , b     ϑ Γ a p r ¯ P ϑ , a = a p r ¯ P * a .
For right ideals
a p r ¯ P * a λ b = ϑ Γ a p r ¯ P ϑ , a λ b = ϑ Γ a p r ¯ P ϑ , a λ , b
  ϑ Γ a p r ¯ P λ , b = a p r ¯ P λ , b ϑ Γ a p r ¯ P ϑ , b = a p r ¯ P * b .
So, P * is a RFI of N.□
Theorem 3.
If P = < a p r ¯ P , a p r ¯ P >  RFI (N) [resp. RFLI (N), RFRI (N)], then the RFS   P * = < a p r ¯ P * ,   a p r ¯ P * > RFI (R) [resp. RFLI (R), RFRI (R)].
Proof. 
Let P be a RFI of N. Then a p r ¯ P 0 N = 1 and   a p r ¯ P 0 N = 0 .
  a p r ¯ P * ϑ ,   0 N = n N a p r ¯ P n ϑ 0 N = a p r ¯ P ( 0 N ) = 1   a n d a p r ¯ P * ϑ ,   0 N = m M a p r ¯ P n ϑ 0 N = a p r ¯ P ( 0 N ) = 0 .
So, P * is nonempty.
L e t i λ i , a i ,   j μ j , b j R .   T h e n       a p r ¯   P * i λ i , a i j μ j , b j = n N a p r ¯ P i n λ i a i j n μ j b j   n N a p r ¯ P i n λ i a i a p r ¯ P j n μ j b j = n N a p r ¯ P i n λ i a i n N a p r ¯ P j n μ j b j   = a p r ¯   P * i λ i , a i a p r ¯   P * j μ j , b j a n d     a p r ¯   P * i λ i , a i j μ j , b j = n N a p r ¯ P i n λ i a i j n μ j b j   n N a p r ¯ P i n λ i a i a p r ¯ P j n μ j b j ) = n N a p r ¯ P i n λ i a i n N a p r ¯ P j n μ j b j = a p r ¯   P * i λ i , a i a p r ¯   P * j μ j , b j .
Again,
  a p r ¯   P * i λ i , a i j μ j , b j = a p r ¯   P * i , j λ i ,   a i μ j b j = n N a p r ¯ P i , j n λ i a i μ j b j n N i a p r ¯ P n λ 1   j a 1 μ j b j ,   a p r ¯ P n λ 2   j a 2 μ j b j n N i a p r ¯ P j a 1 μ j b j , a p r ¯ P j a 2 μ j b j = a p r ¯ P j a 1 μ j b j ,   a p r ¯ P j a 2 μ j b j n N a p r ¯ P j n μ j b j = a p r ¯   P * j μ j , b j
Similarly, we can prove that
a p r ¯   P * i λ i , a i j μ j , b j a p r ¯   P * i λ i , a i
and
a p r ¯   P * i λ i , a i j μ j , b j = a p r ¯   P * i , j [ λ i ,   a i μ j b j ] = n N a p r ¯ P i , j n λ i a i μ j b j   n N i   a p r ¯ P n λ 1 j a 1 μ j b j , a p r ¯ P n λ 2 j a 2 μ j b j   n N i   a p r ¯ P j a 1 μ j b j ,   a p r ¯ P j a 2 μ j b j = a p r ¯ P j a 1 μ j b j , a p r ¯ P j a 2 μ j b j   n N a p r ¯ P j n μ j b j = a p r ¯   P * j μ j , b j .
Similarly, we can prove that,
a p r ¯ P * i λ i , a i j μ j , b j a p r ¯ P * i λ i , a i .
So   P * is a RFI of R.□
Theorem 4.
The lattices of all RFI (resp. RFLI) of N and R are bijective mapping with respect to the inclusion and if preserves the isomorphic condition P P * where P RFI(N) [resp. RFLI(N)] and   P *   R F I ( R )   [resp.RFLI(R)].
Proof. 
First, we show that ( P * ) * = P, where P R F I N . Let a N. Then
a p r ¯   P * * ( a ) = ϑ Γ a p r ¯ P * ( ϑ , a ) = ϑ Γ n N   a p r ¯ P   ( n ϑ a ) ϑ Γ n N   [   a p r ¯ P   a ] = a p r ¯ P a . a p r ¯   P * * a = ϑ Γ a p r ¯ P * ϑ , a = ϑ Γ n N   [ a p r ¯ A n ϑ a ]   ϑ Γ n N   [ a p r ¯ P a ] = a p r ¯ P a .
So, P ( P * ) * .
A s s u m e j [ e j , δ j ] b e   t h e   e l e m e n t   o f   N   w i t h   l e f t   u n i t y .
W e   h a v e j e j δ j   a   =   a   f o r   e v e r y   a     N .
Now,
a p r ¯ P a = a p r ¯ P j e j δ j a i a p r ¯ P e 1 δ 1 a ,   a p r ¯ P e 2 δ 2 a ,   ϑ Γ n N   a p r ¯ P ( n ϑ a ) = a p r ¯   P * * a .   a p r ¯ P = a p r ¯ P j e j δ j a i   a p r ¯ P e 1 δ 1 a ,   a p r ¯ P e 2 δ 2 a ,   ϑ Γ n N   a p r ¯ P ( n ϑ a ) = a p r ¯   P * * a .
So, ( P * ) * P. Hence P = ( P * ) * . Again, let P be a RFI of R. Now,
a p r ¯ P * * k [ λ k ,   a k ] = n N   a p r ¯ P * k ( n λ k a k )   = n N   ϑ Γ a p r ¯ P ϑ ,   k n λ k a k ) = n N   ϑ Γ a p r ¯ P ( ϑ , n k   [ λ k ,   a k ] )     a p r ¯ P k [ λ k ,   a k ] .
a p r ¯ P * * k [ λ k ,   a k ] = n N   a p r ¯ P * k ( n λ k a k ) ] = n N   ϑ Γ a p r ¯ P [ ϑ ,   k n λ k a k = n N   ϑ Γ a p r ¯ P ( ϑ ,   n k   [ λ k a k ] )   a p r ¯ P k   [ λ k ,   a k ]  
So, P ( P * ) * .
L e t j [ δ j ,   e j ]   b e   t h e   e l e m e n t   o f   N   w i t h   r i g h t   u n i t y .
a p r ¯ P k λ k ,   ,   a k = a p r ¯ P j [ δ j ,   e j ] k λ k ,   a k j a p r ¯ P [ δ 1 , e 1 ] k [ λ k ,   a k ] , a p r ¯ P [ δ 2 , e 2 ] k [ λ k ,   a k ] n N   ϑ Γ a p r ¯ P ϑ , n k [ λ k ,   a k ] = a p r ¯ P * * k [ λ k ,   a k ] . a p r ¯ P k λ k ,   ,   a k = a p r ¯ P j [ δ j ,   e j ] k λ k ,   a k j a p r ¯ [ δ 1 , e 1 ] k [ λ k ,   a k ] ,   a p r ¯ [ δ 2 , e 2 ] k [ λ k ,   a k ] n N ϑ Γ a p r ¯ P ϑ , n k [ λ k ,   a k ] = a p r ¯ P * * k   [ λ k ,   a k ] .
So, P ( P * ) * . Thus P = ( P * ) * . Thus, the correspondence P P * is a bijection.
Now, P 1 , P 2 R F I ( N ) such that P 1 P 2
a p r ¯ P 1 * i [ λ i ,   a i ] = n N   a p r ¯ P 1 i n λ i a i n N   a p r ¯ P 2 i n λ i a i = a p r ¯ P 2 * i [ λ i ,   a i ]   ,   f o r   a l l i [ λ i ,   a i ] R . a p r ¯ P 1 * i [ λ i ,   a i ] = n N a p r ¯ P 1 i n λ i a i n N a p r ¯ P 2 i n λ i a i = a p r ¯ P 2 * i [ λ i ,   a i ] ,   f o r   a l l i [ λ i ,   a i ] R .
So, P 1 * P 2 * .
Similarly, we can show that if P 1   P 2 , where P 1 ,   P 2 R F I ( R ) , t h e n   P 1 * P 2 * . So, P P * is a lattice isomorphism.□

4. Left Operator Ring

The following section includes the characterization of RFI in left operator ring and discussed some related theorems.
Definition 9
([9]). Let N be a Γ   Ring and F be the free abelian group generated by N × Γ , the set of all ordered pairs ( a ,   λ ) with a N ,   λ Γ . Let A be the subgroup of elements i n i a i , λ i F ,     where n i are integers such that   i n i a i λ i a = 0   f o r   a l l   a N .   Let L = F A , the factor group of F by A and let us denote the coset A + ( a , λ ) by [ a ,   λ ] . Clearly every element in L can be expressed as a finite sum of   i a i ,   λ i .   Also for all   a , b N and λ , μ Γ ,   a ,   λ + a ,   μ = [ a ,   λ + μ ] and a , λ + b , λ =   a + b ,   λ . we define a multiplication in L by i [ a i ,   λ i ]   j b j ,   μ i = i , j a i λ i b j ,     μ j .   Then L forms the Ring. Furthermore N is a right L-module, with the definition i a i ,     λ i .   a = i a i λ i a   f o r   a N ,   i a i ,   λ i L .   We call the ring L the LOR of the Γ   Ring N.
Definition 10
([9]). A left unity of a Γ   Ring N is an element j [ f j ,   ϑ j ] L   s u c h   t h a t   i f j ϑ j a = a   for every element a N .   j [ f j ,   ϑ j ] is the unity of L.

4.1. Rough Fuzzy Sets in Left Operator Rings of a Γ Ring

Definition 11
([7]). For a fuzzy subset δ of L, define a fuzzy subset δ + of N by
δ + a = ϑ Γ δ ( [ a , ϑ ] )   w h e r e   a   N .  
For a fuzzy subset η   of N, define a fuzzy subset η + of L by
  η + i a i , λ i = n N η i a i λ i n ,   w h e r e   i a i , λ i L .
Definition 12.
For a rough fuzzy subset P = < a p r ¯ P ,   a p r ¯ P > of L, define a rough fuzzy subset   P + = < a p r ¯ P + ,   a p r ¯ P + > of N by
a p r ¯ P + a = ϑ Γ a p r ¯ P ( [ a ,   ϑ ] )   a n d   a p r ¯ P + = ϑ Γ a p r ¯ P ( [ a ,   ϑ ] ) ,   w h e r e   a N .  
For a rough fuzzy subset Q = < a p r ¯ Q ,   a p r ¯ Q > of R, define a RFS Q + = < a p r ¯ Q + ,   a p r ¯ Q + > of L by
a p r ¯ Q + i a i ,   λ i = n N a p r ¯ Q   i a i λ i n a n d a p r ¯ Q + i a i ,   λ i =   n N a p r ¯ Q   i a i λ i n w h e r e i a i , λ i L .

4.2. Characterizations of Rough Fuzzy Ideals in Left Operator Rings of a Γ Ring

Theorem 5.
If { P i / i I } is a family of rough fuzzy subsets of L, then
i I a p r ¯ P i + = i I a p r ¯ P i +   a n d   i I a p r ¯ P i + = i I a p r ¯ P i + .
Proof. 
Let a N . Now,
i I a p r ¯ P i + a = ϑ Γ i I a p r ¯ P i ( a ,   ϑ ) = ϑ Γ i I ( a p r ¯ P i a ,   ϑ )   = i I ϑ Γ ( a p r ¯ P i a ,   ϑ ) = i I a p r ¯ P i + a = i I a p r ¯ P i + a .
S o   i I a p r ¯ P i + = i I a p r ¯ P i + a n d
i I a p r ¯ P i + a = ϑ Γ i I a p r ¯ P i a , ϑ = ϑ Γ i I ( a p r ¯ P i a , ϑ ) = i I ϑ Γ a p r ¯ P i ( a , ϑ ) = i I a p r ¯ P i + ( a ) = i I a p r ¯ P i + a .
S o ,   i I a p r ¯ P i + = i I a p r ¯ P i + .
Theorem 6.
If P = < a p r ¯ P ,   a p r ¯ P > RFI(L) [resp. RFRI (L), RFLI (L)], then the RFS  P + = < a p r ¯ P + ,   a p r ¯ P + >  RFI (N) [resp. RFRI (N), RFLI (N)].
Proof. 
Assume P be the RFI of L. Then a p r ¯ P 0 L = 1 and a p r ¯ P 0 L = 0 .
Now,
  a p r ¯ P + 0 N = ϑ Γ a p r ¯ P 0 N ,   ϑ = ϑ Γ a p r ¯ P 0 L = 1   a n d a p r ¯ P + 0 N = ϑ Γ a p r ¯ P 0 N ,   ϑ = ϑ Γ a p r ¯ P 0 L = 0
So, P + is nonempty. Let a, b N and α Γ .
a p r ¯ P + a b = ϑ Γ a p r ¯ P ( [ a b ,   ϑ ] ) = ϑ Γ a p r ¯ P ( a ,   ϑ b ,   ϑ ) ϑ Γ a p r ¯ P a ,   ϑ ϑ Γ a p r ¯ P ( b ,   ϑ ) = a p r ¯ P + a a p r ¯ P + b . a p r ¯ P + a b = ϑ Γ a p r ¯ P a b ,   ϑ = ϑ Γ a p r ¯ P ( a ,   ϑ b ,   ϑ ) ϑ Γ a p r ¯ P a ,   ϑ ϑ Γ a p r ¯ P b ,   ϑ = a p r ¯ P + a a p r ¯ P + b .
Again,
a p r ¯ P + a λ b = ϑ Γ a p r ¯ P a λ b ,   ϑ = ϑ Γ a p r ¯ P a , λ b ,   ϑ ϑ Γ a p r ¯ P ( a , λ ) = a p r ¯ P a , λ ϑ Γ a p r ¯ P ( a , ϑ ) = a p r ¯ P + a .
For right ideals,
a p r ¯ P + a λ b = ϑ Γ a p r ¯ P ( [ a λ b ,   ϑ ] ) = ϑ Γ a p r ¯ P a , λ b ,   ϑ )     ϑ Γ a p r ¯ P b ,   ϑ = a p r ¯ P + b .
Similarly,
  a p r ¯ P + a λ b = ϑ Γ a p r ¯ P a λ b ,   ϑ = ϑ Γ a p r ¯ P a , λ b ,   ϑ ϑ Γ a p r ¯ P a , λ = a p r ¯ P a , λ ϑ Γ a p r ¯ P a , ϑ = a p r ¯ P + a .
For right ideals,
a p r ¯ P + a λ b = ϑ Γ a p r ¯ P a λ b , ϑ = ϑ Γ a p r ¯ P ( a , λ b ,   ϑ )  
  ϑ Γ a p r ¯ P b ,   ϑ = a p r ¯ P + b .
So, P + is a RFI of N.□
Theorem 7.
If P = < a p r ¯ P ,   a p r ¯ P >  RFI (N) [resp. RFLI (N), RFRI (N)], then the RFS   P + = < a p r ¯ P + ,   a p r ¯ P + > RFI (L) [resp. RFLI (L), RFRI (L)].
Proof. 
Let P be a RFI of N. Then a p r ¯ P 0 N = 1 and a p r ¯ P 0 N = 0 . Now,
  a p r ¯ P + 0 N ,   ϑ = n N a p r ¯ P ( 0 N ϑ n ) = a p r ¯ P ( 0 N ) = 1   a n d a p r ¯ P + 0 N , ϑ = n N a p r ¯ P ( 0 N ϑ n ) = a p r ¯ P ( 0 N ) = 0 .
So, P + is nonempty.
L e t i a i ,   λ i ,   j b j , μ j ϵ L . T h e n     a p r ¯ P + i a i ,   λ i j b j ,   μ j = n N a p r ¯ P i a i λ i n j b j μ j n   n N a p r ¯ P i a i λ i n a p r ¯ P j b j μ j n = n N a p r ¯ P i a i λ i n n N a p r ¯ P j b j μ j n = a p r ¯ P + i a i ,   λ i )   a p r ¯ P + j b j ,   μ j a n d     a p r ¯ P * i a i ,   λ i j b j ,   μ j = n N a p r ¯ P i a i λ i n j b j μ j n n N a p r ¯ P i a i λ i n a p r ¯ P j b j μ j n = n N a p r ¯ P i a i λ i n ) n N a p r ¯ P j b j μ j n = a p r ¯ P + i a i ,   λ i a p r ¯ P + j b j ,   μ j .
Again,
a p r ¯ P + i a i ,   λ i j b j ,   μ j = a p r ¯ P + i , j [ a i λ i b j ,   μ j ] = n N a p r ¯ P i , j   a i λ i b j μ j n n N i a p r ¯ P i [ a i λ i b i ] μ 1 n ,   a p r ¯ P i [ a i λ i b i ] μ 2 n n N i a p r ¯ P i a i λ i b 1 , a p r ¯ P i a i λ i b 2 = a p r ¯ P j a i λ i b 1 , a p r ¯ P j a i λ i b 2 n N [   a p r ¯ P j a i λ i n = a p r ¯ P + i a i , λ i .
Similarly, we can show that
a p r ¯ P + i a i ,   λ i j b j ,   μ j a p r ¯ P + i b j ,   μ j a p r ¯ P + i a i ,   λ i j b j , μ j = a p r ¯ P + i , j [ a i λ i b j ,   μ j ] = n N a p r ¯ P i , j a i λ i b j μ j n n N i   a p r ¯ P i a i λ i b i μ 1 n ,   a p r ¯ P i a i λ i b 2 μ 2 n   n N i   a p r ¯ P i a i λ i b 1 ,   a p r ¯ P i a i λ i b 2 = a p r ¯ P i a i λ i b 1 , a p r ¯ P i a i λ i b 2 n N a p r ¯ P i a i λ i n = a p r ¯ P + j a i , λ i .
Similarly, we can prove that
a p r ¯ P + i a i ,   λ i j b j ,   μ j a p r ¯ P + j b j , μ j .
So, P + is a RFI of L.□
Theorem 8.
The lattices of all RFI (resp. RFRI) of N and L are bijective mapping with respect to the inclusion and if preserves the isomorphic condition P P + where P    RFI(N) [resp. RFLI(N)] and   P + R F I ( L )   [resp.RFLI(L)].
Proof. 
First, we show that ( P + ) + = P. where P   R F I N . Let a   N.
Then
a p r ¯ P + + a = ϑ Γ a p r ¯ P + ( [ a ,   ϑ ] ) = ϑ Γ n N   a p r ¯ P ( a ϑ n ) ϑ Γ n N a p r ¯ P   ( a ) = a p r ¯ P a . a p r ¯ P + + a = ϑ Γ a p r ¯ P + a ,   ϑ = ϑ Γ n N a p r ¯ A a ϑ n ϑ Γ n N [ a p r ¯ P a ] = a p r ¯ P a .
So, P ( P + ) + .
L e t i δ i ,   e i   b e   t h e   e l e m e n t   o f   N   w i t h   r i g h t   u n i t y . W e   h a v e i a δ i e i   =   a   f o r   a l l   a     N .
Now,
  a p r ¯ P a = a p r ¯ P i a δ i e i i a p r ¯ P a δ 1 e 1 ,   a p r ¯ P a δ 2 e 2 ,     ϑ Γ n N   a p r ¯ A ( a ϑ n ) = a p r ¯ P + + a a p r ¯ P ( a ) = a p r ¯ P j a δ i e i i   [ a p r ¯ P a δ 1 e 1 ,   a p r ¯ P a δ 2 e 2 , ]   ϑ Γ n N [ a p r ¯ P a ϑ n ]     = a p r ¯ P + + ( a ) .
So,   ( P + ) + P. Hence P = ( P + ) + . Again, let P be a RFI of L. Now
  a p r ¯ P + + k [ a k , λ k ]   = n N a p r ¯ P + k a k λ k n = n N   ϑ Γ a p r ¯ P K a k λ k n ,   ϑ = n N   ϑ Γ a p r ¯ P K a k , λ k n , ϑ a p r ¯ P k   [ a k , λ k ] a p r ¯ P + + k [ λ k ,   a k ] = n N   a p r ¯ P + k a k λ k n = n N   ϑ Γ a p r ¯ P k a k λ k n , ϑ   = n N   ϑ Γ a p r ¯ P K a k , λ k n , ϑ a p r ¯ P k   [ a k , λ k ] .
So, P ( P + ) + . let j [ δ j , e j ] be the element of N with right unity. Then
  a p r ¯ P k a k , λ k = a p r ¯ P j [ δ j ,   e j ] k a k ,   λ k   j a p r ¯ P   [ δ 1 , e 1 ] k [ a k ,   λ k   ]   , a p r ¯ P   [ δ 2 , e 2 ] k [ a k ,   λ k   ]   n N   ϑ Γ a p r ¯ P k a k ,   λ k   n , ϑ = a p r ¯ P + + k   a k ,   λ k   a p r ¯ P k   [ a k ,   λ k   ] = a p r ¯ P j [ δ j ,   e j ] k   [ a k ,   λ k   ] j a p r ¯ P [ δ 1 , e 1 ] k [ a k ,   λ k   ] ,   a p r ¯ P [ δ 2 , e 2 ] k [ a k ,   λ k   ] n N ϑ Γ a p r ¯ P k   [ a k , λ k ] [ n , ϑ ] = a p r ¯ P + + k   [ a k , λ k ] .
So, P ( P + ) + . Thus P = ( P + ) + . Thus the correspondence P P + is bijection.
Now, P 1 , P 2 R F I ( N ) such that P 1 P 2
a p r ¯ P 1 + i [ a i , λ i ] = n N   a p r ¯ P 1 i a i λ i n   n N   a p r ¯ P 2 i a i λ i n   = a p r ¯ P 2 + i [ a i , λ i ]   f o r   a l l   i [ a i , λ i ] L .
a p r ¯ P 1 + i [ a i , λ i ] = n N a p r ¯ P 1 i a i λ i n   n N a p r ¯ P 2 i a i λ i n   = a p r ¯ P 2 + i [ a i , λ i ] ,   f o r   a l l i [ a i , λ i ] L .
So, P 1 + P 2 + . Similarly, we can show that if P 1 P 2 , where P 1 , P 2 R F I ( L ) , then P 1 + P 2 + . So, the mapping P P +  is a lattice isomorphism.□

5. Conclusions

The contribution of RS theory is more to pure and applied mathematics. Combining RS theory with algebraic structures produces interesting results and research topics. Researchers are interested in the study of RS in algebraic structures such as groups, rings, and fields. An interesting field of research in RS theory is the study of RS on rings. In this paper, we have discussed several interesting theorems in rough fuzzy environment. The limitation of RS is its dependence on equivalence relations to partition the universe of objects in information systems. The extension of this proposed work will try to implement a cryptography protocol using left and right operator rings. In our future studies, we will concentrate on rough fuzzy approximations on various algebraic structures, such as gamma near ring, gamma field and gamma near field.

Author Contributions

Conceptualization, validation, investigation: E.D.; Methodology: D.P. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Not applicable.

Acknowledgments

The authors would like to thank the editor and reviewers for the valuable comments, suggestions and ideas.

Conflicts of Interest

The authors declare no conflict of interest.

Abbreviations

NGamma Ring
RSRough Set
a p r ¯ Upper approximation
a p r ¯ Lower approximation
IFS Intuitionistic Fuzzy Set
RFS Rough Fuzzy Set
RFI Rough Fuzzy Ideal
RFLI Rough Fuzzy Left Ideal
RFRI Rough Fuzzy Right Ideal
RFLI (N) Set of all Rough Fuzzy Left Ideals of N
RFRI (N) Set of all Rough Fuzzy Right Ideals of N
LOR Left Operator Ring
ROR Right Operator Ring.

References

  1. Zadeh, L.A. Fuzzy sets. Inf. Control. 1965, 8, 338–353. [Google Scholar] [CrossRef]
  2. Shaqaqha, S. Fuzzy Hom–Lie Ideals of Hom–Lie Algebras. Axioms 2023, 12, 630. [Google Scholar] [CrossRef]
  3. Nobusawa, N. On a generalization of the ring theory. Osaka J. Math. 1964, 1, 81–89. [Google Scholar]
  4. Barnes, W.E. On the Γ-rings of nobusawa. Pac. J. Math. 1966, 18, 411–422. [Google Scholar] [CrossRef]
  5. Jun, Y.B.; Lee, C.Y. Fuzzy Γ-rings. Pusan Kyongnan Math. J. 1992, 8, 163–170. [Google Scholar]
  6. Ozturk, M.A.; Uçkun, M.; Jun, Y.B. Fuzzy ideals in gamma-rings. Turk. J. Math. 2003, 27, 369–374. [Google Scholar]
  7. Dutta, T.K.; Chanda, T. Structures of fuzzy ideals of Γ-Ring. Bull. Malaysian Math. Sci. Soc. 2005, 28, 9–18. [Google Scholar]
  8. Kyuno, S. A gamma ring with the right and left unities. Math. Jpn. 1979, 24, 191–193. [Google Scholar]
  9. Kyuno, S. On the radicals of Γ-rings. Osaka J. Math. 1975, 12, 639–645. [Google Scholar]
  10. Luh, J. On the theory of simple Γ–rings. Mich. Math. J. 1969, 16, 65–75. [Google Scholar] [CrossRef]
  11. Muhiuddin, G.; Abughazalah, N.; Mahboob, A.; Al-Kadi, D. A Novel study of fuzzy bi-ideals in ordered semirings. Axioms 2023, 12, 626. [Google Scholar] [CrossRef]
  12. Murray, F.J.; Neumann, J.V. On rings of operators. Ann. Math. 1936, 37, 116–229. [Google Scholar] [CrossRef]
  13. Alam, M.Z. Fuzzy rings and anti fuzzy rings with operators. IOSR J. Math. 2015, 11, 48–54. [Google Scholar]
  14. Palaniappan, N.; Ramachandran, M.A. note on characterization of intuitionistic fuzzy ideals in Γ-rings. Int. Math. Forum 2010, 5, 2553–2562. [Google Scholar]
  15. Palaniappan, N.; Veerappan, P.S.; Ramachandran, M. Characterizations of intuitionistic fuzzy ideals of Γ-rings. Appl. Math. Sci. 2010, 4, 1107–1117. [Google Scholar]
  16. Ezhilmaran, D.; Dhandapani, A. Study on intuitionistic fuzzy bi-ideals in gamma near rings. J. Sci. 2017, 4, 615–624. [Google Scholar]
  17. Yamin, M.; Sharma, P.K. Intuitionistic fuzzy rings with operators. Int. J. Math. Comput. Sci. 2018, 6, 1860–1866. [Google Scholar]
  18. Pawlak, Z. Rough sets. Int.J. Comput. Sci. 1982, 11, 341–356. [Google Scholar] [CrossRef]
  19. Pawlak, Z. Rough Sets: Theoretical Aspects of Reasoning about Data; KluwarAcedemic Publishers: Dordrecht, The Netherlands, 1991; pp. 1–126. [Google Scholar]
  20. Davvaz, B. Roughness in rings. Inf. Sci. 2004, 164, 147–163. [Google Scholar] [CrossRef]
  21. Davvaz, B. Rough Algebraic Structures Corresponding to Ring Theory. In Algebraic Methods in General Rough Sets; Trends in Mathematics; Springer: Cham, Switzerland, 2018; pp. 657–695. [Google Scholar]
  22. Ali, M.I.; Davvaz, B.; Shabir, M. Some properties of generalized rough sets. Inf. Sci. 2013, 224, 170–179. [Google Scholar] [CrossRef]
  23. Agusfrianto, F.A.; Fitriani, F.; Mahatma, Y. Rough rings, rough subrings, and rough ideals. Fundam. Appl. Math. 2022, 5, 1–3. [Google Scholar]
  24. Dubois, D.; Prade, H. Rough fuzzy sets and fuzzy rough sets. Int. J. Gen. Syst. 1990, 17, 191–209. [Google Scholar] [CrossRef]
  25. Subha, V.S.; Dhanalakshmi, P. Rough approximations of interval rough fuzzy ideals in gamma-semigroups. Ann. Math. 2020, 3, 326. [Google Scholar]
  26. Malik, N.; Shabir, M.; Al-shami, T.M.; Gul, R.; Arar, M.; Hosny, M. Rough bipolar fuzzy ideals in semigroups. Complex Intell Syst. 2023, 9, 1–16. [Google Scholar] [CrossRef]
  27. Dhanalakshmi, P.; Subha, V.S. Interval rough fuzzy ideals in γ-near-rings. Bull. Int. Math. Virtual Inst. 2023, 13, 65–74. [Google Scholar]
  28. Gegeny, D.; Radeleczki, S. Rough L-fuzzy sets: Their representation and related structures. Int. J. Approx. Reason 2022, 142, 1–12. [Google Scholar] [CrossRef]
  29. Durgadevi, P.; Ezhilmaran, D. Discussion on rough fuzzy ideals in Γ-rings and its related properties. In AIP Conference Proceedings; AIP Publishing LLC: Melville, NY, USA, 2022; Volume 2529. [Google Scholar]
  30. Pushpanathan, D.; Devarasan, E. Characterizations of Γ rings in terms of rough fuzzy ideals. Symmetry 2022, 14, 1705. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Pushpanathan, D.; Devarasan, E. Left and Right Operator Rings of a Γ Ring in Terms of Rough Fuzzy Ideals. Axioms 2023, 12, 808. https://doi.org/10.3390/axioms12090808

AMA Style

Pushpanathan D, Devarasan E. Left and Right Operator Rings of a Γ Ring in Terms of Rough Fuzzy Ideals. Axioms. 2023; 12(9):808. https://doi.org/10.3390/axioms12090808

Chicago/Turabian Style

Pushpanathan, Durgadevi, and Ezhilmaran Devarasan. 2023. "Left and Right Operator Rings of a Γ Ring in Terms of Rough Fuzzy Ideals" Axioms 12, no. 9: 808. https://doi.org/10.3390/axioms12090808

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop