A characterization of b − generalized derivations on prime rings with involution

: In this note, we characterize b − generalized derivations which are strong commutative preserving (SCP) on R . Moreover, we also discuss and characterize b − generalized derivations involving certain ∗− di ﬀ erential / functional identities on rings possessing involution.


Introduction
The algebra of derivations and generalized derivations play a crucial role in the study of functional identities and their applications. There are many generalizations of derivations viz., generalized derivations, multiplicative generalized derivations, skew generalized derivations, b−generalized derivations, etc. The notion of b−generalized derivation was first introduced by Koşan and Lee [17]. The most important and systematic research on the b−generalized derivations have been accomplished in [11,17,22,26] and references therein. In this manuscript, we characterize b−generalized derivations which are strong commutative preserving (SCP) on R. Moreover, we also discuss and characterize b−generalized derivations involving certain * −differential/functional identities on rings possessing involution.
In the early nineties, after a memorable work on the structure theory of rings, a tremendous work has been established by Brešar considering centralizing mappings, commuting mappings, commutativity preserving (CP) mappings and strong commutativity preserving (SCP) mappings on some appropriate subset of rings. Since then it became a tempting research idea in the matrix theory/operator theory/ring theory for algebraists. Commutativity preserving (CP) maps were introduced and studied by Watkins [32] and further extended to SCP by Bell and Mason [6]. Inspired by the concept of SCP maps, Bell and Daif [5] demonstrated the commutativity of (semi-)prime rings possessing derivations and endomorphisms on right ideals (see also [27] and references therein). In [12], Deng and Ashraf studied strong commutativity preserving maps in more general context as follows: Let R be a semiprime ring. If R admits a mapping ψ and a derivation δ on R such that [ψ(r), δ(v)] = [r, v] for every r, v ∈ R, then R is commutative. In 1994, Brešar and Miers [7] characterized an additive map f : R → R satisfying SCP on a semiprime ring R and showed that f is of the form f (r) = λr + µ(r) for every r ∈ R, where λ ∈ C , λ 2 = 1 and µ : R → R is an additive map. Later, Lin and Liu [23] extended this result to Lie ideals of prime rings. Chasing to this, several techniques have been developed to investigate the behavior of strong commutativity preserving maps (SCP) using restrictions on polynomials, invoking derivations, generalized derivations, etcetera. An account of work has been done in the literature [3, 10, 12, 13, 15, 20, 21, 23-25, 27, 30, 31].
On the other hand, the study of additive maps on rings possessing involution was initiated by Brešar et al. [7] and they characterized the additive centralizing mappings on the skew-symmetric elements of prime rings possessing involution. In the same vein, Lin and Liu [24] describe SCP additive maps on skew-symmetric elements of prime rings possessing involution. Later, Liau et al. [21] improved the above mentioned result for non-additive SCP mappings. Interestingly, in 2015 Ali et al. [1] studied the SCP maps in different way on rings possessing involution. They established the commutativity of prime ring of charateristic not two possessing second kind of involution satisfying [δ(r), δ(r * )] − [r, r * ] = 0 for every r ∈ R, where δ is a nonzero derivation of R. Recently, Khan and Dar [8] improved this result by studying the case of generalized derivations.
Motivated by the above presented work, in this manuscript we have characterized b−generalized derivations on prime rings possessing involution. Moreover, we also present some examples in support of our main theorems.

