Next Article in Journal
Toward 6G: Latency-Optimized MEC Systems with UAV and RIS Integration
Previous Article in Journal
A Hybrid Approach for the Container Loading Problem for Enhancing the Dynamic Stability Representation
Previous Article in Special Issue
Lie Ideals and Homoderivations in Semiprime Rings
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On a Quotient Ring That Satisfies Certain Identities via Generalized Reverse Derivations

by
Nawaf L. Alsowait
1,
Mohammed Al-Shomrani
2,
Radwan M. Al-omary
3,* and
Zakia Z. Al-Amery
4
1
Department of Mathematics, College of Science, Northern Border University, Arar 73213, Saudi Arabia
2
Department of Mathematics, Faculty of Science, King Abdulaziz University, Jeddah 21589, Saudi Arabia
3
Department of Mathematics, Ibb University, Ibb 70270, Yemen
4
Department of Mathematics, Aden University, Aden 5243, Yemen
*
Author to whom correspondence should be addressed.
Mathematics 2025, 13(5), 870; https://doi.org/10.3390/math13050870
Submission received: 4 January 2025 / Revised: 21 February 2025 / Accepted: 3 March 2025 / Published: 5 March 2025
(This article belongs to the Special Issue Advanced Research in Pure and Applied Algebra)

Abstract

:
In this article, for a prime ideal ρ of an arbitrary ring ℜ, we study the commutativity of the quotient ring / ρ , whenever ℜ admits a generalized reverse derivation ϑ associated with a reverse derivation that satisfies certain identities in ρ . Additionally, we show that, for some cases, the range of the generalized reverse derivation ϑ lies in the prime ideal ρ . Moreover, we explore several consequences and special cases. Throughout, we provide examples to demonstrate that various restrictions in the assumptions of our results are essential.

1. Introduction

The study of derivations on rings plays an important role and has many applications in other areas of mathematics, such as analysis, algebraic geometry, and the properties of algebraic systems. These applications are outside the scope of current study.
In this article, ℜ is an associative ring and Z ( ) is its center. A proper ideal ρ of ℜ is prime if, for each pair of elements ξ and η in ℜ, the condition ξ η ρ implies that either ξ belongs to ρ or η belongs to ρ . A ring ℜ is prime if and only if the set { 0 } is a prime ideal of ℜ. A domain is a ring that does not have any non-zero divisors.
An additive mapping : is called a derivation if it satisfies the equation ( ξ η ) = ( ξ ) η + ξ ( η ) for all ξ , η . An additive mapping ϑ : is a generalized derivation associated with the derivation if the equation ϑ ( ξ η ) = ϑ ( ξ ) η + ξ ( η ) is satisfied for all ξ , η . For a fixed r , a mapping r : such that r ( ξ ) = [ r , ξ ] for any ξ is a derivation, which is called the inner derivation induced by r. For a non-trivial example of a derivation on a non-commutative ring, the reader can refer to [1] (Example 2.2).
The concept of a reverse derivation was initially defined by Herstein in [2] when he proved that the prime ring ℜ is a commutative integral domain whenever the imposed derivation is a Jordan derivation. It was defined to be an additive mapping : that satisfies the equation ( ξ η ) = ( η ) ξ + η ( ξ ) for any ξ , η . It can be noted that, in the case of Lie algebras, the concept of a reverse derivation is analogy to the concept of the antiderivation. According to this fact, several authors have studied the reverse derivation on algebra and subalgebra (see, for example [3,4,5]). In ref. [6], a study was conducted by Samman et al. on the reverse derivation of the semiprime ring.
In [7], Aboubakr et al. discussed the correlation between a generalized reverse derivation and a generalized derivation on a semiprime ring. A generalized reverse derivation is defined as an additive map ϑ that satisfies the equation ϑ ( ξ η ) = ϑ ( η ) ξ + η ( ξ ) for all ξ and η in ℜ, where is a reverse derivation of ℜ. In the previous literature, there are numerous non-trivial examples of generalized reverse derivations on non-commutative rings. For example, please see reference [8]. Furthermore, we will provide several concrete examples of generalized reverse derivations on non-commutative rings at the end of this article. It is known that every generalized reverse derivation is a reverse derivation. However, it is important to note that the converse is not always true. The concepts of generalized reverse derivations are related to generalizations of generalized derivations. It is clear that if ℜ is commutative, then both generalized reverse derivations and generalized derivations are the same. However, the converse may not be true in general, as shown in [9] (Example 1).
In a study by Ibraheem [10], it was proven that a prime ring is commutative, if [ ϑ ( ξ ) , ξ ] Z ( ) for all ξ belonging to a right ideal ℵ of a ring, given that the right ideal Z ( ) 0 . Here, ϑ represents a generalized reverse derivation associated with a nonzero reverse derivation . In a related study by Bulak et al. [11], further exploration of generalized reverse derivations was conducted. The first part of the study focused on the commutativity of prime rings under the influence of differential identities provided by two generalized reverse derivations. The second part examined the relationships between r-generalized reverse derivations and l-generalized derivations, as well as l-generalized reverse derivations and r-generalized derivations, in a non-central square closed Lie ideal in a semiprime ring
Building upon prior findings, many researchers have achieved multiple outcomes regarding commutativity across diverse algebraic structures, including prime and semiprime rings. These outcomes have been attained through the utilization of suitable mappings, such as derivations, generalized derivations, and generalized reverse derivations, which adhere to specific identities when operating on suitable subsets of ℜ. The interested readers can be referred to [1,8,9,12].
Recently, in continuation of the above studies, several authors have discussed the situation of a quotient ring / ρ and the way it behaves under derivation or generalized derivation that satisfies certain identities involving a prime ideal (for more details, refer to [13,14,15,16,17,18,19,20]).
In [21], the concept of the generalized derivation ϑ was replaced by a generalized reverse derivation, and the commutativity of / ρ was studied whenever the proposed algebraic identities contained in a prime ideal were concerned with ϑ .
The main aim of this article is to study further in this direction. More precisely, assuming that ℜ is an arbitrary ring that admits a generalized reverse derivation ϑ associated with a reverse derivation , we prove that if ϑ satisfies certain identities involving a prime ideal ρ , then the quotient ring / ρ is a commutative integral domain. In some cases, it comes out that the range of the generalized reverse derivation ϑ is in a prime ideal ρ , i.e., ϑ ( ) ρ . Moreover, some consequences as well as special cases are obtained. Examples that illustrate the necessity of the assumptions stated in our theorems are provided.

