Next Article in Journal
On Spectral Graph Determination
Next Article in Special Issue
On a Quotient Ring That Satisfies Certain Identities via Generalized Reverse Derivations
Previous Article in Journal
Espresso Crema Analysis with f-AnoGAN
Previous Article in Special Issue
The Equivalent Standard Forms of a Class of Tropical Matrices and Centralizer Groups
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Lie Ideals and Homoderivations in Semiprime Rings

by
Ali Yahya Hummdi
1,†,
Zeliha Bedir
2,†,
Emine Koç Sögütcü
2,†,
Öznur Gölbaşı
2,† and
Nadeem ur Rehman
3,*,†
1
Department of Mathematics, College of Science, King Khalid University, Abha 61471, Saudi Arabia
2
Department of Mathematics, Faculty of Science, Sivas Cumhuriyet University, Sivas 58140, Turkey
3
Department of Mathematics, Aligarh Muslim University, Aligarh 202002, India
*
Author to whom correspondence should be addressed.
All authors contributed equally to this work.
Mathematics 2025, 13(4), 548; https://doi.org/10.3390/math13040548
Submission received: 25 December 2024 / Revised: 1 February 2025 / Accepted: 4 February 2025 / Published: 7 February 2025
(This article belongs to the Special Issue Advanced Research in Pure and Applied Algebra)

Abstract

:
Let S be a 2-torsion free semiprime ring and U be a noncentral square-closed Lie ideal of S . An additive mapping on S is defined as a homoderivation if ( a b ) = ( a ) ( b ) + ( a ) b + a ( a ) for all a , b S . In the present paper, we shall prove that is a commuting map on U if any one of the following holds: (i) ( a ˜ 1 a ˜ 2 ) + a ˜ 1 a ˜ 2 Z ,   (ii) ( a ˜ 1 a ˜ 2 ) a ˜ 1 a ˜ 2 Z ,   (iii) a ˜ 1 a ˜ 2 = 0 ,   (iv) a ˜ 1 a ˜ 2 = a ˜ 1 , a ˜ 2 ,   (v) a ˜ 1 , a ˜ 2 = 0 ,   (vi) a ˜ 1 , a ˜ 2 =   ( a ˜ 1 a ˜ 2 ) ,   (vii) a ˜ 1 ( a ˜ 2 ) ± a ˜ 1 a ˜ 2 Z ,   (viii) a ˜ 1 ( a ˜ 2 ) ± a ˜ 2 a ˜ 1 = 0 ,   (ix) a ˜ 1 ( a ˜ 2 ) ± a ˜ 1 a ˜ 2 = 0 ,   (x) [ ( a ˜ 1 ) , a ˜ 2 ] ± a ˜ 1 a ˜ 2 = 0 ,   (xi) [ ( a ˜ 1 ) , a ˜ 2 ] ± a ˜ 2 a ˜ 1 = 0 , for all a ˜ 1 , a ˜ 2 U , where is a homoderivation on S .
MSC:
16W25; 16N60; 16U80

1. Introduction

The symbol S used throughout this article denotes a ring with center Z. A ring S is called prime if I J 0 for any two nonzero ideals I , J S , and semiprime if it contains no nonzero ideals whose square is zero. A proper ideal P of S is said to be prime if for any a ˜ 1 , a ˜ 2 S , a ˜ 1 S a ˜ 2 P implies that a ˜ 1 P or a ˜ 2 P . In other words, the ring S is prime ring if and only if ( 0 ) is a prime ideal of S , or equivalently, a ring S is prime if for a ˜ 1 , a ˜ 2 S , a ˜ 1 S a ˜ 2 = ( 0 ) implies either a ˜ 1 = 0 or a ˜ 2 = 0 . Recall that a proper ideal P of S is said to be semiprime if for any a ˜ 1 S , a ˜ 1 S a ˜ 1 P implies that a ˜ 1 P and the ring S is a semiprime ring if P = ( 0 ) is a semiprime ideal of S . Every prime ideal is a semiprime ideal but the converse is not true in general. An additive subgroup U of S is called a Lie ideal of S if [ a ˜ 1 , r ] U , for all a ˜ 1 U , r S . U is called a square-closed Lie ideal of S if U is a Lie ideal and a ˜ 1 2 U for all a ˜ 1 U . If U is a square-closed Lie ideal of S , then we have ( a ˜ 1 + a ˜ 2 ) 2 U and so ( a ˜ 1 + a ˜ 2 ) 2 a ˜ 1 2 a ˜ 2 2 = a ˜ 1 a ˜ 2 + a ˜ 2 a ˜ 1 U for all a ˜ 1 , a ˜ 2 U . Hence, we find 2 a ˜ 1 a ˜ 2 U , for all a ˜ 1 , a ˜ 2 U .
An additive mapping d : S S is called a derivation if d ( a ˜ 1 a ˜ 2 ) = d ( a ˜ 1 ) a ˜ 2 + a ˜ 1 d ( a ˜ 2 ) holds for all a ˜ 1 , a ˜ 2 S . Research on the subject of derivations in prime rings was initiated by E. C. Posner [1]. Regarding commuting mappings, Posner’s theorem, as discussed in this paper, is a crucial finding in the investigation of these mappings. It states that a prime ring possessing a nonzero commuting d mapping must be commutative. This theorem marks an important initial outcome in the study of commuting mappings. Afterwards, many researchers studied commutativity theorems for prime or semiprime rings admitting automorphisms or derivations on suitable subsets. A mapping f : S S is called centralizing if [ f ( a ˜ 1 ) , a ˜ 1 ] Z ( S ) holds for all a ˜ 1 S ; in the special case where [ f ( a ˜ 1 ) , a ˜ 1 ] = 0 holds for all a ˜ 1 S , the mapping f is said to be commuting. In 2000, El Soufi [2] defined a homoderivation on S as an additive mapping : S S satisfying ( a ˜ 1 a ˜ 2 ) = ( a ˜ 1 ) ( a ˜ 2 ) + ( a ˜ 1 ) a ˜ 2 + a ˜ 1 ( a ˜ 2 ) for all a ˜ 1 , a ˜ 2 S . An example of such mapping is to let ( a ˜ 1 ) = f ( a ˜ 1 ) a ˜ 1 , for all a ˜ 1 , a ˜ 2 S where f is an endomorphism on S. It is clear that a homoderivation is also a derivation if ( a ˜ 1 ) ( a ˜ 2 ) = 0 for all a ˜ 1 , a ˜ 2 S . In this case, ( a ˜ 1 ) S ( a ˜ 2 ) = 0 for all a ˜ 1 , a ˜ 2 S . Therefore, if S is a prime ring, then the only additive mapping which is both a derivation and a homoderivation is the zero mapping. Another example of homoderivations is when the additive mapping : S S defined by ( x ) = x is a homoderivation of S.
In Daif and Bell, Let S be semiprime ring, d is nonzero derivation of S and I is nonzero ideal of S. S contains a nonzero central ideal if one of the following conditions is provide; (i) d ( [ a ˜ 1 , a ˜ 2 ] ) = [ a ˜ 1 , a ˜ 2 ] (ii) d ( [ a ˜ 1 , a ˜ 2 ] ) = [ a ˜ 1 , a ˜ 2 ] for all a ˜ 1 , a ˜ 2 I has been proven in [3]. In [4], Quadri, Khan, and Rehman examined the following conditions for generalized derivation: (i) f ( [ a ˜ 1 , a ˜ 2 ] ) = [ a ˜ 1 , a ˜ 2 ] , (ii) f ( [ a ˜ 1 , a ˜ 2 ] ) = [ a ˜ 1 , a ˜ 2 ] , (iii) f ( a ˜ 1 o a ˜ 2 ) = a ˜ 1 o a ˜ 2 , (iv) f ( a ˜ 1 o a ˜ 2 ) = ( a ˜ 1 o a ˜ 2 ) . The conditions discussed above by various authors have been studied by many authors in recent years for different structures and derivation. For more details, see the references [5,6,7,8,9].
In [2], El Soufi also proved the commutativity of prime rings, admitting a homoderivation that satisfies the condition ( [ a ˜ 1 , a ˜ 2 ] ) = ± [ a ˜ 1 , a ˜ 2 ] for all a ˜ 1 , a ˜ 2 I , with a nonzero two-sided ideal of S. Following this line of investigation, several authors studied homoderivations acting on appropriate subsets of the prime ring and semiprime rings. In [10], Asmaa Melaibari et al. studied the commutativity of rings admitting a homoderivation such that ( [ a ˜ 1 , a ˜ 2 ] ) = 0 for all a ˜ 1 , a ˜ 2 U , where U is a nonzero ideal of S.
On the other hand, Ashraf and Rehman showed that if S is a prime ring with a nonzero ideal U of S and d is a derivation of S such that d ( a ˜ 1 a ˜ 2 ) ± a ˜ 1 a ˜ 2 Z , d ( a ˜ 1 a ˜ 2 ) ± a ˜ 2 a ˜ 1 Z , for all a ˜ 1 , a ˜ 2 U , then R is commutative in [11]. Alharfie and Muthana proved similar results regarding homoderivations in [12].
In light of all these results, our aim in this article is to explore a more general context of differential identities involving a Lie ideal of the semiprime ring with homoderivation. Some conditions about commutativity on Lie ideals of prime rings with homoderivation were proved in [13]. Futhermore, in Section 4 of the paper [14], it was shown that the study of differential identities on algebras plays a crucial role. This approach provides us with the opportunity to generalize the results obtained earlier.