Preliminaries
Throughout the manuscript unless otherwise stated, R is a prime ring with center Z (R), Q is the maximal right ring of quotients, C = Z (Q) is the center of Q usually known as the extended centroid of R and is a field. "A ring R is said to be 2− torsion free if 2r = 0 (where r ∈ R) implies r = 0". The characteristic of R is represented by char(R). "A ring R is called a prime ring if rRv = (0) ( where r, v ∈ R) implies r = 0 or v = 0 and is called a semiprime ring in case rRr = (0) implies r = 0". "An additive map r → r * of R into itself is called an involution if (i) (rv) * = v * r * and (ii) (r * ) * = r hold for all r, v ∈ R. A ring equipped with an involution is known as a ring with involution or a * −ring. An element r in a ring with involution * is said to be hermitian/symmetric if r * = r and skew-hermitian/skew-symmetric if r * = −r". The sets of all hermitian and skew-hermitian elements of R will be denoted by W (R) and K (R), respectively. "If R is 2−torsion free, then every r ∈ R can be uniquely represented in the form 2r = h + k where h ∈ W (R) and k ∈ K (R). Note that in this case r is normal, i.e., rr * = r * r, if and only if h and k commute. If all elements in R are normal, then R is called a normal ring". An example is the ring of quaternions. "The involution is said to be of the first kind if Z (R) ⊆ W (R), otherwise it is said to be of the second kind. In the later case it is worthwhile to see that K (R) ∩ Z (R) (0)". We refer the reader to [4,14] for justification and amplification for the above mentioned notations and key definitions.
For r, v ∈ R, the commutator of r and v is defined as [r, v] = rv − vr. We say that a map Following [7], "let S be a subset of R, a map f : R → S is said to be strong commutativity for all r, v ∈ S ". Following [33], "an additive mapping T : R → R is said to be a left (respectively right) centralizer (multiplier) of R if T (rv) = T (r)v (respectively T (rv) = rT (v)) for all r, v ∈ R. An additive mapping T is called a centralizer in case T is a left and a right centralizer of R". In ring theory it is more common to work with module homomorphisms. Ring theorists would write that T : R → R is a homomorphism of a ring module R into itself. For a prime ring R all such homomorphisms are of the form T (r) = qr for all r ∈ R, where q ∈ Q (see Chapter 2 in [4]). "An additive mapping δ : R → R is said to be a derivation on R if δ(rv) = δ(r)v + rδ(v) for all r, v ∈ R". It is well-known that every derivation of R can be uniquely extended to a derivation of Q. "A derivation δ is said to be Q−inner if there exists α ∈ Q such that δ(r) = αr − rα for all r ∈ R. Otherwise, it is called Q−outer (δ is not inner)". "An additive The derivation δ is uniquely determined by H and is called the associated derivation of H . The concept of generalized derivations covers the both the concepts of a derivation and a left centralizer. We would like to point out that in [19] Lee proved that "every generalized derivation can be uniquely extended to a generalized derivation of Q and thus all generalized derivations of R will be implicitly assumed to be defined on the whole Q". The recent concept of generalized derivations were introduced by Koşan and Lee [17], namely, b−generalized derivations which was defined as follows: "An additive mapping H : . Also they proved that if "R is a prime ring and 0 b ∈ Q, then the associated map δ is a derivation i.e., δ(rv) = δ(r)v + rδ(v) for all r, v ∈ R". It is easy to see that every generalized derivation is a 1−generalized derivation. Also, the mapping r ∈ R → αr + brc ∈ Q for a, b, c ∈ Q is a b−generalized derivation of R, which is known as inner b−generalized derivation of R. In spite of this, they also characterized b−generalized derivation. That is, every b−generalized derivation H on a semiprime ring R is of the form H (r) = αr + bδ(r) for all r ∈ R, where a, b ∈ Q. Following important facts are frequently used in the proof of our results: . "Let R be a prime ring with involution such that char(R) 2. If K (R) ∩ Z (R) (0) and R is normal, then R is commutative." Fact 2.2. "Let R be a ring with involution such that char(R) 2. Then every r ∈ R can uniquely represented as 2r = w + s, where w ∈ W (R) and s ∈ K (R)." . "Let R be a semiprime ring, b ∈ Q, and let H : R → Q be a b−generalized derivation associated with δ. Then δ is a derivation and there exists α ∈ Q such that H (r) = αr + bδ(r) for every r ∈ R." . "Let R be a non-commutative prime ring with involution of the second kind such that char(R) 2. If R admits a derivation δ : We need a well-known lemma due to Martindale [28], stated below in a form, convenient for our purpose.
Lemma 2.1 ( [28, Theorem 2(a)]). "Let R be a prime ring and a i , b i , c j , d j ∈ Q. Suppose that m i=1 a i rb i + n j=1 c j rd j = 0 for all r ∈ R. If a 1 , · · · , a m are C −independent, then each b i is a C −linear combination of d 1 , · · · , d n . If b 1 , · · · , b m are C −independent, then each a i is a C −linear combination of c 1 , · · · , c n ." We need Kharchenko's theorem for differential identities to prime rings [16]. The lemma below is a special case of [16,Lemma 2].