2. Preliminary Results

We begin this section by recalling the following basic concepts: Let ξ , η . We may define the commutator [ ξ , η ] as the difference between ξ η and η ξ , and the anticommutator ξ η as the sum of ξ η and η ξ . The following identities will be used extensively throughout this article to facilitate access to the proofs of our theorems, which are satisfied for all ξ , η , ζ :
[ ξ η , ζ ] = ξ [ η , ζ ] + [ ξ , ζ ] η ,
[ ξ , η ζ ] = η [ ξ , ζ ] + [ ξ , η ] ζ ,
ξ ( η ζ ) = ( ξ η ) ζ η [ ξ , ζ ] = η ( ξ ζ ) + [ ξ , η ] ζ ,
( ξ η ) ζ = ξ ( η ζ ) [ ξ , ζ ] η = ( ξ ζ ) η + ξ [ η , ζ ] .
For the purpose of developing our proofs, we will present the following important remark and lemmas: The proof of Remark 1 is based on the fact that a group cannot be written as the set-theoretic union of its two proper subsets, and the proof of Lemma 1 can be found in [20].
Remark 1. 
Let ρ be a prime ideal of an arbitrary ring , and let ℵ be an additive subgroup of ℜ. Let , : be additive functions such that ( s ) ( s ) ρ for all s . Then, either ( s ) ρ for all s , or ( s ) ρ for all s .
Lemma 1. 
([20], Lemma 1.2). Let ℜ be a ring and let ρ be a prime ideal of ℜ. If [ ξ , η ] ρ for all ξ , η , then / ρ is a commutative integral domain.
The following lemma is an expansion of ([21], Lemma 2.5).
Lemma 2. 
Let ρ be a prime ideal of an arbitrary ring ℜ. If ℜ admits a generalized reverse derivation ϑ associated with a reverse derivation ∂ such that [ ξ , ϑ ( ξ ) ] ρ for all ξ ρ , then either ( ) ρ or / ρ is a commutative integral domain.
Proof. 
From the hypothesis, we have
[ ξ , ϑ ( ξ ) ] ρ , for all ξ .
By linearizing Equation ( 1 ) , which simply means replacing ξ by ξ + η , we obtain
[ ξ , ϑ ( η ) ] + [ η , ϑ ( ξ ) ] ρ , for all ξ , η .
By replacing η by η ξ in ( 2 ) and utilizing ( 1 ) , we get
ϑ ( ξ ) [ ξ , η ] + ξ [ ξ , ( η ) ] + [ η , ϑ ( ξ ) ] ξ ρ , for all ξ , η .
Setting ξ = η in ( 3 ) and using ( 1 ) again, we obtain ξ [ ξ , ( ξ ) ] ρ , for all ξ . Replacing ( ξ ) by ( ξ ) τ in the previous equation and using it, we get ξ ( ξ ) [ ξ , τ ] ρ for all ξ , τ . Placing τ ν instead of τ in the previous equation and using it, we get ξ ( ξ ) τ [ ξ , ν ] ρ for all ξ , τ , ν . In other words, ξ ( ξ ) [ ξ , ν ] ρ for all ξ , ν . Since ρ is prime, considering Remark 1, we find that either ξ ( ξ ) ρ or [ ξ , ν ] ρ for all ξ , ν . If [ ξ , ν ] ρ for all ξ , ν , we deduce that / ρ is a commutative integral domain, by Lemma 1. In the alternative scenario, we have ξ ( ξ ) ρ for all ξ . Linearizing the previous expression, we obtain ξ ( η ) + η ( ξ ) ρ for all ξ , η . By replacing ξ by ν ξ in the previous equation and using it we find, after appropriate treatment, that η ( ξ ) ν ν η ( ξ ) + η ξ ( ν ) ρ for all ξ , η , ν . Again, placing τ η instead of η in the last relation and using it, we find [ τ , ν ] η ( ξ ) ρ for all ξ , τ , ν , η . This results in [ τ , ν ] ( ξ ) ρ for all ξ , τ , ν . By employing the assumption that ρ is prime along with Remark 1, we conclude that either ( ξ ) ρ or [ τ , ν ] ρ for all ξ , τ , ν . Therefore, we can infer that the first case leads to ( ) ρ , and for the second case, we use Lemma 1 to obtain that / ρ is a commutative integral domain. □
Corollary 1. 
Let ρ be a prime ideal of an arbitrary ring ℜ. If ℜ admits a reverse derivation ∂, such that [ ξ , ( ξ ) ] ρ for all ξ , then either ( ) ρ or / ρ is a commutative integral domain. Moreover, if ρ = { 0 } , then either ℜ is commutative or ∂ turns out to be zero.
Remark 2. 
In Lemma 2, if ℜ is commutative, then ϑ becomes a generalized derivation, and thus we obtain ([20], Proposition 1.3).