2. Results

The symbol S throughout this article will denote a 2 torsion free semiprime ring. In addition, U will symbolize a noncentral square-closed Lie ideal of S and will symbolize a homoderivation of S. In addition, for any a ˜ 1 , a ˜ 2 S , [ a ˜ 1 , a ˜ 2 ] = a ˜ 1 a ˜ 2 a ˜ 2 a ˜ 1 and a ˜ 1 o a ˜ 2 = a ˜ 1 a ˜ 2 + a ˜ 2 a ˜ 1 will denote the well-known Lie and Jordan product, respectively.
We will make use of the following fundamental identities that apply to every a ˜ 1 , a ˜ 2 , a ˜ 3 S without explicitly mentioning them:
[ a ˜ 1 , a ˜ 2 a ˜ 3 ] = a ˜ 2 [ a ˜ 1 , a ˜ 3 ] + [ a ˜ 1 , a ˜ 2 ] a ˜ 3 [ a ˜ 1 a ˜ 2 , a ˜ 3 ] = [ a ˜ 1 , a ˜ 3 ] a ˜ 2 + a ˜ 1 [ a ˜ 2 , a ˜ 3 ] a ˜ 1 o ( a ˜ 2 a ˜ 3 ) = ( a ˜ 1 o a ˜ 2 ) a ˜ 3 a ˜ 2 [ a ˜ 1 , a ˜ 3 ] = a ˜ 2 ( a ˜ 1 o a ˜ 3 ) + [ a ˜ 1 , a ˜ 2 ] a ˜ 3 ( a ˜ 1 a ˜ 2 ) o a ˜ 3 = a ˜ 1 ( a ˜ 2 o a ˜ 3 ) [ a ˜ 1 , a ˜ 3 ] a ˜ 2 = ( a ˜ 1 o a ˜ 3 ) a ˜ 2 + a ˜ 1 [ a ˜ 2 , a ˜ 3 ] .
Remark 1.
For all a ˜ 1 , a ˜ 2 S , we obtain
( [ a ˜ 1 , a ˜ 2 ] ) = ( a ˜ 1 a ˜ 2 a ˜ 2 a ˜ 1 ) = ( a ˜ 1 a ˜ 2 ) ( a ˜ 2 a ˜ 1 ) = ( a ˜ 1 ) ( a ˜ 2 ) + ( a ˜ 1 ) a ˜ 2 + a ˜ 1 ( a ˜ 2 ) ( a ˜ 2 ) ( a ˜ 1 ) ( a ˜ 2 ) a ˜ 1 a ˜ 2 ( a ˜ 1 ) = [ ( a ˜ 1 ) , ( a ˜ 2 ) ] + [ ( a ˜ 1 ) , a ˜ 2 ] + [ a ˜ 1 , ( a ˜ 2 ) ] .
Lemma 1
([15], Corollary 2.1). Let R be a 2 torsion free semiprime ring, U a Lie ideal of R such that U Z ( R ) and a , b U .
(i)
If a U a = 0 , then a = 0 .
(ii)
If a U = 0 ( or U a = 0 ), then a = 0 .
(iii)
If U is square-closed and a U b = 0 , then a b = 0 and b a = 0 .
Theorem 1.
Let S be a 2 torsion free semiprime ring, U a noncentral square-closed Lie ideal of S, and ℏ a homoderivation which is zero-power valued on U. If ℏ is the centralizing map on U , then ℏ is the commuting map on U .
Proof. 
By the hypothesis, we have
[ a ˜ 1 , ( a ˜ 1 ) ] Z , for all a ˜ 1 U .
Writing a ˜ 1 by 2 a ˜ 1 2 in the last equation, we have
Z 4 [ a ˜ 1 2 , ( a ˜ 1 2 ) ] = 4 [ a ˜ 1 2 , ( a ˜ 1 ) ( a ˜ 1 ) + a ˜ 1 ( a ˜ 1 ) + ( a ˜ 1 ) a ˜ 1 ] = 4 [ a ˜ 1 2 , ( a ˜ 1 ) ( a ˜ 1 ) + a ˜ 1 ( a ˜ 1 ) + ( a ˜ 1 ) a ˜ 1 a ˜ 1 ( a ˜ 1 ) + a ˜ 1 ( a ˜ 1 ) ] = 4 [ a ˜ 1 2 , ( a ˜ 1 ) ( a ˜ 1 ) + 2 a ˜ 1 ( a ˜ 1 ) [ a ˜ 1 , ( a ˜ 1 ) ] ]
Since S is 2-torsion free, we obtain
[ a ˜ 1 2 , ( a ˜ 1 ) ( a ˜ 1 ) + 2 a ˜ 1 ( a ˜ 1 ) [ a ˜ 1 , ( a ˜ 1 ) ] ] Z .
By the hypothesis, we have
[ a ˜ 1 2 , ( a ˜ 1 2 ) ] Z .
Expanding this equation and using [ a ˜ 1 , ( a ˜ 1 ) ] Z , we obtain
[ a ˜ 1 2 , ( a ˜ 1 2 ) ] = [ a ˜ 1 2 , ( a ˜ 1 ) ( a ˜ 1 ) + 2 a ˜ 1 ( a ˜ 1 ) ] = a ˜ 1 [ a ˜ 1 , ( a ˜ 1 ) ( a ˜ 1 ) ] + [ a ˜ 1 , ( a ˜ 1 ) ( a ˜ 1 ) ] a ˜ 1 + a ˜ 1 [ a ˜ 1 , 2 a ˜ 1 ( a ˜ 1 ) ] + [ a ˜ 1 , 2 a ˜ 1 ( a ˜ 1 ) ] a ˜ 1 = a ˜ 1 ( a ˜ 1 ) [ a ˜ 1 , ( a ˜ 1 ) ] + a ˜ 1 [ a ˜ 1 , ( a ˜ 1 ) ] ( a ˜ 1 ) + ( a ˜ 1 ) [ a ˜ 1 , ( a ˜ 1 ) ] a ˜ 1 + [ a ˜ 1 , ( a ˜ 1 ) ] ( a ˜ 1 ) a ˜ 1 + 2 a ˜ 1 2 [ a ˜ 1 , ( a ˜ 1 ) ] + 2 a ˜ 1 [ a ˜ 1 , ( a ˜ 1 ) ] a ˜ 1 = 2 a ˜ 1 ( a ˜ 1 ) [ a ˜ 1 , ( a ˜ 1 ) ] + 2 ( a ˜ 1 ) a ˜ 1 [ a ˜ 1 , ( a ˜ 1 ) ] + 4 a ˜ 1 2 [ a ˜ 1 , ( a ˜ 1 ) ] = 2 a ˜ 1 ( a ˜ 1 + ( a ˜ 1 ) ) [ a ˜ 1 , ( a ˜ 1 ) ] + 2 ( ( a ˜ 1 ) + a ˜ 1 ) a ˜ 1 [ a ˜ 1 , ( a ˜ 1 ) ] = ( 2 a ˜ 1 ( a ˜ 1 + ( a ˜ 1 ) ) + 2 ( ( a ˜ 1 ) + a ˜ 1 ) a ˜ 1 ) [ a ˜ 1 , ( a ˜ 1 ) ] = 2 ( 2 a ˜ 1 2 + ( a ˜ 1 ) a ˜ 1 + a ˜ 1 ( a ˜ 1 ) ) [ a ˜ 1 , ( a ˜ 1 ) ]
Since S is 2 torsion free, we have
( 2 a ˜ 1 2 + ( a ˜ 1 ) a ˜ 1 + a ˜ 1 ( a ˜ 1 ) ) [ a ˜ 1 , ( a ˜ 1 ) ] Z .
Commuting this term with a ˜ 1 , we find that
[ ( 2 a ˜ 1 2 + ( a ˜ 1 ) a ˜ 1 + a ˜ 1 ( a ˜ 1 ) ) [ a ˜ 1 , ( a ˜ 1 ) ] , a ˜ 1 ] = 0 .
Using the hypothesis, we obtain
[ 2 a ˜ 1 2 + ( a ˜ 1 ) a ˜ 1 + a ˜ 1 ( a ˜ 1 ) , a ˜ 1 ] [ a ˜ 1 , ( a ˜ 1 ) ] = 0
and so
( [ ( a ˜ 1 ) a ˜ 1 , a ˜ 1 ] + [ a ˜ 1 ( a ˜ 1 ) , a ˜ 1 ] ) = 2 a ˜ 1 [ ( a ˜ 1 ) , a ˜ 1 ] [ a ˜ 1 , ( a ˜ 1 ) ] = 0 .
Since S is 2 torsion free, we have
a ˜ 1 [ ( a ˜ 1 ) , a ˜ 1 ] 2 = 0 .
Multiplying Equation (2) from the left side by ( a ˜ 1 ) , we find that
( a ˜ 1 ) a ˜ 1 [ ( a ˜ 1 ) , a ˜ 1 ] 2 = 0 .
Multiplying (2) from the left side by ( a ˜ 1 ) , we obtain
a ˜ 1 [ ( a ˜ 1 ) , a ˜ 1 ] 2 ( a ˜ 1 ) = 0 .
Since is centralizing map on U, we have
a ˜ 1 ( a ˜ 1 ) [ ( a ˜ 1 ) , a ˜ 1 ] 2 = 0 .
Comparing (3) and (4), we find that
[ a ˜ 1 , ( a ˜ 1 ) ] 3 = 0 .
Since the center of a semiprime ring contains no nonzero nilpotent elements, we obtain [ a ˜ 1 , ( a ˜ 1 ) ] = 0 for all a ˜ 1 U . Hence, we conclude that is a commuting map on U .
Theorem 2.
Let S be a 2 torsion free semiprime ring, U a noncentral square-closed Lie ideal of S, and ℏ a homoderivation which is zero-power valued on U. If any of the following holds for all a ˜ 1 , a ˜ 2 U ,
(i)
( a ˜ 1 a ˜ 2 ) + a ˜ 1 a ˜ 2 Z , or
(ii)
( a ˜ 1 a ˜ 2 ) a ˜ 1 a ˜ 2 Z ,
then ℏ is a commuting map on U .
Proof. 
( i ) By the hypothesis, we obtain
a ˜ 1 a ˜ 2 + a ˜ 1 a ˜ 2 Z for all a ˜ 1 , a ˜ 2 U .
That is,
( a ˜ 1 ) ( a ˜ 2 ) + ( a ˜ 1 ) a ˜ 2 + a ˜ 1 ( a ˜ 2 ) + a ˜ 1 a ˜ 2 Z .
Substituting a ˜ 2 by 2 a ˜ 2 a ˜ 3 , a ˜ 3 U in the last equation, we obtain
2 ( a ˜ 1 ) ( a ˜ 2 ) ( a ˜ 3 ) + 2 ( a ˜ 1 ) ( a ˜ 2 ) a ˜ 3 + 2 ( a ˜ 1 ) a ˜ 2 ( a ˜ 3 ) + 2 ( a ˜ 1 ) a ˜ 2 a ˜ 3
+ 2 a ˜ 1 ( a ˜ 2 ) ( a ˜ 3 ) + 2 a ˜ 1 ( a ˜ 2 ) a ˜ 3 + 2 a ˜ 1 a ˜ 2 ( a ˜ 3 ) + 2 a ˜ 1 a ˜ 2 a ˜ 3 Z ,
and so
2 ( a ˜ 1 ) ( a ˜ 2 ) + ( a ˜ 1 ) a ˜ 2 + a ˜ 1 ( a ˜ 2 ) + a ˜ 1 a ˜ 2 ( a ˜ 3 )
+ 2 ( a ˜ 1 ) ( a ˜ 2 ) + ( a ˜ 1 ) a ˜ 2 + a ˜ 1 ( a ˜ 2 ) + a ˜ 1 a ˜ 2 a ˜ 3 Z .
Substituting this term with a ˜ 3 , we obtain
2 [ ( a ˜ 1 ) ( a ˜ 2 ) + ( a ˜ 1 ) a ˜ 2 + a ˜ 1 ( a ˜ 2 ) + a ˜ 1 a ˜ 2 ( a ˜ 3 ) , a ˜ 3 ] = 0 , for all a ˜ 1 , a ˜ 2 , a ˜ 3 U .
That is
[ ( 2 a ˜ 1 a ˜ 2 ) + 2 a ˜ 1 a ˜ 2 ( a ˜ 3 ) , a ˜ 3 ] = 0 , for all a ˜ 1 , a ˜ 2 , a ˜ 3 U .
Since is zero-power valued on U, there exists an integer n > 1 such that n ( a ˜ 1 ) = 0 for all a ˜ 1 U . Using a ˜ 1 , a ˜ 2 U , we obtain that 2 a ˜ 1 a ˜ 2 U . Replacing 2 a ˜ 1 a ˜ 2 by 2 a ˜ 1 a ˜ 2 2 ( a ˜ 1 a ˜ 2 ) + 2 2 ( a ˜ 1 a ˜ 2 ) + . . . + 2 ( 1 ) n 1 n 1 ( a ˜ 1 a ˜ 2 ) in this equation and using S is 2 torsion free, we find that
[ a ˜ 1 a ˜ 2 ( a ˜ 3 ) , a ˜ 3 ] = 0 , for all a ˜ 1 , a ˜ 2 , a ˜ 3 U .
That is
a ˜ 1 a ˜ 2 [ ( a ˜ 3 ) , a ˜ 3 ] + a ˜ 1 [ a ˜ 2 , a ˜ 3 ] ( a ˜ 3 ) + [ a ˜ 1 , a ˜ 3 ] a ˜ 2 ( a ˜ 3 ) = 0 .
Replacing a ˜ 1 by 2 r a ˜ 1 , r U in this equation, we obtain
2 r a ˜ 1 a ˜ 2 [ ( a ˜ 3 ) , a ˜ 3 ] + 2 r a ˜ 1 [ a ˜ 2 , a ˜ 3 ] ( a ˜ 3 ) + 2 r [ a ˜ 1 , a ˜ 3 ] a ˜ 2 ( a ˜ 3 ) + 2 [ r , a ˜ 3 ] a ˜ 1 a ˜ 2 ( a ˜ 3 ) = 0 .
Since S is 2 torsion free, we see that
r a ˜ 1 a ˜ 2 [ ( a ˜ 3 ) , a ˜ 3 ] + r a ˜ 1 [ a ˜ 2 , a ˜ 3 ] ( a ˜ 3 ) + r [ a ˜ 1 , a ˜ 3 ] a ˜ 2 ( a ˜ 3 ) + [ r , a ˜ 3 ] a ˜ 1 a ˜ 2 ( a ˜ 3 ) = 0 .
Using Equation (5), we have
[ r , a ˜ 3 ] a ˜ 1 a ˜ 2 ( a ˜ 3 ) = 0 , for all a ˜ 1 , a ˜ 2 , a ˜ 3 , r U .
Replacing a ˜ 2 by 4 a ˜ 2 [ r , a ˜ 3 ] a ˜ 1 and using S is 2 torsion free, we obtain
[ r , a ˜ 3 ] a ˜ 1 a ˜ 2 [ r , a ˜ 3 ] a ˜ 1 ( a ˜ 3 ) = 0 , for all a ˜ 1 , a ˜ 2 , a ˜ 3 , r U .
Writing a ˜ 1 by 2 a ˜ 1 ( a ˜ 3 ) and again using S is 2 torsion free, we have
[ r , a ˜ 3 ] a ˜ 1 ( a ˜ 3 ) a ˜ 2 [ r , a ˜ 3 ] a ˜ 1 ( a ˜ 3 ) = 0 , for all a ˜ 1 , a ˜ 2 , a ˜ 3 , r U .
By Lemma 1, we obtain that
[ r , a ˜ 3 ] a ˜ 1 ( a ˜ 3 ) = 0 , for all a ˜ 1 , a ˜ 3 , r U .
Now, writing r by a ˜ 3 in (6) and multiplying this equation from the right by a ˜ 3 , we have
[ a ˜ 3 , a ˜ 3 ] a ˜ 1 ( a ˜ 3 ) a ˜ 3 = 0 , for all a ˜ 1 , a ˜ 3 U .
Taking a ˜ 1 by 2 a ˜ 1 a ˜ 3 in (7), we obtain that
2 [ a ˜ 3 , a ˜ 3 ] a ˜ 1 a ˜ 3 ( a ˜ 3 ) = 0 , for all a ˜ 1 , a ˜ 2 , a ˜ 3 U .
Since S is 2 torsion free, we obtain
[ a ˜ 3 , a ˜ 3 ] a ˜ 1 a ˜ 3 ( a ˜ 3 ) = 0 , for all a ˜ 1 , a ˜ 2 , a ˜ 3 U .
Combining (7) and (8), we find that
[ a ˜ 3 , a ˜ 3 ] a ˜ 1 ( a ˜ 3 ) , a ˜ 3 = 0 , for all a ˜ 1 , a ˜ 2 , a ˜ 3 U .
Again by Lemma 1, we obtain that is a commuting map on U.
( i i ) If is a homoderivation satisfying ( a ˜ 1 a ˜ 2 ) a ˜ 1 a ˜ 2 Z , for all a ˜ 1 , a ˜ 2 U , then ( ) ( a ˜ 1 a ˜ 2 ) a ˜ 1 a ˜ 2 Z . Since ( ) is a homoderivation on S , we obtain that is a commuting map on U by Theorem 2 ( i ) . □
Theorem 3.
Let S be a 2 torsion free semiprime ring, U a noncentral square-closed Lie ideal of S, and ℏ a homoderivation on S. If any of the following holds for all a ˜ 1 , a ˜ 2 U
(i)
( [ a ˜ 1 , a ˜ 2 ] ) = a ˜ 1 a ˜ 2 , or
(ii)
( a ˜ 1 a ˜ 2 ) = [ a ˜ 1 , a ˜ 2 ] , or
(iii)
( a ˜ 1 a ˜ 2 ) = a ˜ 1 a ˜ 2 , or
(iv)
( [ a ˜ 1 , a ˜ 2 ] ) = [ a ˜ 1 , a ˜ 2 ] , or
then U [ S , S ] = ( 0 ) and [ U , S ] = ( 0 ) . In particular, [ ( a ˜ 1 ) , a ˜ 1 ] = 0 for all a ˜ 1 U .
Proof. 
( i ) Assume that
( [ a ˜ 1 , a ˜ 2 ] ) = a ˜ 1 a ˜ 2 for all a ˜ 1 , a ˜ 2 U
Putting a ˜ 2 = a ˜ 1 in (10), we have 0 = a ˜ 1 a ˜ 1 2 a ˜ 1 2 = 0 . Since S is 2-torsion free, we have a ˜ 1 2 = 0 . By linearizing, we obtain
a ˜ 1 a ˜ 2 = 0 , for all a ˜ 1 , a ˜ 2 U .
Replacing a ˜ 2 by 2 a ˜ 2 r , where r S in this equation, we have ( a ˜ 1 a ˜ 2 ) r a ˜ 2 [ a ˜ 1 , r ] = 0 , and by using (11), we obtain [ a ˜ 1 , r ] a ˜ 2 [ a ˜ 1 , r ] = 0 for all a ˜ 1 , a ˜ 2 U and r S . Hence, [ a ˜ 1 , r ] U [ a ˜ 1 , r ] = ( 0 ) for all a ˜ 1 , a ˜ 2 U and r S . Since [ a ˜ 1 , r ] U and by using Lemma 1, we obtain [ a ˜ 1 , r ] = 0 for all a ˜ 1 U and r S , that is, [ U , S ] = ( 0 ) , hence U Z ( S ) , a contradiction with the fact that U is a noncentral. Therefore, we have to remove this condition.
Now, we will continue; we have [ a ˜ 1 , r ] = 0 for all a ˜ 1 U and r S . Replacing a ˜ 1 by 2 a ˜ 1 s , where s S , we obtain a ˜ 1 [ s , r ] = 0 for all a ˜ 1 U and r , s S . That is, U [ S , S ] = ( 0 ) and [ U , S ] = ( 0 ) .
( i i ) Assume that
( a ˜ 1 a ˜ 2 ) = [ a ˜ 1 , a ˜ 2 ] for all a ˜ 1 , a ˜ 2 U .
Putting a ˜ 2 = a ˜ 1 in (12), we have 0 = ( a ˜ 1 a ˜ 1 ) 2 ( a ˜ 1 2 ) = 0 . Since S is 2-torsion free, we obtain ( a ˜ 1 2 ) = 0 . By linearizing, we have
( a ˜ 1 a ˜ 2 ) = 0 , for all a ˜ 1 , a ˜ 2 U .
Using (13) in (12), we obtain
[ a ˜ 1 , a ˜ 2 ] = 0 , for all a ˜ 1 , a ˜ 2 U .
Replacing a ˜ 2 by 2 a ˜ 2 r , where r S , we obtain 2 [ a ˜ 1 , a ˜ 2 ] r + 2 a ˜ 2 [ a ˜ 1 , r ] = 0 , hence [ a ˜ 1 , a ˜ 2 ] r + a ˜ 2 [ a ˜ 1 , r ] = 0 , and by using (14), we obtain a ˜ 2 [ a ˜ 1 , r ] = 0 . Hence, [ a ˜ 1 , r ] a ˜ 2 [ a ˜ 1 , r ] = 0 for all a ˜ 1 , a ˜ 2 U and r S . Thus,
[ a ˜ 1 , r ] U [ a ˜ 1 , r ] = ( 0 ) for all a ˜ 1 U and r S .
Since [ a ˜ 1 , r ] U and by using Lemma 1, we obtain [ a ˜ 1 , r ] = 0 for all a ˜ 1 U and r S ; that is, [ U , S ] = ( 0 ) , hence U Z ( S ) , a contradiction with the fact that U is a noncentral. Therefore, we have to remove this condition. Now, we have [ a ˜ 1 , r ] = 0 for all a ˜ 1 U and r S . Replacing a ˜ 1 by 2 a ˜ 1 s , where s S , we obtain a ˜ 1 [ s , r ] = 0 for all a ˜ 1 U and r , s S . That is, U [ S , S ] = ( 0 ) and [ U , S ] = ( 0 ) .
( i i i ) Assume that
( a ˜ 1 a ˜ 2 ) = a ˜ 1 a ˜ 2 for all a ˜ 1 , a ˜ 2 U
Replacing a ˜ 2 by 2 a ˜ 2 a ˜ 1 in (15), we have
( ( a ˜ 1 a ˜ 2 ) a ˜ 1 ) = ( a ˜ 1 a ˜ 2 ) a ˜ 1
and so
( a ˜ 1 a ˜ 2 ) ( a ˜ 1 ) + ( a ˜ 1 a ˜ 2 ) a ˜ 1 + ( a ˜ 1 a ˜ 2 ) ( a ˜ 1 ) = ( a ˜ 1 a ˜ 2 ) a ˜ 1 .
Using (15),
( a ˜ 1 a ˜ 2 ) ( a ˜ 1 ) + ( a ˜ 1 a ˜ 2 ) a ˜ 1 + ( a ˜ 1 a ˜ 2 ) ( a ˜ 1 ) = ( a ˜ 1 a ˜ 2 ) a ˜ 1
and so
( a ˜ 1 a ˜ 2 ) ( a ˜ 1 ) + ( a ˜ 1 a ˜ 2 ) ( a ˜ 1 ) = 0 2 ( a ˜ 1 a ˜ 2 ) ( a ˜ 1 ) = 0 ( a ˜ 1 a ˜ 2 ) ( a ˜ 1 ) = 0 .
Replacing a ˜ 1 by a ˜ 1 2 in the last relation, we obtain ( a ˜ 1 2 a ˜ 2 ) ( a ˜ 1 2 ) = 0 . Putting a ˜ 2 = a ˜ 1 in (15) and using this in last equation we obtain
( a ˜ 1 2 a ˜ 2 ) a ˜ 1 2 = 0 , for all a ˜ 1 , a ˜ 2 U .
Replacing a ˜ 2 by 2 r a ˜ 2 , where r S , 2 r ( a ˜ 1 2 a ˜ 2 ) a ˜ 1 2 + 2 [ a ˜ 1 2 , r ] a ˜ 2 a ˜ 1 2 = 0 . Using (16) in this relation, we obtain 2 [ a ˜ 1 2 , r ] a ˜ 2 a ˜ 1 2 = 0 , and so [ a ˜ 1 2 , r ] a ˜ 2 a ˜ 1 2 = 0 [ a ˜ 1 2 , r ] a ˜ 2 [ a ˜ 1 2 , r ] = 0 for all a ˜ 1 U and r S . By Lemma 1, we obtain [ a ˜ 1 2 , r ] = 0 for all a ˜ 1 U and r S . By linearizing, we obtain
[ a ˜ 1 a ˜ 2 , r ] = 0 , for all a ˜ 1 , a ˜ 2 U , r S .
Replacing a ˜ 2 by 2 a ˜ 2 r , we obtain [ ( a ˜ 1 a ˜ 2 ) r a ˜ 2 [ a ˜ 1 , r ] , r ] = 0 for all a ˜ 1 U and r S . Using (17), we obtain
a ˜ 2 [ [ a ˜ 1 , r ] , r ] [ a ˜ 2 , r ] [ a ˜ 1 , r ] = 0 , for all a ˜ 1 , a ˜ 2 U , r S
Replacing a ˜ 2 by 2 a ˜ 1 a ˜ 2 , in (18), we obtain
a ˜ 1 a ˜ 2 [ [ a ˜ 1 , r ] , r ] a ˜ 1 [ a ˜ 2 , r ] [ a ˜ 1 , r ] [ a ˜ 1 , r ] a ˜ 2 [ a ˜ 1 , r ] = 0 , for all a ˜ 1 , a ˜ 2 U , r S
and so
a ˜ 1 ( a ˜ 2 [ [ a ˜ 1 , r ] , r ] [ a ˜ 2 , r ] [ a ˜ 1 , r ] ) [ a ˜ 1 , r ] a ˜ 2 [ a ˜ 1 , r ] = 0 , for all a ˜ 1 , a ˜ 2 U , r S .
Using (18) in the last relation, we obtain [ a ˜ 1 , r ] a ˜ 2 [ a ˜ 1 , r ] = 0 for all a ˜ 1 , a ˜ 2 U and r S . By Lemma 1, we obtain [ a ˜ 1 , r ] = 0 for all a ˜ 1 U and r S . That is, [ U , S ] = ( 0 ) , hence U Z ( S ) , a contradiction with the fact that U is a noncentral. Therefore, we have to remove this condition.
Now, we will continue; we have [ a ˜ 1 , r ] = 0 for all a ˜ 1 U and r S . Replacing a ˜ 1 by 2 a ˜ 1 s , where s S , we obtain a ˜ 1 [ s , r ] = 0 for all a ˜ 1 U and r , s S . That is, U [ S , S ] = ( 0 ) and [ U , S ] = ( 0 ) .
( i v ) Assume that
( [ a ˜ 1 , a ˜ 2 ] ) = [ a ˜ 1 , a ˜ 2 ] for all a ˜ 1 , a ˜ 2 U .
As in (iii), we obtain [ a ˜ 1 , a ˜ 2 ] ( a ˜ 1 ) = 0 for all a ˜ 1 , a ˜ 2 U . Replacing a ˜ 1 by [ a ˜ 1 , r ] , where z U , we obtain [ [ a ˜ 1 , z ] , a ˜ 2 ] ( [ a ˜ 1 , z ] ) = 0 for all a ˜ 1 , a ˜ 2 , z U . Using (19), we obtain [ [ a ˜ 1 , z ] , a ˜ 2 ] [ a ˜ 1 , z ] = 0 for all a ˜ 1 , a ˜ 2 , z U . Replacing a ˜ 2 by 2 r a ˜ 2 , where r S , we obtain [ [ a ˜ 1 , z ] , r ] a ˜ 2 [ a ˜ 1 , z ] = 0 for all a ˜ 1 , a ˜ 2 , z U and r S . That is, [ [ a ˜ 1 , z ] , r ] a ˜ 2 [ [ a ˜ 1 , z ] , r ] = 0 for all a ˜ 1 , a ˜ 2 , z U and r S . By Lemma 1, we obtain [ [ a ˜ 1 , z ] , r ] = 0 for all a ˜ 1 , z U and r S . Replacing z by z a ˜ 1 , we obtain [ a ˜ 1 , z ] [ a ˜ 1 , r ] = 0 for all a ˜ 1 , z U and r S . Replacing z by r z , we obtain [ a ˜ 1 , r ] z [ a ˜ 1 , r ] = 0 for all a ˜ 1 , z U and r S . By Lemma 1, we obtain [ a ˜ 1 , r ] = 0 for all a ˜ 1 U and r S . That is, [ U , S ] = ( 0 ) , hence U Z ( S ) , a contradiction with fact that U is a noncentral. So we have to remove this condition. Now we have [ a ˜ 1 , r ] = 0 for all a ˜ 1 U and r S . Replacing a ˜ 1 by 2 a ˜ 1 s , where s S , we obtain a ˜ 1 [ s , r ] = 0 for all a ˜ 1 U and r , s S . That is, U [ S , S ] = ( 0 ) and [ U , S ] = ( 0 ) . □
Example 1.
Let S = 0 a b c 0 0 0 b 0 0 0 a 0 0 0 0 : a , b , c Z be a 2-torsion free ring, and is not a semiprime ring U = 0 a a c 0 0 0 a 0 0 0 a 0 0 0 0 : a , c Z be a noncentral square-closed Lie ideal of S. : S S   0 a b c 0 0 0 b 0 0 0 a 0 0 0 0 = 0 0 b c 0 0 0 b 0 0 0 0 0 0 0 0 . Then, it easy to check that ℏ is a homoderivation of S. The conditions ( i ) ( i v ) given in Theorem 3 are satisfied on U. However, S is not semiprime and h is not commuting in U. Thus, the conditions’ semiprimeness is essential.
Theorem 4.
Let S be a 2 torsion semiprime ring, U a noncentral square-closed Lie ideal of S, and ℏ a zero-power valued on U . Suppose that S admits a homoderivation ℏ such that for all a ˜ 1 , a ˜ 2 U
(i)
a ˜ 1 ( a ˜ 2 ) ± a ˜ 1 a ˜ 2 Z , or
(ii)
a ˜ 1 ( a ˜ 2 ) ± a ˜ 2 a ˜ 1 = 0 , or
(iii)
a ˜ 1 ( a ˜ 2 ) ± a ˜ 1 a ˜ 2 = 0 , or
(iv)
[ ( a ˜ 1 ) , a ˜ 2 ] ± a ˜ 1 a ˜ 2 = 0 , or
(v)
[ ( a ˜ 1 ) , a ˜ 2 ] ± a ˜ 2 a ˜ 1 = 0 .
Then ℏ is a commuting map on U.
Proof. 
( i ) By the hypothesis, we obtain
a ˜ 1 ( a ˜ 2 ) + a ˜ 1 a ˜ 2 Z , for all a ˜ 1 , a ˜ 2 U .
That is
a ˜ 1 ( ( a ˜ 2 ) + a ˜ 2 ) Z , for all a ˜ 1 , a ˜ 2 U .
Since is zero-power valued on U , there exists an integer n > 1 such that n ( a ˜ 1 ) = 0 for all a ˜ 1 U . Replacing a ˜ 2 by a ˜ 2 ( a ˜ 2 ) + 2 ( a ˜ 2 ) + . . . + ( 1 ) n 1 n 1 ( a ˜ 2 ) in this equation, we obtain that
a ˜ 1 a ˜ 2 Z , for all a ˜ 1 , a ˜ 2 U .
Commuting this term with r S , we obtain
0 = [ a ˜ 1 a ˜ 2 , r ] = [ a ˜ 1 , r ] a ˜ 2 + a ˜ 1 [ a ˜ 2 , r ] .
Replacing a ˜ 1 by 2 a ˜ 3 a ˜ 1 , a ˜ 3 U in this equation and using this equation, we obtain
2 [ a ˜ 3 , r ] a ˜ 1 a ˜ 2 = 0 .
Since S is 2 torsion free ring, we see that
[ a ˜ 3 , r ] a ˜ 1 a ˜ 2 = 0 .
Taking a ˜ 2 by [ a ˜ 3 , r ] in this equation, we have
[ a ˜ 3 , r ] a ˜ 1 [ a ˜ 3 , r ] = 0 , for all a ˜ 1 , a ˜ 3 U , r S .
Replacig r by ( a ˜ 3 ) in this equation, we obtain
[ a ˜ 3 , ( a ˜ 3 ) ] a ˜ 1 [ a ˜ 3 , ( a ˜ 3 ) ] = 0 , for all a ˜ 1 , a ˜ 3 U .
By Lemma 1, we obtain that is a commuting map on U.
a ˜ 1 ( a ˜ 2 ) a ˜ 1 a ˜ 2 Z is proved similarly. We complete the proof.
( i i ) We obtain
a ˜ 1 ( a ˜ 2 ) + a ˜ 2 a ˜ 1 = 0 , for all a ˜ 1 , a ˜ 2 U .
Replacing a ˜ 2 by a ˜ 1 a ˜ 2 , a ˜ 2 U in this equation and using this, we have
a ˜ 1 ( a ˜ 1 ) ( ( a ˜ 2 ) + a ˜ 2 ) = 0 .
Since is zero-power valued on U, there exists an integer n > 1 such that n ( a ˜ 1 ) = 0 for all a ˜ 1 U . Replacing a ˜ 2 by a ˜ 2 ( a ˜ 2 ) + 2 ( a ˜ 2 ) + . . . + ( 1 ) n 1 n 1 ( a ˜ 2 ) in this equation, we obtain that
a ˜ 1 ( a ˜ 1 ) a ˜ 2 = 0 , for all a ˜ 1 , a ˜ 2 U .
Writing a ˜ 2 by 4 a ˜ 2 a ˜ 1 ( a ˜ 1 ) in the last equation, we have
4 a ˜ 1 ( a ˜ 1 ) a ˜ 2 a ˜ 1 ( a ˜ 1 ) = 0 , for all a ˜ 1 , a ˜ 2 U .
Since S is 2 torsion free ring, we obtain that
a ˜ 1 ( a ˜ 1 ) a ˜ 2 a ˜ 1 ( a ˜ 1 ) = 0 , for all a ˜ 1 , a ˜ 2 U .
By Lemma 1, we obtain
a ˜ 1 ( a ˜ 1 ) = 0 , for all a ˜ 1 , a ˜ 2 U .
By the hypothesis, we obtain
a ˜ 1 ( a ˜ 1 ) + a ˜ 1 2 = 0 , for all a ˜ 1 U .
Using Equation (20), we obtain that
a ˜ 1 2 = 0 , for all a ˜ 1 U .
Replacing a ˜ 1 by a ˜ 1 + a ˜ 2 in this equation, we have
a ˜ 1 a ˜ 2 = 0 , for all a ˜ 1 , a ˜ 2 U .
Replacing a ˜ 2 by 2 a ˜ 2 a ˜ 3 , a ˜ 3 U in the above expression and using this, we obtain
2 [ a ˜ 1 , a ˜ 2 ] a ˜ 3 = 0 , for all a ˜ 1 , a ˜ 2 , a ˜ 3 U .
Since S is 2 torsion free ring, we have
[ a ˜ 1 , a ˜ 2 ] a ˜ 3 = 0 , for all a ˜ 1 , a ˜ 2 , a ˜ 3 U .
Replacing a ˜ 3 by 2 a ˜ 3 [ a ˜ 1 , a ˜ 2 ] in this equation and using S is 2 torsion free ring, we have
[ a ˜ 1 , a ˜ 2 ] U [ a ˜ 1 , a ˜ 2 ] = ( 0 ) , for all a ˜ 1 , a ˜ 2 U .
By Lemma 1, we find that
[ a ˜ 1 , a ˜ 2 ] = 0 , for all a ˜ 1 , a ˜ 2 U .
Replacing a ˜ 2 by ( a ˜ 1 ) in this equation, we obtain [ a ˜ 1 , ( a ˜ 1 ) ] = 0 . Hence, we conclude that is a commuting map on U. This completes the proof.
a ˜ 1 ( a ˜ 2 ) a ˜ 2 a ˜ 1 = 0 is proved similarly.
( i i i ) By the hypothesis, we obtain
a ˜ 1 ( a ˜ 2 ) ± a ˜ 1 a ˜ 2 = 0 .
Replacing a ˜ 2 by 2 a ˜ 2 a ˜ 1 in this equation and using S is 2 torsion free ring, we get
a ˜ 1 ( a ˜ 2 ) ( a ˜ 1 ) + a ˜ 1 ( a ˜ 2 ) a ˜ 1 + a ˜ 1 a ˜ 2 ( a ˜ 1 ) ± ( a ˜ 1 a ˜ 2 ) a ˜ 1 = 0 .
Using the hypothesis, we get
a ˜ 1 ( a ˜ 2 ) ( a ˜ 1 ) + a ˜ 1 a ˜ 2 ( a ˜ 1 ) = 0 .
That is
a ˜ 1 ( ( a ˜ 2 ) + a ˜ 2 ) ( a ˜ 1 ) = 0 .
Since is zero-power valued on U , there exists an integer n > 1 such that n ( a ˜ 1 ) = 0 for all a ˜ 1 U . Replacing a ˜ 2 by a ˜ 2 ( a ˜ 2 ) + 2 ( a ˜ 2 ) + + ( 1 ) n 1 n 1 ( a ˜ 2 ) in this equation, we obtain that
a ˜ 1 a ˜ 2 ( a ˜ 1 ) = 0 , for all a ˜ 1 , a ˜ 2 U .
Taking a ˜ 2 by 4 ( a ˜ 1 ) a ˜ 2 a ˜ 1 in the above equation and using S is 2 torsion free ring, we see that
a ˜ 1 ( a ˜ 1 ) a ˜ 2 a ˜ 1 ( a ˜ 1 ) = 0 .
By Lemma 1, we have
a ˜ 1 ( a ˜ 1 ) = 0 , for all a ˜ 1 , a ˜ 2 U .
By our hypothesis, we obtain
a ˜ 1 ( a ˜ 1 ) ± a ˜ 1 2 = 0 , for all a ˜ 1 U
and so
a ˜ 1 2 = 0 , for all a ˜ 1 U .
The rest of the proof is the same as Equation (21).
( i v ) We obtain
[ ( a ˜ 1 ) , a ˜ 2 ] ± a ˜ 1 a ˜ 2 = 0 , for all a ˜ 1 , a ˜ 2 U .
Taking a ˜ 2 by 2 a ˜ 2 a ˜ 1 in this equation and using S is 2 torsion free ring, we obtain
[ ( a ˜ 1 ) , a ˜ 2 ] a ˜ 1 + a ˜ 2 [ ( a ˜ 1 ) , a ˜ 1 ] ± a ˜ 1 a ˜ 2 a ˜ 1 = 0 .
By the hypothesis, we find that
a ˜ 2 [ ( a ˜ 1 ) , a ˜ 1 ] = 0 , for all a ˜ 1 , a ˜ 2 U .
Replacing a ˜ 2 by 2 [ ( a ˜ 1 ) , a ˜ 1 ] a ˜ 2 in this equation and using S is 2 torsion free ring, we obtain
[ ( a ˜ 1 ) , a ˜ 1 ] r [ ( a ˜ 1 ) , a ˜ 1 ] = 0 .
By Lemma 1, we have
[ ( a ˜ 1 ) , a ˜ 1 ] = 0 , for all a ˜ 1 U .
This completes the proof.
( v ) By the hypothesis, we obtain
[ ( a ˜ 1 ) , a ˜ 2 ] ± a ˜ 2 a ˜ 1 = 0 , for all a ˜ 1 , a ˜ 2 U .
Replacing a ˜ 2 by 2 a ˜ 1 a ˜ 2 in this equation, we have
2 a ˜ 1 [ ( a ˜ 1 ) , a ˜ 2 ] + 2 [ ( a ˜ 1 ) , a ˜ 1 ] a ˜ 2 ± 2 a ˜ 1 a ˜ 2 a ˜ 1 = 0 .
Since S is 2 torsion free ring, we can write
a ˜ 1 [ ( a ˜ 1 ) , a ˜ 2 ] + [ ( a ˜ 1 ) , a ˜ 1 ] a ˜ 2 ± a ˜ 1 a ˜ 2 a ˜ 1 = 0 .
By our hypothesis, we obtain
[ ( a ˜ 1 ) , a ˜ 1 ] a ˜ 2 = 0 , for all a ˜ 1 , a ˜ 2 U .
The rest of the proof is the same as Equation (22). Hence, we complete the proof. □