Results on b−generalized derivations
We begin with the following Lemma which is needed for developing the proof of our theorems: Lemma 3.1. Let R be a non-commutative prime ring of characteristic different from two with involuation of the second kind. If for any α ∈ R, [αr, αr * ] − [r, r * ] = 0 for every r ∈ R, then α ∈ C and α 2 = 1.
Proof. For any r ∈ R, we have This can also be written as for every r ∈ R. Replace r by r + s in above equation, where s ∈ K (R) ∩ Z (R), we get for every r ∈ R and s ∈ K (R) ∩ Z (R). In view of (3.2), we have for every r ∈ R and s ∈ K (R) ∩ Z (R). Since the involution is of the second kind, so we have for every w ∈ W (R). Substitute ss for w in above expression, we get for every s ∈ K (R), since the involution is of the second kind. Observe from Fact 2.
Thus we have α ∈ C and, by our hypothesis, (α 2 − 1)[r, r * ] = 0, for every r ∈ R. By the primeness of R, it follows that either α 2 = 1 or [r, r * ] = 0, for any r ∈ R. Thus we are led to the required conclusion by Fact 2.1.
Theorem 3.1. Let R be a non-commutative prime ring of characteristic different from two. If H is a non-zero b−generalized derivation on R associated with a derivation δ on R and ψ is a non-zero map Then there exists 0 λ ∈ C and an additive map µ : R → C such that H (r) = λr, ψ(r) = λ −1 r + µ(r), for any r ∈ R.
Proof. Notice that if either δ = 0 or b = 0, the map H reduces to a centralizer, that is H (v) = αv, for any v ∈ R. Then the conclusion follows as a reduced case of [25, Theorem 1.1]. Hence, in the rest of the proof we assume both b 0 and δ 0. By Fact 2.3, there exists α ∈ H such that H (r) = αr + bδ(r) for every r ∈ R. By the hypothesis for every r, v ∈ R. Taking of vz for v in above expression gives for every r, v, z ∈ R. Suppose firstly that δ is not an inner derivation of R. In view of (3.9) and Lemma 2.2, we observe that for every r, z, v ∈ R. By the primeness of R and since b 0, it follows that ψ(r) ∈ Z (R), for any r ∈ R. On the other hand, by ψ(r) ∈ Z (R) and (3.8) one has that [r, v] = 0 for any r, v ∈ R, which is a contradiction since R is not commutative. Therefore, we have to consider the only case when there is q ∈ H such that δ(r) = [r, q], for every r ∈ R. Thus we rewrite (3.10) as follows for every r, v, z ∈ R. Suppose there exists v ∈ R such that {bv, v} are linearly C -independent. From relation (3.13) and Lemma 2.1, it follows that, for any r ∈ R, both r and qψ(r) are C -linear combinations of {1, q, ψ(r)}. In other words, there exist α 1 , α 2 , α 3 , β 1 , β 2 , β 3 ∈ C , depending by the choice of r ∈ R, such that r = α 1 + α 2 ψ(r) + α 3 q (3.14) and qψ(r) = β 1 + β 2 ψ(r) + β 3 q. Notice that, for α 2 = 0, relation (3.14) implies that q commutes with element r ∈ R. On the other hand, in case α 2 0, by (3.14) we have that Then, by using (3.16) in (3.15), it follows that So, by commuting (3.17) with q, we get α −1 2 (q − β 2 )[r, q] = 0, implying that [r, q] = 0 in any case. Therefore q commutes with any element of R and this contradicts the fact that δ 0. Therefore, for any v ∈ R, {v, bv} must be linearly C -dependent. In this case a standard argument shows that b ∈ C , which implies that H (r) = (α − bq)r + r(bq), for any r ∈ R. Hence H is a generalized derivation of R and once again the result follows from [25, Theorem 1.1].

The following theorem is a generalization of [8, Theorem 2.3].
Theorem 3.2. Let R be a non-commutative prime ring with involution of the second kind of characteristic different from two. If H is a b−generalized derivation on R associated with a derivation δ on R such that [H (r), H (r * )] = [r, r * ] for every r ∈ R, then there exists λ ∈ C such that λ 2 = 1 and H (r) = λr for every r ∈ R.
Proof. By the given hypothesis, we have for every r, v ∈ R and s ∈ K (R) ∩ Z (R). This implies that for every r, v ∈ R. In particular for every r, v ∈ R. As a special case of Theorem 3.1, H is of the form H (r) = λr, where λ ∈ C and λ 2 = 1.
The following theorem is a generalization of [8, Theorem 2.4].
Theorem 3.3. Let R be a non-commutative prime ring with involution of the second kind of characteristic different from two. If H is a b−generalized derivation on R associated with a derivation δ on R such that [H (r), δ(r * )] = [r, r * ] for every r ∈ R, then there exists λ ∈ C such that H (r) = λr for every r ∈ R.
Proof. By the hypothesis, we have for every r ∈ R. The derivation δ satisfies δ(R) Z (R), otherwise the hypothesis [H (r), δ(r * )] = [r, r * ] for every r ∈ R, would reduce to [r, r * ] = 0 for all r ∈ R, and, therefore R would be commutative, by Fact 2.1. A linearization of (3.38) yields for every r, v ∈ R. Replace r by z ∈ Z (R) in (3.39), we obtain [H (z), δ(v)] = 0 for every v ∈ R and z ∈ Z (R). Observe from [18,Theorem 2] that H (z) ∈ Z (R) for every z ∈ Z (R). Now take r as rs in (3.38) and suppose δ(s ) 0, we get for every r ∈ R and s ∈ K (R) ∩ Z (R). In view of (3.38), we have for every r ∈ R and s ∈ K (R) ∩ Z (R). Replace r by r + s in last expression and use the fact that H (z) ∈ Z (R) for every z ∈ Z (R), we get for every r, v ∈ R. In view of Theorem 3.1, there exist 0 λ ∈ C and an additive map µ : R → C such that H (r) = λr and δ (r) = λ −1 r + µ(r) for every r ∈ R, where δ = −δ. Commute the latter case with r, we get [δ (r), r] = 0 for every r ∈ R. Since δ = −δ 0, so R is commutative from [29,Lemma 3], this leads to again a contradiction. This completes the proof of the theorem.