3. Main Results

In [14] (Theorem 2.5), Bouchannafa et al. proved that either the ring / ρ is a commutative integral domain or ( ) is a subset of ρ , whenever the ring ℜ has a generalized derivation ϑ such that ϑ ( ξ η ) ϑ ( ξ ) η belongs to the center Z ( / ρ ) for all ξ and η in ℜ, where ρ is a prime ideal of ℜ. In the next theorem, our objective is to achieve the same outcome by substituting the generalized derivation ϑ from the previous theorem with the notion of a generalized reverse derivation, which is associated with a reverse derivation that fulfills the condition ϑ ( ξ ) η ϑ ( ξ η ) ρ , for all ξ , η .
Theorem 1. 
Consider a prime ideal ρ in a ring ℜ, where ℜ can be any ring. If ℜ admits a generalized reverse derivation ϑ that is associated with a reverse derivation ∂, and satisfies the condition ϑ ( ξ ) η ϑ ( ξ η ) ρ for all ξ and η in ℜ, then either ( ) is a subset of ρ or the quotient ring / ρ is a commutative integral domain.
Proof. 
Suppose that
ϑ ( ξ ) η ϑ ( ξ η ) ρ , for all ξ , η .
Placing η ξ instead of ξ in (4) yields
( ϑ ( ξ ) η ) η + ( ξ η ) ( η ) + ξ [ ( η ) , η ] ϑ ( ξ η ) η ( ξ η ) ( η ) ρ , for all ξ , η .
By multiplying (4) by η from the right and comparing it with (5), we obtain
ξ [ ( η ) , η ] ρ , for all ξ , η .
The last equation is simplified as follows: ξ [ ( η ) , η ] ρ , where ξ and η are elements of ℜ. Given that ρ and ρ is a prime, the last equation implies that [ ( η ) , η ] belongs to ρ for every η in ℜ. Therefore, according to Corollary 1, either / ρ is a commutative integral domain or ( ) is a subset of ρ . □
When ℜ is a prime ring and ϑ = , respectively, the following corollaries can be immediately obtained from Theorem 1.
Corollary 2. 
Consider a ring ℜ, which is prime. If ℜ admits a generalized reverse derivation ϑ associated with a reverse derivation ∂, satisfying the equation ϑ ( ξ ) η ϑ ( ξ η ) = 0 for all ξ , η , then either ∂ is equal to zero or ℜ is a commutative ring.
Corollary 3. 
Consider a prime ideal ρ in a ring ℜ, where ℜ can be any ring. If ℜ admits a reverse derivation ∂, and satisfies the condition ( ξ ) η ( ξ η ) ρ for all ξ and η in ℜ, then either ( ) is a subset of ρ or the quotient ring / ρ is a commutative integral domain.
Theorem 2. 
Consider a prime ideal ρ of a ring ℜ. If ℜ admits a generalized reverse derivation ϑ associated with a reverse derivation ∂, such that ϑ ( ξ ) η + ϑ ( ξ η ) ρ , for all ξ , η , then either ( ) ρ or / ρ is a commutative integral domain of c h a r ( / ρ ) = 2 .
Proof. 
The given identity states that
ϑ ( ξ ) η + ϑ ( ξ η ) ρ , for all ξ , η .
Replacing ξ by η ξ in (6), gives
( ϑ ( ξ ) η ) η + ( ξ η ) ( η ) + ξ [ ( η ) , η ] + ϑ ( ξ η ) η + ( ξ η ) ( η ) ρ , for all ξ , η .
By multiplying (6) by η from the right-hand side and comparing it with (7), we obtain
2 ( ξ η ) ( η ) + ξ [ ( η ) , η ] ρ , for all ξ , η ρ .
Now, we discuss the following two cases:
Case (i): If c h a r ( / ρ ) = 2 , then ( 8 ) becomes ξ [ ( η ) , η ] ρ , for all ξ , η ρ . Following the same arguments as above, we find either ( ) is a subset of ρ or / ρ is a commutative integral domain.
Case (ii): If c h a r ( / ρ ) 2 , then replacing ξ by τ ξ in (8) results in
2 τ ( ξ η ) ( η ) 2 [ τ , η ] ξ ( η ) + τ ξ [ ( η ) , η ] ρ , for all ξ , η , τ ρ .
Now, multiplying (8) by τ from the left-hand side and comparing with (9), yields
2 [ τ , η ] ξ ( η ) ρ for all ξ , η , τ . Our assumption that c h a r ( / ρ ) 2 leads to [ τ , η ] ξ ( η ) ρ for all ξ , η , τ , and hence [ τ , η ] ( η ) ρ for all η , τ . Thus, the primeness of ρ together with Remark 1 lead to either [ τ , η ] ρ for all τ , η or ( ) ρ . If ( ) is not a subset of ρ , then [ τ , η ] belongs to ρ for every elements τ and η in ℜ. Using Lemma 1 shows that the quotient ring / ρ is a commutative integral domain. By utilizing the commutativity of / ρ with the identity (8), we can easily deduce that 2 ( ξ η ) ( η ) belongs to ρ for all ξ and η in ℜ. The statement 4 ξ η ( η ) ρ holds for all ξ , η because c h a r ( / ρ ) 2 . This implies that ξ η ( η ) ρ for all ξ , η , due to the commutativity of ℜ. Furthermore, the previous expression is equivalent to η ξ ( η ) ρ for all ξ , η , which may be written as η ( η ) ρ for all η . However, our hypothesis that ( ) ρ and ρ is a prime ideal of ℜ forces ξ ρ , which eventually implies that = ρ . This contradicts our basic hypothesis about ρ being a proper ideal of ℜ. Therefore, we can deduce that ( ) ρ . □
If the ring ℜ imposed in Theorem 2 is prime, meaning ρ = { 0 } , then the following corollary results immediately:
Corollary 4. 
Consider a prime ring ℜ. If ℜ admits a generalized reverse derivation ϑ associated with a reverse derivation ∂ such that ϑ ( ξ ) η + ϑ ( ξ η ) = 0 for all ξ and η in ℜ, then either ( R ) = 0 or ℜ is commutative of c h a r ( ) = 2 .
When we consider ϑ = in Theorem 2, the following corollary is immediately obtained.
Corollary 5. 
Consider a prime ideal ρ of a ring ℜ. If ℜ admits a reverse derivation ∂ such that ( ξ ) η + ( ξ η ) ρ for all ξ , η , then either ( ) ρ or / ρ is a commutative integral domain of c h a r ( / ρ ) = 2 .
In ref. [20], Rehman et al. established a result stating that if ℜ is a ring and ρ is a prime ideal of it, such that ℜ admits a generalized derivation ϑ associated with and meets the condition ϑ ( ξ ) ϑ ( η ) [ ξ , η ] ρ for all ξ , η , then either ( ) ρ or / ρ is a commutative integral domain.
This result prompts us to investigate the properties of the ring / ρ when we replace the assumption that ϑ is a generalized derivation by a generalized reverse derivation associated with a reverse derivation . For this purpose, we introduce the following theorem:
Theorem 3. 
Consider ρ as a prime ideal in any ring ℜ. If ℜ admits a generalized reverse derivation ϑ which is associated with a reverse derivation ∂ and satisfies the condition ϑ ( ξ ) ϑ ( η ) ± [ ξ , η ] ρ for all ξ and η in ℜ, then ( ) is a subset of ρ and the quotient ring / ρ is a commutative integral domain.
Proof. 
The given identity states that
ϑ ( ξ ) ϑ ( η ) [ ξ , η ] ρ , for all ξ , η .
By replacing η with ξ η in (10), we obtain
ϑ ( ξ ) ϑ ( η ) ξ + ϑ ( ξ ) η ( ξ ) ξ [ ξ , η ] ρ , for all ξ , η .
Multiplying (10) by ξ on the right gives
ϑ ( ξ ) ϑ ( η ) ξ [ ξ , η ] ξ ρ , for all ξ , η .
By comparing Equations (11) and (12), we obtain
ϑ ( ξ ) η ( ξ ) ξ [ ξ , η ] + [ ξ , η ] ξ ρ , for all ξ , η .
Again, by replacing η by ξ η in the previous equation, we obtain
ϑ ( ξ ) ξ η ( ξ ) ξ 2 [ ξ , η ] + ξ [ ξ , η ] ξ ρ , for all ξ , η .
Multiplying (13) from the left by ξ and comparing it with (14) yield
ϑ ( ξ ) ξ η ( ξ ) ξ ϑ ( ξ ) η ( ξ ) ρ , for all ξ , η .
It follows that [ ϑ ( ξ ) , ξ ] ( ξ ) ρ for all ξ . Hence, the primeness of ρ together with Remark 1 forces that either [ ϑ ( ξ ) , ξ ] ρ for all ξ or ( ξ ) ρ for any ξ . If [ ϑ ( ξ ) , ξ ] ρ for all ξ , then, according to Lemma 2, / ρ is a commutative integral domain or ( ) ρ .
Let / ρ be a commutative integral domain. Then, (10) can be reduced to ϑ ( ξ ) ϑ ( η ) ρ for all ξ , η . That is ϑ ( ξ ) ρ , for all ξ . Now, we replace ξ by η ξ in the previous expression and use it to conclude that ( ) ρ . On the other hand, if we assume ( ) ρ , then (13) can be simplified to
[ ξ , [ ξ , η ] ] ρ , for all ξ , η .
By setting ξ = ξ + ζ in the previous equation and using it, we can easily find [ ξ , [ ζ , η ] ] + [ ζ , [ ξ , η ] ] ρ for all ξ , η , ζ . Replacing ζ by η ζ in the last relation and using it, we obtain [ ξ , η ] [ ζ , η ] + [ η , [ ξ , η ] ] ζ ρ for all ξ , η , ζ . By replacing ζ by ζ ξ in the last expression and using it, we deduce that [ ξ , η ] [ ξ , η ] ρ for all ξ , η . The primeness of ρ implies that [ ξ , η ] ρ for all ξ , η . Therefore, once again, / ρ is a commutative integral domain, by using Lemma 1.
By applying similar arguments to those shown earlier, with only slight adjustments, the same result can be obtained for the case ϑ ( ξ ) ϑ ( η ) + [ ξ , η ] ρ , for all ξ and η in ℜ. □
In Theorem 3, if ℜ is assumed to be prime, the following corollary can be immediately obtained.
Corollary 6. 
Consider ℜ is a prime ring admits a generalized reverse derivation ϑ, which is associated with a nonzero reverse derivation ∂ and satisfies the condition ϑ ( ξ ) ϑ ( η ) ± [ ξ , η ] = 0 for all ξ and η in ℜ, then the ring ℜ a commutative.
By setting ϑ = in Theorem 3, we promptly obtain the subsequent corollary.
Corollary 7. 
Consider a prime ideal ρ in any ring ℜ. Suppose that ℜ admits a reverse derivation d such that ( ξ ) ( η ) ± [ ξ , η ] belongs to ρ for all ξ , η . In this case, ( ) is a subset of ρ and / ρ is a commutative integral domain.
Proof. 
The proof can be directly obtained from Equation (10) in Theorem 3, by setting ϑ = and following the same arguments and techniques of its proof. □
Theorem 4. 
Let ρ be a prime ideal in any ring ℜ. If ℜ admits a generalized reverse derivation ϑ that is associated with a reverse derivation ∂ and satisfies the condition ϑ ( ξ η ) ± ( ξ ) ϑ ( η ) ρ for all ξ , η , then ϑ ( ) ρ .
Proof. 
The given assumption states that
ϑ ( ξ η ) + ( ξ ) ϑ ( η ) ρ for all ξ , η .
Replacing η by ξ η in (16) gives
ϑ ( ξ η ) ξ + ξ η ( ξ ) + ( ξ ) ϑ ( η ) ξ + ( ξ ) η ( ξ ) ρ , for all ξ , η .
Multiplying Equation (16) by ξ from the right and comparing it with (17) yield ( ξ ) η ( ξ ) + ξ η ( ξ ) ρ for all ξ , η . That is, ( ( ξ ) + ξ ) ( ξ ) ρ for all ξ . By using the primeness of ρ together with Remark 1, we get either ( ξ ) ρ for all ξ or ( ( ξ ) + ξ ) ρ for all ξ . If ( ξ ) ρ for all ξ , (16) can be reduced to ϑ ( η ) ξ ρ for all ξ , η . Hence, we have ϑ ( ) ρ . On the other hand, for
( ξ ) + ξ ρ , for all ξ ,
we substitute η ξ in the place of ξ in (18) to obtain ( ξ ) η + ξ ( η ) + η ξ ρ for all ξ , η . Multiplying (18) by η from the right and comparing it with the last relation, we get
ξ ( η ) + [ η , ξ ] ρ , for all ξ , η .
Now, placing τ ξ instead of ξ in Equation (19), we get
τ ξ ( η ) + τ [ η , ξ ] + [ η , τ ] ξ ρ , for all ξ , η , τ .
Left-multiplying (19) by τ and comparing it with (20) yields [ η , τ ] ξ ρ for all ξ , η , τ . Again, replacing τ by ν τ in the last equation and using it gives [ η , ν ] ξ ρ for all ξ , η , ν . Since ρ is a prime ideal, either ξ ρ for all ξ or [ η , ν ] ρ for all η , ν . If ξ ρ for all ξ , then it implies that ρ = , which contradicts the fact that ρ is a proper ideal. If [ η , ν ] ρ for all η , ν , then, according to Lemma 1, / ρ is a commutative integral domain. In this case, (19) can be simplified to ξ ( η ) ρ for all ξ , η , which is leading to ( ) ρ . So, we can conclude, as above, that ϑ ( ) ρ .
By following the exact techniques as described previously, we can prove the same conclusion in the case of the identity ϑ ( ξ η ) ( ξ ) ϑ ( η ) ρ for all ξ , η . □
By equating ϑ to in the prior theorem, we can obtain the following conclusion as a similar version of ([16], Theorem 4(1)).
Corollary 8. 
Let ρ be a prime ideal in any ring ℜ. If ℜ admits a reverse derivation ∂ such that ( ξ η ) ± ( ξ ) ( η ) ρ for all ξ , η , then ( ) ρ .
Corollary 9. 
Let ℜ be a prime ring that admits a generalized reverse derivation ϑ that is associated with a reverse derivation ∂ and satisfies the condition ϑ ( ξ η ) ± ( ξ ) ϑ ( η ) = 0 for all ξ , η , then ϑ ( ) = 0 .
Theorem 5. 
Consider ρ as a prime ideal in any ring ℜ. If ℜ admits a generalized reverse derivation ϑ, which is associated with a reverse derivation ∂, and satisfies the condition ϑ ( ξ η ) ± ( η ) ϑ ( ξ ) ρ for all ξ , η , then ϑ ( ) ρ .
Proof. 
The given assumption states that
ϑ ( ξ η ) ( η ) ϑ ( ξ ) ρ , for all ξ , η .
We replace ξ by τ ξ in (21) and use it to obtain
ξ η ( τ ) ( η ) ξ ( τ ) ρ , for all ξ , η , τ .
If we replace ξ by ν ξ in the previous equation, we obtain ν ξ η ( τ ) ( η ) ν ξ ( τ ) ρ for all ξ , η , τ , ν . By left multiplying Equation (22) by ν and comparing it with the last equation, we find ν ( η ) ξ ( τ ) ( η ) ν ξ ( τ ) ρ for all ξ , η , τ , ν . This implies that [ ν , ( η ) ] ξ ( τ ) ρ for all ξ , η , τ , ν . In other words, [ ν , ( η ) ] ( τ ) ρ for all η , τ , ν . Using the primeness of ρ together with Remark 1 yield either [ ν , ( η ) ] ρ for all η , ν or ( ) ρ . In the second case, (21), becomes ϑ ( η ) ξ ρ for all ξ , η and therefore, ϑ ( ) ρ . For the case of [ ν , ( η ) ] ρ for all η , ν , we have, in particular, that [ η , ( η ) ] ρ for all η . We use Corollary 1 to obtain that either / ρ is a commutative integral domain or ( ) ρ . If / ρ is a commutative integral domain, then (22) can be rewritten as ( η ( η ) ) ξ ( τ ) ρ for all ξ , η , τ . That is, ( η ( η ) ) ( τ ) ρ for all η , τ . Again, using the primeness of ρ together with Remark 1 give that either ( η ( η ) ) ρ for all η or ( ) ρ . When ( η ( η ) ) ρ for all η , we replace η by ξ η in the last relation and use it to get [ ξ , η ] η ( ξ ) ρ for all ξ , η . For the other case, the commutativity of / ρ leads to η ( ξ ) ρ for all ξ , η , and hence, ( ) ρ . Thus, (21) becomes ϑ ( η ) ξ ρ for all ξ , η . Therefore, ϑ ( ) ρ .
By following the exact techniques as described previously, we can prove the same conclusion for the case of the identity ϑ ( ξ η ) + ( η ) ϑ ( ξ ) ρ for all ξ , η . □
Corollary 10. 
Consider ℜ is a prime ring that admits a generalized reverse derivation ϑ associated with a reverse derivation ∂ and satisfies the condition ϑ ( ξ η ) ± ( η ) ϑ ( ξ ) = 0 for all ξ , η , then ϑ ( ) = 0 .
Corollary 11. 
Consider ρ as a prime ideal in any ring ℜ. If ℜ admits a reverse derivation ∂ and satisfies the condition ( ξ η ) ± ( η ) ( ξ ) ρ for all ξ , η , then ( ) ρ .
In [20] (Theorem 1.5(iii)), Rehman et al. showed that the quotient ring / ρ is a commutative integral domain, where ρ is a prime ideal of ℜ, if ℜ admits a generalized derivation ϑ associated with a derivation that satisfies ϑ ( ξ ) ϑ ( η ) ± ξ η ρ , for every ξ , η .
The following theorem aims to generalize the above identity to ϑ ( ξ ) ϑ ( η ) + ( ξ ) ( η ) ρ for every ξ , η and prove that ϑ ( ) is a subset of ρ when c h a r ( / ρ ) 2 and the imposed ϑ is a generalized reverse derivation associated with a reverse derivation .
Theorem 6. 
Consider a prime ideal ρ in a ring ℜ with a characteristic not equal to 2. If ℜ admits a generalized reverse derivation ϑ that is associated with a reverse derivation ∂, and if ϑ ( ξ ) ϑ ( η ) + ( ξ ) ( η ) ρ for all ξ and η in ℜ, then ϑ ( ) is a subset of ρ.
Proof. 
The given hypothesis states that
ϑ ( ξ ) ϑ ( η ) + ( ξ ) ( η ) ρ , for all ξ , η .
By replacing η with τ η in (23), we obtain
ϑ ( ξ ) ϑ ( η ) τ + ϑ ( ξ ) η ( τ ) + ( ξ ) ( η ) τ + ( ξ ) η ( τ ) ρ , for all ξ , η , τ .
Now, by multiplying Equation (23) by τ from the right and comparing it with (24), we obtain
( ϑ ( ξ ) + ( ξ ) ) η ( τ ) ρ , for all ξ , η , τ .
That is, ( ϑ ( ξ ) + ( ξ ) ) ( τ ) ρ . Hence, the condition of ρ being prime, together with Remark (1), forces either ϑ ( ξ ) + ( ξ ) ρ for all ξ or ( τ ) τ for all τ . Let us consider the first case and replace ξ with η ξ . This yields ϑ ( ξ ) η + ξ ( η ) + ( ξ ) η + ξ ( η ) ρ for all ξ , η . By multiplying the first equation by η from the right and comparing it with the second equation, we obtain ξ ( η ) + ξ ( η ) ρ for all ξ , η , which in turn means that 2 ξ ( η ) ρ for every ξ , η . The basic assumption c h a r ( / ρ ) 2 leads to ξ ( η ) ρ for every ξ , η . That is, ( η ) ρ . As ρ and ρ is prime, we get ( η ) ρ for any η . Thus, we deduce that ( ) ρ . In the second case, we observe that ( τ ) belongs to ρ for every τ , indicating that ( ) ρ . So both cases lead to ( ) ρ , which reduces (23) to ϑ ( ξ ) ϑ ( η ) ρ for all ξ , η . Replacing ξ by ξ τ in the last relation, we get ϑ ( τ ) ϑ ( η ) ρ for all τ , η . Therefore, we have ϑ ( ) ρ for both cases as required. □
As an immediate consequent of the above theorem, we have the following corollary when the imposed ring ℜ is prime.
Corollary 12. 
Consider a prime ring ℜ with a characteristic that is not equal to 2. If ℜ admits a generalized reverse derivation ϑ associated with a reverse derivation ∂, satisfying the equation ϑ ( ξ ) ϑ ( η ) + ( ξ ) ( η ) = 0 for all ξ and η in ℜ, then ϑ turns out to be zero.
Next, we will explore some counterexamples that illustrate the necessity of assuming that ρ is prime in the hypotheses of our theorems.
Example 1. 
Consider the ring of integers Z and let = { 0 α β γ 0 0 0 β 0 0 0 α 0 0 0 0 | α , β , γ Z } , ρ = { 0 0 0 2 γ 0 0 0 0 0 0 0 0 0 0 0 0 } . Define ϑ , : , by ϑ 0 α β γ 0 0 0 β 0 0 0 α 0 0 0 0 = 0 0 0 γ 0 0 0 0 0 0 0 0 0 0 0 0 and 0 α β γ 0 0 0 β 0 0 0 α 0 0 0 0 = 0 0 0 γ 0 0 0 β 0 0 0 α 0 0 0 0 . Thus, it is evident that ℜ is a ring, ρ is an ideal of ℜ, and ϑ is a generalized reverse derivation associated with the reverse derivation ∂ that satisfies ϑ ( ξ ) η ± ϑ ( ξ η ) ρ , ϑ ( ξ ) ϑ ( η ) ± [ ξ , η ] ρ , and ϑ ( ξ ) ϑ ( η ) + ( ξ ) ( η ) ρ for all ξ , η ρ . However, / ρ is non-commutative, ( ) ρ , and ϑ ( ) ρ . Moreover, ρ is not a prime ideal of ℜ since 0 0 0 0 0 0 0 β 0 0 0 α 0 0 0 0 0 0 α 0 0 0 0 0 0 0 0 α 0 0 0 0 ρ , but neither 0 0 0 0 0 0 0 β 0 0 0 α 0 0 0 0 ρ nor 0 0 α 0 0 0 0 0 0 0 0 α 0 0 0 0 ρ ; hence, ρ is not prime ideal of ℜ. Therefore, the assumption that ρ is prime in Theorems 1–3 and 6 cannot be omitted.
Example 2. 
Let = { p ξ e 12 + η e 13 + τ e 23 | ξ , η , τ C , p is a prime number } , where C is the complex number ring. Let ρ = { p η e 13 } . Define ϑ , : as follows:
ϑ ( p ξ e 12 + η e 13 + τ e 23 ) = p τ e 23 , with ( p ξ e 12 + η e 13 + τ e 23 ) = ξ e 13 .
Thus, it is evident that ℜ is a ring, ρ is an ideal of ℜ, and ϑ is a generalized reverse derivation associated with the reverse derivation ∂ that satisfies ϑ ( ξ ) η ± ϑ ( ξ η ) ρ , ϑ ( ξ ) ϑ ( η ) ± [ ξ , η ] ρ , ϑ ( ξ η ) ± ( ξ ) ( η ) ρ , ϑ ( ξ η ) ± ( η ) ( ξ ) ρ , and ϑ ( ξ ) ϑ ( η ) + ( ξ ) ( η ) ρ for all ξ , η . However, / ρ is non-commutative and ( ) ρ . Moreover, ρ is not a prime ideal of ℜ since η e 31 ( ξ e 31 + η e 23 ) ρ , but η e 31 ρ and ξ e 31 + η e 23 ρ . Therefore, assumption that ρ is prime in Theorems 1–6 cannot be omitted.
Example 3. 
Consider the ring of integers Z and let = { 0 0 0 α 0 0 β 2 γ 0 | α , β , γ Z } , ρ = { 0 0 0 0 0 0 2 β 0 0 | β Z } . Define ϑ , : by ϑ 0 0 0 α 0 0 β 2 γ 0 = 0 0 0 2 α 0 0 0 0 0 , 0 0 0 α 0 0 β 2 γ 0 = 0 0 0 0 0 0 γ 0 0 . Thus, it is evident that ℜ is a ring, ρ is an ideal of ℜ, and ϑ is a generalized reverse derivation associated with the reverse derivation ∂ that satisfies the following identities for all ξ , η , τ : ϑ ( ξ ) η ϑ ( ξ η ) ρ , ϑ ( ξ ) η + ϑ ( ξ η ) ρ , ϑ ( ξ ) ϑ ( η ) ± [ ξ , η ] ρ , ϑ ( ξ ) ϑ ( η ) + ( ξ ) ( η ) ρ for all 0 0 0 α 0 0 β 2 γ 0 . However, / ρ is non-commutative and ( ) ρ . Moreover, ρ is not a prime ideal of ℜ since 0 0 0 α 0 0 0 0 0 0 0 0 0 0 0 0 2 γ 0 ρ , but 0 0 0 α 0 0 0 0 0 ρ and 0 0 0 0 0 0 0 2 γ 0 ρ . Therefore, the assumption that ρ is prime in Theorems 1–3 and 6 cannot be omitted.
Example 4. 
In Example 3, one can note that ϑ ( ξ η ) ± ( ξ ) ( η ) ρ and ϑ ( ξ η ) ± ( η ) ( ξ ) ρ hold for all ξ , ι though ϑ ( ) ρ . This emphasizes the necessity of primeness of ρ.