3. Open Problems

Our assumptions focus on a noncentral square-closed Lie ideal within a 2-torsion free semiprime ring. As a direction for future research, similar investigations can be conducted without imposing the square-closed condition on Lie ideals of rings. Additionally, this study extends to various algebraic structures, including alternative rings, algebras, and near-rings.
Ruth N. Ferreira and Bruno L. M. Ferreira established the following theorem in ([16], Theorem 1.1):
Theorem 5.
Let S be a 3 torsion free alternative ring. S is a prime ring if and only if a S · b = 0 (or a· S b = 0 ) implies a = 0 or b = 0 for a , b S .
It is well known that the 3-torsion free condition is unnecessary in the case of associative rings. Therefore, the findings in this paper can also be explored within the framework of alternative rings. Several studies in the literature address related topics (see [16,17,18], etc.).

4. Conclusions

In this work, we examine the commutativity of semiprime rings influenced by the action of homoderivations. Our study generalizes prior results by identifying conditions under which a noncentral square-closed Lie ideal of a 2-torsion free semiprime ring admits a homoderivation. To demonstrate the necessity of these conditions, we present an illustrative example within the framework of our theorem. The findings contribute to the broader landscape of commutativity theorems, offering new insights into the structural properties of rings with derivations. Moreover, this research paves the way for further exploration of derivations in algebraic systems, with potential applications in operator algebras, noncommutative geometry, and other areas where ring theory plays a fundamental role.

