- Research
- Open access
- Published:
Generalized higher (U,M)‐derivations in prime Γ‐Rings
SpringerPlus volume 3, Article number: 100 (2014)
Abstract
Let M be a 2‐torsion free prime Γ‐ring satisfying the condition a α b β c=a β b α c,∀a,b,c∈M and α,β∈Γ, U be an admissible Lie ideal of M and F=(f i )i∈N be a generalized higher (U,M)‐derivation of M with an associated higher (U,M)‐derivation D=(d i )i∈N of M. Then for all n∈N we prove that .
Introduction
The notion of a Γ‐ring has been developed by Nobusawa (1964), as a generalization of a ring. Following Barnes (1966) generalized the concept of Nobusawa’s Γ‐ring as a more general nature. Nowadays Γ‐ring theory is a showpiece of mathematical unification, bringing together several branches of the subject. It is the best research area for the Mathematicians and during 40 years, many classical ring theories have been generalized in Γ‐rings by many authors. The notions of derivation and Jordan derivation in Γ‐rings have been introduced by Sapanci and Nakajima (1997). Afterwards, in the light of some significant results due to Jordan left derivation of a classical ring obtained by Jun and Kim (1996), some extensive results of left derivation and Jordan left derivation of a Γ‐ring were determined by Ceven (2002). In (Halder and Paul 2012), Halder and Paul extended the results of (Ceven 2002) in Lie ideals. Let M and Γ be additive abelian groups. If there is a mapping M×Γ×M→M (sending (x,α,y) into x α y) such that (i) (x+y)α z=x α z+y α z,x(α+β)y=x α y+x β y,x α(y+z)=x α y+x α z, (ii) (x α y)β z=x α(y β z), for all x,y,z∈M and α,β∈Γ, then M is called a Γ‐ring. This concept is more general than a ring and was introduced by Barnes (1966). A Γ‐ring M is called a prime Γ‐ring if ∀a,b∈M,a ΓM Γb=0 implies a=0 or b=0. A Γ‐ring M is 2‐torsion free if 2a=0 implies a=0,∀a∈M. For any x,y∈M and α∈Γ, we induce a new product, the Lie product by [ x,y] α =x α y−y α x. An additive subgroup U⊂M is said to be a Lie ideal of M if whenever u∈U,m∈M and α∈Γ, then [ u,m] α ∈U. In the main results of this article we assume that the Lie ideal U verifies u α u∈U,∀u∈U. A Lie ideal of this type is called a square closed Lie ideal. Furthermore, if the Lie ideal U is square closed and U is not contained in Z(M), where Z(M) denotes the center of M, then U is called an admissible Lie ideal of M. In (Herstein 1957), Herstein proved a well‐known result in prime rings that every Jordan derivation is a derivation. Afterwards many Mathematicians studied extensively the derivations in prime rings. In (Awter 1984), Awtar extended this result in Lie ideals. (U,R)‐derivations in rings have been introduced by Faraj et al. (2010), as a generalization of Jordan derivations on a Lie ideals of a ring. The notion of a (U,R)‐derivation extends the concept given in (Awter 1984). In this paper (Faraj et al. 2010), they proved that if R is a prime ring, char (R)≠2, U a square closed Lie ideal of R and d a (U,R)‐ derivation of R, then d(u r)=d(u)r+u d(r),∀,u∈U,r∈R. This result is a generalization of a result in (Awter (1984), Theorem in section 3). In this article, we introduce the concept of a (U,M)‐derivation, generalized (U,M)‐derivation and generalized higher (U,M)‐derivation, where U is a Lie ideal of a Γ‐ring M. Examples of a Lie ideal of a Γ‐ring, (U,M)‐derivation, generalized (U,M)‐derivation, higher (U,M)‐derivation and generalized higher (U,M)‐derivation are given here. A result in (Halder and Paul (2012), Theorem 2.8) is generalized in Γ‐rings by the new concept of a (U,M)‐derivation. Throughout the article, we use the condition a α b β c=a β b α c,∀a,b,c∈M and α,β∈Γ and this is represented by (*). We make the basic commutator identities [ x α y,z] β = [ x,z] β α y+x[ α,β] z y+x α[y,z] β , [ x,y α z] β = [ x,y] β α z+y[ α,β] x z+y α[ x,z] β , ∀x,y,z∈M,∀α,β∈Γ. According to the condition (*), the above two identities reduces to [ x α y,z] β = [ x,z] β α y+x α[y,z] β ,[ x,y α z] β = [ x,y] β α z+y α[ x,z] β ,∀x,y,z∈M,∀α,β∈Γ.
Generalized (U,M)‐derivation
In view of the concept of (U,R)‐derivation of an ordinary ring developed by Faraj et al. (2010), we have been determined some important results in Rahman and Paul (2013) due to these concepts in case of certain Γ‐rings after introducing the notions of (U,M)‐derivation of Γ‐rings as defined below.
Definition 1
(Rahman and Paul (2013), Definition 2.1) Let M be a Γ‐ring and U be a Lie ideal of M. An additive mapping d :M→M is said to be a (U,M)‐derivation of M if d(u α m + s α u) = d(u)α m + u α d(m) + d(s)α u + s α d(u),∀u∈U,m,s∈M and α∈Γ.
Definition 2.
(Rahman and Paul (2013), Definition 2.2) Let M be a Γ‐ring and U be a Lie ideal of M. An additive mapping f :M→M is said to be a generalized (U, M)‐ derivation of M if there exists a (U,M)‐derivation d of M such that f(u α m+s α u)=f(u)α m+u α d(m)+f(s)α u+s α d(u),∀u∈U,m,s∈M and α∈Γ.
The existence of a Lie ideal of a Γ‐ring, (U,M)‐derivation and a generalized (U,M)‐derivation are confirmed by the following examples.
Example 1.
Let R be an associative ring with 1 and U a Lie ideal of R. Let M=M1,2(R) and , then M is a Γ‐ring.
If N={(x,x):x∈R}⊆M and U1={(u,u):u∈U} then N is a sub Γ‐ring of M and U1 is a Lie ideal of N. Let f:R→R be a generalized (U,R)‐derivation. Then there exists a (U,R)‐derivation d:R→R such that f(u α x+s α u)=f(u)α x+u α d(x)+f(s)α u+s α d(u).
If we define a mapping D :N→N by D((x,x))=(d(x),d(x)), then we have .
After calculation we have D(u1α x1+y1α u1)=D(u1)α x1+u1α D(x1)+D(y1)α u1+y1α D(u1), where .
Hence D is a (U1,N)− derivation on N.
Let F :N→N be the additive mapping defined by F((x,x))=(f(x),f(x)), then considering , we have .
Hence F is a generalized (U1,N)−derivation on N.
Lemma 1
( Rahman and Paul (2013 ), Lemma 2.4) Let M be a 2‐torsion free Γ‐ring satisfying the condition (*). U be a Lie ideal of M and f be a generalized (U,M)‐derivation of M. Then
-
(i)
f(uαmβu)=f(u)αmβu+uαd(m)βu+uαmβd(u),∀u∈U,m∈M and α,β∈Γ.
-
(ii)
f(uαmβv+vαmβu)=f(u)αmβv+uαd(m)βv+uαmβd(v)+f(v)αmβu+vαd(m)βu+vαmβd(u),∀u,v∈U,m∈M and α,β∈Γ.
Definition 3.
(Rahman and Paul (2013), Definition 2.5) Let d be a (U,M)‐derivation of M, then we define Φ α (u,m)=d(u α m)−d(u)α m−u α d(m),∀u∈U,m∈M and α∈Γ.
Now, we state some useful results that have already been discussed in Rahman and Paul (2013).
Lemma 2.
Let d be a (U,M)‐derivation of M, then
-
(i)
Φ α (u,m)=−Φ α (m,u), ∀u∈U,m∈M and α∈Γ.
-
(ii)
Φ α (u+v,m)=Φ α (u,m)+Φ α (v,m),∀u,v∈U,m∈M and α∈Γ.
-
(iii)
Φ α (u,m+n)=Φ α (u,m)+Φ α (u,n),∀u∈U,m,n∈M and α∈Γ.
-
(iv)
Φα+β(u,m)=Φ α (u,m)+Φ β (u,m),∀u∈U,m∈M and α,β∈Γ.
The proofs are obvious by using the Definition 3.
Definition 4.
(Rahman and Paul (2013), Definition 2.7) If f is a generalized (U,M)‐derivation of M and d is a (U,M)‐derivation of M, then we define Ψ α (u,m)=f(u α m)−f(u)α m−u α d(m),∀u∈U,m∈M and α∈Γ.
Also, we need the following important results that have already been discussed in Rahman and Paul (2013).
Lemma 3.
Let f be a generalized (U,M)‐derivation of M, then
-
(i)
Ψ α (u,m)=−Ψ α (m,u),∀u∈U,m∈M and α∈Γ.
-
(ii)
Ψ α (u+v,m)=Ψ α (u,m)+Ψ α (v,m),∀u,v∈U,m∈M and α∈Γ.
-
(iii)
Ψ α (u,m+n)=Ψ α (u,m)+Ψ α (u,n),∀u∈U,m,n∈M and α∈Γ.
-
(iv)
Ψα+β(u,m)=Ψ α (u,m)+Ψ β (u,m),∀u∈U,m∈M and α,β∈Γ.
The proofs are obvious by using the Definition 4.
Lemma 4.
(Rahman and Paul (2013), Lemma 2.11) Let U be a Lie ideal of a 2‐torsion free prime Γ‐ring M satisfying the condition (*) and U is not contained in Z(M). If a,b∈M (resp. b∈U and a∈M) such that a αUβb=0,∀α,β∈Γ, then a=0 or b=0.
Theorem 1.
(Rahman and Paul (2013), Theorem 2.13) Let M be a 2‐torsion free prime Γ‐ring satisfying the condition (*), U be an admissible Lie ideal of M and f be a generalized (U,M)‐derivation of M, then Ψ α (u,v)=0,∀u,v∈U and α∈Γ.
Remark 1
If we replace U by a square closed Lie ideal in the Theorem 1, then the theorem is also true.
Theorem 2.
(Rahman and Paul (2013), Theorem 2.14) Let M be a 2‐torsion free prime Γ‐ring satisfying the condition (*), U a square closed Lie ideal of M and f be a generalized (U,M)‐derivation of M, then f(u α m)=f(u)α m+u α d(m),∀u∈U m∈M and α∈Γ.
Generalized higher (U,M)‐derivation
In this section, we introduce generalized higher (U,M)‐derivations in Γ‐rings.
Definition 5.
Let M be a Γ‐ring and U be a Lie ideal of M and be a family of additive mappings of M into itself such that f0=id M , where id M is an identity mapping on M. Then F is said to be a generalized higher (U,M)‐derivation of M if there exists an higher (U,M)‐derivation D=(d i )i∈N of M such that for each and α,β∈Γ.
Example 2.
Let N and U1 are as in Example 1. If f n :R→R be a generalized higher (U,R)‐derivation. Then there exists a higher (U1,R) derivation d n :R→R such that .
If we define a mapping D n :N→N by D n ((x,x))=(d n (x),d n (x)). Then D n is a higher (U1,N)‐derivation on N.
Let F n :N→N be the additive mapping defined by F n ((x,x))=(f n (x),f n (x)). Then by the similar calculation as in Example 1, we can show that, F n is a generalized higher (U1,N)‐derivation on N.
Lemma 5.
Let M be a 2‐torsion free Γ‐ring satisfying the condition (*), U be a Lie ideal of M and F=(f i )i∈Nbe a generalized higher (U,M)‐derivation of M. Thenand α,β∈Γ.
Proof
Let x=u α((2u)β m+m β(2u))+((2u)β m+m β(2u))α u.
Replacing m and s by (2u)β m+m β(2u) and (2u)α m+m α(2u) respectively in and using the condition (*), we have .
Thus we have
On the other hand by the definition of higher (U,M)‐ derivation and using the condition (*) .
Thus we have
Now comparing (1) and (2) we get and α,β∈Γ. Using 2‐torsion freeness of M, we get the desired result.
Lemma 6.
Let M be a 2‐torsion free Γ‐ring satisfying the condition (*), U be a Lie ideal of M and F=(f i )i∈Nbe a generalized higher (U,M)‐derivation of M. Thenand α,β∈Γ.
Proof.
Linearizing of with respect to u gives us .
On the other hand .
Now comparing above two expressions, we get and α,β∈Γ.
Definition 6.
Let M be a 2‐torsion free Γ‐ring satisfying the condition (*) and U be a Lie ideal of M. Let F=(f i )i∈N be a generalized higher (U,M)‐derivation of M. For every fixed n∈N, we define . Also let D=(d i )i∈N be a higher (U,M)‐derivation of M. For every fixed n∈N, we define .
Remark 2.
and n∈N if and only if and n∈N. Also and n∈N if and only if and n∈N.
Lemma 7.
Let M be a 2‐torsion free Γ‐ring satisfying the condition (*) and U be a Lie ideal of M. For every u∈U,m∈M,α∈Γ and n∈N, thenand.
The proofs are obvious by the Definition 6, higher (U,M)‐derivation of M and generalized higher (U,M)‐derivation of M.
Lemma 8.
Let M be a 2‐torsion free prime Γ‐ring satisfying the condition (*), U be an admissible Lie ideal of M and F=(f i )i∈Nbe a generalized higher (U,M)‐derivation of M. Thenand n∈N.
Proof.
We have and by Theorem 1, .
Now we assume, by induction on n∈N, that , m∈N and m<n.
Let x=4(u α v β w γ v α u+v α u β w γ u α v).
Then by using Lemma 6, we have .
On the other hand, by Lemma 5 and D=(d i )i∈N is a higher (U,M)‐derivation of M. .
Now comparing the two expressions of f n (x) and using , we get .
Using Lemma 7 and 2‐torsion freeness of M we get .
Since D=(d i )i∈N is a higher (U,M)‐derivation of M, thus we have . Now by Lemma 4 and since U is noncentral, thus we get and n∈N.
Now we prove the main result.
Theorem 3.
Let M be a 2‐torsion free prime Γ‐ring satisfying the condition (*), U be an admissible Lie ideal of M and F=(f i )i∈Nbe a generalized higher (U,M)‐derivation of M. Thenand n∈N.
Proof.
We have and by Theorem 1, .
Now we assume, by induction on n∈N, that and m<n.
Now since F=(f i )i∈N is a generalized higher (U,M)‐derivation of M, we have .
Since D=(d i )i∈N is a higher (U,M)‐derivation of M, thus we have
Since F=(f i )i∈N is a generalized higher (U,M)‐derivation of M, thus we have .
Since .
On the other hand, by using Equation (3) and Lemma 5, we get .
By comparing (5) and (6) and using the condition (*), we get
Linearizing of (7) with respect to u, gives us
Replacing v by v α v in (8) and since , thus . This implies that .
Hence by Lemma 4 and since and n∈N.
Thus by the Remark 2, we have and n∈N.
Mathematics Subject Classification (2010)
13N15; 16W10; 17C50
References
Awter R: Lie ideals and Jordan derivations of prime rings. Am Math Soc 1984, 90(1):9-14. 10.1090/S0002-9939-1984-0722405-2
Barnes WE: On the Γ‐rings of Nobusawa. Pacific J Math 1966, 18: 411-422. 10.2140/pjm.1966.18.411
Ceven Y: Jordan left derivations on completely prime gamma rings. C.U. Fen‐Edebiyat Fakultesi Fen Bilimleri Dergisi 2002, 23: 39-43.
Faraj AK, Haetinger CMajeed A H: Generalized higher (U, R)‐derivations. JP J Algebra 2010, 16(2):119-142.
Halder AK, Paul AC: Jordan left derivations on Lie ideals of prime Γ‐rings. Punjab University J Math 2012, 44: 23-29.
Herstein IN: Jordan derivations of prime rings. Proc Am Math Soc 1957, 8: 1104-1110. 10.1090/S0002-9939-1957-0095864-2
Jun KW, Kim BD: A note on Jordan left derivations. Bull Korean Math Soc 1996, 33: 221-228.
Nobusawa N: On the generalizeation of the ring theory. Osaka J Math 1964, 1: 81-89.
Rahman MM, Paul AC: Generalized (U, M) ‐derivations in prime Γ‐Rings. Math Theory Model 2013, 3(3):98-104.
Sapanci M, Nakajima A: Jordan derivations on completely prime Γ‐Rings. Math Japonica 1997, 46: 47-51.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Rahman, M.M., Paul, A.C. Generalized higher (U,M)‐derivations in prime Γ‐Rings. SpringerPlus 3, 100 (2014). https://doi.org/10.1186/2193-1801-3-100
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/2193-1801-3-100