4. Conclusions

In the current article, we continued the study of generalized reverse derivation associated with reverse derivation via a contemporary approach wherein we assume that ring ℜ has no restrictions and the studied identities are contained in prime ideal ρ . We have reached the following results: associated derivation maps a ring ℜ to ρ , or a quotient ring of ℜ by prime ideal ρ becomes a commutative integral domain, or the generalized reverse derivation mapping the ring to the chosen prime ideal ρ as proven in this article. We conclude with two examples clarifying the necessity of the considered assumption hypotheses.
In future studies of our current topic, the behavior of a quotient ring / ρ can be explored by replacing the generalized reverse derivation with any of the following mappings: a generalized ( α , β ) -derivation where α and β are automorphisms on ℜ, or a multiplicative reverse derivation, or a generalized P-reverse derivation, or a generalized reverse homoderivation.

Author Contributions

This paper is the result of the joint effort of N.L.A., M.A.-S., R.M.A.-o. and Z.Z.A.-A. All authors have read and agreed to the published version of the manuscript.

Funding

The authors extend their appreciation to the Deanship of Scientific Research (DSR) at Northern Border University, Arar, KSA for funding this research work through the project number NBU-FPEJ-2025-2089-02.

Data Availability Statement

All of the data required for this article are included within this article.

Conflicts of Interest