Author Contributions

The material is the result of the joint efforts of A.Y.H., Z.B., E.K.S., Ö.G. and N.u.R. All authors have read and agreed to the published version of the manuscript.

Funding

The authors extend their appreciation to the Deanship of Research and Graduate Studies at King Khalid University for funding this work through the Large Research Project under grant number RGP2/293/45.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

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

Acknowledgments

The authors are greatly indebted to the referee for their valuable suggestions and comments, which have immensely improved the article.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Posner, E.C. Derivations in prime rings. Proc. Am. Math. Soc. 1957, 8, 1093–1100. [Google Scholar] [CrossRef]
  2. El Sofy, M.M. Rings with some kinds of mappings. Master’s Thesis, Cairo University, Branch of Fayoum, Fayoum, Egypt, 2000. [Google Scholar]
  3. Daif, M.N.; Bell, H.E. Remarks on derivations on semiprime rings. Int. J. Math. Math. Sci. 1992, 15, 205–206. [Google Scholar] [CrossRef]
  4. Quadri, M.A.; Khan, M.S.; Rehman, N. Generalized derivations and commutativity of prime rings. Indian Pure Appl. Math. 2003, 34, 1393–1396. [Google Scholar]
  5. Koc, E.; Golbasi, Ö. Some results on ideals of semiprime rings with multiplicative generalized derivations. Commun. Algebra 2018, 46, 4905–4913. [Google Scholar] [CrossRef]
  6. Bell, H.E.; Daif, M.N. On derivations and commutativity in prime rings. Acta Math. Hung. 1995, 66, 337–343. [Google Scholar] [CrossRef]
  7. Nabiel, H. Semiderivations and commutativity in semiprime rings. Gen. Math. Notes 2013, 19, 71–82. [Google Scholar]
  8. Hongan, M. A note on semiprime rings with derivation. Internat. J. Math. Math. Sci. 1997, 20, 413–415. [Google Scholar] [CrossRef]
  9. De Filippis, V.; Mamouni, A.; Oukhtite, L. Semiderivations satisfying certain algebraic identities on Jordan ideals. Int. Sch. Res. Not. 2013, 2013, 738368. [Google Scholar] [CrossRef]
  10. Melaibari, A.; Muthana, N.; Al-Kenani, A. On homoderivations in rings. Gen. Math. Notes 2016, 35, 1–8. [Google Scholar]
  11. Ashraf, M.; Rehman, N. On derivations and commutativity in prime rings. East-West J. Math. 2001, 3, 87–91. [Google Scholar] [CrossRef]
  12. Alharfie, E.F.; Muthana, N.M. The commutativity of prime ring with homoderivations. Int. J. Adv. Appl. Sci. 2018, 5, 79–81. [Google Scholar] [CrossRef]
  13. Engin, A.; Aydın, N. Homoderivations in prime rings. J. New Theory 2023, 43, 23–34. [Google Scholar] [CrossRef]
  14. Centrone, L.; Zargeh, C. Varieties of Null-Filiform Leibniz Algebras Under the Action of Hopf Algebras. Algebr. Repr. Theory 2023, 26, 631–648. [Google Scholar] [CrossRef]
  15. Hongan, M.; Rehman, N.; Al-Omary, R.M. Lie ideals and Jordan triple derivations in rings. Rend. Semin. Mat. Univ. Padova 2011, 125, 147–156. [Google Scholar] [CrossRef]
  16. Ferreira, R.N.; Ferreira, B.L.M. Jordan triple derivation on alternative rings. Proyecciones 2018, 37, 171–180. [Google Scholar] [CrossRef]
  17. Ferreira, B.L.M.; Guzzo, H., Jr.; Ferreira, R.N.; Wei, F. Jordan derivations of alternative rings. Commun. Algebra 2020, 48, 717–723. [Google Scholar] [CrossRef]
  18. Ferreira, B.L.M.; Kaygorodov, I. Commuting maps on alternative rings. Ric. Mat. 2022, 71, 67–78. [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

Hummdi, A.Y.; Bedir, Z.; Sögütcü, E.K.; Gölbaşı, Ö.; Rehman, N.u. Lie Ideals and Homoderivations in Semiprime Rings. Mathematics 2025, 13, 548. https://doi.org/10.3390/math13040548

AMA Style

Hummdi AY, Bedir Z, Sögütcü EK, Gölbaşı Ö, Rehman Nu. Lie Ideals and Homoderivations in Semiprime Rings. Mathematics. 2025; 13(4):548. https://doi.org/10.3390/math13040548

Chicago/Turabian Style

Hummdi, Ali Yahya, Zeliha Bedir, Emine Koç Sögütcü, Öznur Gölbaşı, and Nadeem ur Rehman. 2025. "Lie Ideals and Homoderivations in Semiprime Rings" Mathematics 13, no. 4: 548. https://doi.org/10.3390/math13040548

APA Style

Hummdi, A. Y., Bedir, Z., Sögütcü, E. K., Gölbaşı, Ö., & Rehman, N. u. (2025). Lie Ideals and Homoderivations in Semiprime Rings. Mathematics, 13(4), 548. https://doi.org/10.3390/math13040548

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