Examples
The following example shows that the condition of the second kind involution is essential in Theorems 3.2 and 3.3. This example collected from [2, Example 1].
which is of course a prime ring with ususal addition and multiplication of matrices, where Z is the set of integers. Define mappings H , δ, * : R → R such that and a fixed element b = 1 0 0 1 , Obviously, Then r * = r for every r ∈ Z (R), and hence Z (R) ⊆ W (R), which shows that the involution * is of the first kind. Moreover, H , δ are nonzero b−generalized derivation and associated derivation with fixed element b defined as above, such that the hypotheses in Theorems 3.2 and 3.3 are satisfied but H is not in the form H (r) = λr for every r ∈ R. Thus, the hypothesis of the second kind involution is crucial in our results.
We conclude the manuscript with the following example which reveals that Theorems 3.2 and 3.3 cannot be extended to semiprime rings.
Example 4.2. Let (R, * ) be a ring with involution as defined above, which admits a b−generalized derivation H , where δ is an associated nonzero derivation same as above and R 1 = C with the usual conjugation involution . Next, let S = R × R 1 and define a b−generalized derivation G on S by G (r, v) = (H (r), 0) associated with a derivation D defined by D(r, v) = (δ(r), 0). Obviously, (S , τ) is a semiprime ring with involution of the second kind such that τ(r, v) = (r * , v ). Then the b−generalized derivation G satisfies the requirements of Theorems 3.2 and 3.3, but G is not in the form G (r) = λr for every r ∈ R, and R is not commutative. Hence, the primeness hypotheses in our results is not superfluous.

Problems based on X−generalized skew derivations
We recall that "a generalized skew derivation is an additive mapping G : R → R satisfying the rule G (rv) = G (r)v + ζ(r)∂(v) for every r, v ∈ R, where ∂ is an associated skew derivation of R and ζ is an automorphism of R". Following [9], De Filippis proposed the new concept for further research and he defined the following: "Let R be an associative algebra, b ∈ Q, ∂ be a linear mapping from R to itself, and ζ be an automorphism of R. A linear mapping G : R → R is called an X−generalized skew derivation of R, with associated term (b, ζ, ∂) if G (rv) = G (r)v + bζ(r)∂(v) for every r, v ∈ R". It is clear from both definitions, the notions of X−generalized skew derivation, generalize both generalized skew derivations and skew derivations. Hence, every X−generalized skew derivation is a generalized skew derivation as well as a skew derivation, but the converse statement is not true in general.
Actuated by the concept specified by De Filippis [9] and having regard to our main theorems, the following are natural problems.
Question 5.1. Let R be a (semi)-prime ring and L be a Lie ideal of R. Next, let F and G be two X−generalized skew derivation with an associated skew derivation ∂ of R such that Then what we can say about the behaviour of F and G or about the structure of R?
Question 5.2. Let R be a prime ring possessing second kind involution with suitable torsion restrictions and L be a Lie ideal of R. Next, let F and G be two X−generalized skew derivation with an associated skew derivation ∂ of R such that Then what we can say about the behaviour of F and G or about the structure of R?

Conclusions
The characterization of strong commutative preserving (SCP) b−generalized derivations has been discussed in non-commutative prime rings. In addition, the behavior of b−generalized derivations with * −differential/functional identities on prime rings with involution was investigated. Besides, we present some problems for X−generalized skew derivations on rings with involution.