The authors declare there are no conflicts of interest.

References

  1. Al-omary, R.M.; Nauman, S.K. Generalized derivations on prime rings satisfying certain identities. Commun. Korean Math. Soc. 2021, 36, 229–238. [Google Scholar]
  2. Herstein, I.N.N. Jordan derivations of prime rings. Proc. Am. Math. Soc. 1957, 8, 1104–1110. [Google Scholar] [CrossRef]
  3. Filippov, V.T. On δ-derivations of Lie algebras. Sib. Math. J. 1998, 39, 1218–1230. [Google Scholar] [CrossRef]
  4. Hopkins, N.C. Generalized derivations of nonassociative algebras. Nova. J. Math. Game Theory Algebra. 1996, 5, 215–224. [Google Scholar]
  5. Kaygorodov, I. On (reverse) (α,β,γ)-derivations of associative algebras. Boll. dell’Unione Mat. Ital. 2015, 8, 181–187. [Google Scholar] [CrossRef]
  6. Samman, M.S.; Alyamani, N. Derivations and reverse derivations in semiprime rings. Int. Math. Forum 2007, 2, 1895–1902. [Google Scholar] [CrossRef]
  7. Aboubakr, A.; Gonzalez, S. Generalized reverse derivations on semiprime rings. Sib. Math. J. 2015, 56, 199–205. [Google Scholar] [CrossRef]
  8. Huang, S. Generalized reverse derivations and commutativity of prime rings. Commun. Math. 2019, 27, 43–50. [Google Scholar] [CrossRef]
  9. Al-omary, R.M. Commutativity of prime ring with generalized (α,β)-reverse derivations satisfing certain identities. Bull. Transilv. Univ. Bras. III Math. Comput. Sci. 2022, 2, 1–12. [Google Scholar]
  10. Ibraheem, A.M. Right ideals and generalized reverse derivations on prime rings. Am. J. Comput. Appl. Math. 2016, 6, 162–164. [Google Scholar]
  11. Bulak, T.; Ayran, A.; Aydın, N. Generalized reverse derivations on prime and semiprime rings. Int. J. Open Probl. Compt. Math. 2021, 14, 50–60. [Google Scholar]
  12. Ayat, Ö.; Aydin, N.; AlBayrak, B. Generalized reverse derivation on closed Lie ideals. J. Sci. Perspect. 2018, 2, 61–74. [Google Scholar] [CrossRef]
  13. Alsowait, N.; Al-omary, R.M.; Al-Amery, Z.; Al-Shomrani, M. Exploring commutativity via generalized (α,β)-derivations involving prime ideals. Mathematics 2024, 12, 2325. [Google Scholar] [CrossRef]
  14. Bouchannafa, K.; Abdallah Idrissi, M.; Oukhtite, L. Relationship between the structure of a quotient ring and the behavior of certain additive mapping. Commun. Korean Math. Soc. 2022, 37, 359–370. [Google Scholar]
  15. Mamouni, A.; Oukhtite, L.; Zerra, M. Some results on derivations and generalized derivations in rings. Mathmatica 2013, 65, 94–104. [Google Scholar] [CrossRef]
  16. Mamouni, A.; Oukhtite, L.; Zerra, M. On derivations involving prime ideals and commutativity in rings. São Paulo J. Math. Sci. 2020, 14, 675–688. [Google Scholar] [CrossRef]
  17. Mir, H.E.; Mamouni, A.; Oukhtite, L. Commutativity with algebraic identities involving prime ideals. Commu. Korean Math. Soc. 2020, 35, 723–731. [Google Scholar]
  18. Rehman, N.; Alnoghashi, N.; Boua, A. Identities in a prime ideal of a ring involving generalized derivations. Kyungpook Math. J. 2021, 61, 727–735. [Google Scholar]
  19. Rehman, N.; Alnoghashi, N.; Honagn, M. On generalized derivations involving prime ideals with involution. Ukr. Math. J. 2024, 75, 1219–1241. [Google Scholar] [CrossRef]
  20. Rehman, N.; Al Noghashi, H. Action of prime ideals on generalized derivations-I. arXiv 2021, arXiv:2107.06769. [Google Scholar]
  21. Faraj, A.K.; Abduldaim, A.M. Commutativity and prime ideals with proposed algebraic identities. Int. J. Math. Comput. Sci. 2021, 16, 1607–1622. [Google Scholar]
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

Alsowait, N.L.; Al-Shomrani, M.; Al-omary, R.M.; Al-Amery, Z.Z. On a Quotient Ring That Satisfies Certain Identities via Generalized Reverse Derivations. Mathematics 2025, 13, 870. https://doi.org/10.3390/math13050870

AMA Style

Alsowait NL, Al-Shomrani M, Al-omary RM, Al-Amery ZZ. On a Quotient Ring That Satisfies Certain Identities via Generalized Reverse Derivations. Mathematics. 2025; 13(5):870. https://doi.org/10.3390/math13050870

Chicago/Turabian Style

Alsowait, Nawaf L., Mohammed Al-Shomrani, Radwan M. Al-omary, and Zakia Z. Al-Amery. 2025. "On a Quotient Ring That Satisfies Certain Identities via Generalized Reverse Derivations" Mathematics 13, no. 5: 870. https://doi.org/10.3390/math13050870

APA Style

Alsowait, N. L., Al-Shomrani, M., Al-omary, R. M., & Al-Amery, Z. Z. (2025). On a Quotient Ring That Satisfies Certain Identities via Generalized Reverse Derivations. Mathematics, 13(5), 870. https://doi.org/10.3390/math13050870

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