Additivity Of Jordan (Triple) Derivations On Rings
|
|
- Felicity Moody
- 5 years ago
- Views:
Transcription
1 Fayetteville State University State University Math and Computer Science Working Papers College of Arts and Sciences Additivity Of Jordan (Triple) Derivations On Rings Wu Jing Fayetteville State University, Fangyan Lu Suzhou University Follow this and additional works at: Recommended Citation Jing, Wu and Lu, Fangyan, "Additivity Of Jordan (Triple) Derivations On Rings" (2011). Math and Computer Science Working Papers. Paper 5. This Article is brought to you for free and open access by the College of Arts and Sciences at State University. It has been accepted for inclusion in Math and Computer Science Working Papers by an authorized administrator of State University. For more information, please contact
2 ADDITIVITY OF JORDAN (TRIPLE) DERIVATIONS ON RINGS WU JING AND FANGYAN LU Abstract. Let δ be a mapping from ring R into itself satisfying δ(ab + ba) = δ(a)b + aδ(b) + δ(b)a + bδ(a) or δ(aba) = δ(a)ba + aδ(b) + abδ(b) for all a, b R. Under some conditions on R, we show that δ is additive. 1. Introduction and Preliminaries In recent years, there has been a great interest in the study of additivity of mappings on rings as well as operator algebras (see [3] - [8], and references therein). Most of these results focus on the additivity of multiplicative maps, Jordan (triple) multiplicative maps, and Jordan elementary maps on rings, triangular algebras, and operator algebras. The first result in this direction is due to Martindale III who obtained the following pioneer result in Theorem 1.1. ([8]) Let R be a ring containing a family {e α : α Λ} of idempotents which satisfies (1) xr = {0} implies x = 0. (2) If e α Rx = {0} for each α Λ, then x = 0 (and hence Rx = {0} implies x = 0). (3) For each α λ, e α xe α R(1 e α ) = {0} implies e α xe α = 0. Then any multiplicative bijective map from R onto an arbitrary ring R is additive. Recall that an additive mapping δ from ring R into itself is called a Jordan derivation if for any a R δ(a 2 ) = δ(a)a + aδ(a), and δ is called a Jordan triple derivation if δ(aba) = δ(a)ba + aδ(b)a + abδ(a) for any a, b R. Recently, it has been proved in [6] that if R is a 2-torsion free unital prime ring containing a nontrivial idempotent and δ : R R is a mapping satisfying (1.1) δ(ab + ba) = δ(a)b + aδ(b) + δ(b)a + bδ(a) Date: 11/16/ Mathematics Subject Classification. 16W25; 16N60; 47B47. Key words and phrases. Additivity; Jordan derivations; Jordan triple derivations; derivations; idempotents; Peirce decomposition; semiprime rings; prime rings; standard operator algebras. The first author is supported by Fayetteville State University STEM Program Research Grant. The second author is supported by NNSFC (No ) and PNSFJ (No. BK ). 1
3 2 WU JING AND FANGYAN LU or (1.2) δ(aba) = δ(a)ba + aδ(b) + abδ(b) for all a, b R, then δ is automatically additive. Moreover, δ is not only a Jordan (triple) derivation but also a derivation. The aim of this paper is to generalized the results of [6] to a larger class of rings. Note that our approaches are different from those in [6] which mainly depend on the existence of identity element in the underlying rings. Let R be an arbitrary ring with a nontrivial idempotent e. We write e 1 = e and e 2 = 1 e 1. Note that R need not have identity element. Put e i Re j = R ij for any i, j = 1, 2. Then we have the Peirce decomposition of R as R = R 11 R 12 R 21 R 22. Throughout this paper, the notation a ij will denote an arbitrary element of R ij and any element a R can be expressed as a = a 11 + a 12 + a 21 + a 22. Let s state our main results. Theorem 1.2. Let R be a ring containing a nontrivial idempotent and satisfying the following conditions for i, j, k {1, 2}: (P1) If a ij x jk = 0 for all x jk R jk, then a ij = 0. (P2) If x ij a jk = 0 for all x ij R ij, then a jk = 0. (P3) If a ii x ii + x ii a ii = 0 for all x ii R ii, then a ii = 0. If a mapping δ : R R satisfies for all a, b R, then δ is additive. δ(ab + ba) = δ(a)b + aδ(b) + δ(b)a + bδ(a) Theorem 1.3. Suppose R is a ring containing a nontrivial idempotent and satisfies the following conditions: (P1 ) If a 11 x 12 = 0 for all x 12 R 12, then a 11 = 0. (P2 ) If x 12 a 22 = 0 for all x 12 R 12, then a 22 = 0. (P4) If x ij ax ij = 0 for all x ij R ij (i, j {1, 2}), then a ji = 0. If a mapping δ : R R satisfies then δ is additive. δ(aba) = δ(a)ba + aδ(b) + abδ(b) for all a, b R, Obviously, Conditions (P1 ) and (P2 ) are special cases of (P1) and (P2), respectively. Recall that a ring R is prime if arb = {0} implies that either a = 0 or b = 0, and is semiprime if ara = {0} implies a = 0. We need the following lemma which is due to Brešar. Lemma 1.4. ([1]) Let R be a 2-torsion free semiprime ring and let a, b R. If for all x R the relation axb + bxa = 0 holds, then axb = bxa = 0 is fulfilled for all x R. The following lemmas show that Conditions (P1) to (P4) are fulfilled if R a 2-torsion free semiprime ring under some technical assumptions concerning the nontrivial idempotent or a 2-torsion free prime ring with a nontrivial idempotent. Lemma 1.5. Let R be a 2-torsion free semiprime ring with a nontrivial idempotent, then
4 ADDITIVITY OF JORDAN (TRIPLE) DERIVATIONS ON RINGS 3 (P3) If a ii x ii + x ii a ii = 0 for all x ii R ii, then a ii = 0. In addition, if R satisfies the following conditions: (C1) If a ii x ij = 0 for all x ij R ij (i j), then a ii = 0; (C2) If x ji a ii = 0 for all x ji R ji (i j), then a ii = 0; (C3) If x ij ax ij = 0 for all x ij R ij (i j), then a ji = 0, then Conditions (P1), (P2), and (P4) are fulfilled, respectively. That is, (P1) If a ij x jk = 0 for all x jk R jk, then a ij = 0. (P2) If x ij a jk = 0 for all x ij R ij, then a jk = 0. (P4) If x ij ax ij = 0 for all x ij R ij (i, j {1, 2}), then a ji = 0. Proof. (P3) If i = 1, we rewrite a 11 x 11 + x 11 a 11 = 0 as e 1 ae 1 xe 1 + e 1 xe 1 ae 1 = 0 for all x R. By Lemma 1.4, we obtain that e 1 ae 1 xe 1 = 0, which yields that e 1 ae 1 xe 1 ae 1 = 0 for all x R. Since R is semiprime, it follows that e 1 ae 1 = 0. Equivalently, a 11 = 0. Suppose now that i = 2. We would like to mention here that e 2 is not necessarily in R. Observe that is equivalent to Furthermore, for any x, y R, we have which implies that a 22 x 22 + x 22 a 22 = 0 for all x 22 R 22 e 2 ae 2 xe 2 + e 2 xe 2 a 2 = 0 for all x R. e 2 ae 2 xe 2 ye 2 + e 2 xe 2 ye 2 ae 2 = 0, e 2 ae 2 xe 2 ye 2 = e 2 xe 2 ye 2 ae 2. Now for any z R, using the above equality three times we obtain (e 2 ae 2 xe 2 ye 2 )ze 2 ae 2 xe 2 ye 2 = e 2 xe 2 ye 2 ae 2 ze 2 ae 2 xe 2 ye 2 = e 2 xe 2 y(e 2 ae 2 )(e 2 ze 2 ae 2 xe 2 ye 2 ) = e 2 xe 2 ye 2 ze 2 ae 2 xe 2 ye 2 ae 2 = (e 2 xe 2 ye 2 ze 2 ae 2 xe 2 ye 2 )(e 2 ae 2 ) = e 2 ae 2 xe 2 ye 2 ze 2 ae 2 xe 2 ye 2. Since R is 2-torsion free, we see that e 2 ae 2 xe 2 ye 2 = 0 holds for all x, y R. And so e 2 ae 2 xe 2 ye 2 ae 2 xe 2 = 0. By the semiprimeness of R we get e 2 ae 2 xe 2 = 0 for all x R. This leads to e 2 ae 2 xe 2 ae 2 = 0 for all x R. Again, using the fact that R is semiprime, we can conclude that e 2 ae 2 = 0, i.e., a 22 = 0, as desired. (P1) In view of Condition (C1), we only need to show the cases of j = k and j k = i. Assume first that j = k and a ij x jj = 0 for all x jj R jj. Equivalently, we have e i ae j xe j for all x R, which implies that e i ae j xe i ae j for all x R. It follows that e i ae j = 0 since R is semiprime, that is a ij = 0. If j k = i and a ij x ji = 0 for all x ji R ji, then e i ae j xe i = 0 for all x R. Therefore e i ae j xe i ae j = 0 for all x R. Using the fact that R is semiprime, we see that e i ae j = 0, i.e., a ij = 0. (P2) Similar to the proof of (P1).
5 4 WU JING AND FANGYAN LU (P4) It suffices to show that if x ii ax ii = 0 for all x ii R ii then a ii = 0. Let x ii, y ii, z ii R ii be arbitrary. From (x ii + y ii )a(x ii + y ii ) = 0 we can get x ii ay ii + y ii ax ii = 0 which is equivalent to x ii ay ii = y ii ax ii. Applying this equality three times we have (x ii ay ii )az ii = y ii a(x ii az ii ) = (y ii az ii )ax ii = x ii ay ii az ii. This yields that x ii ay ii az ii = 0 since R is 2-torsion free. Particularly, (e i ax ii ae i )y(e i ax ii ae i ) = 0 for all y R. It follows that e i ax ii ae i = 0 for all x ii R ii since R is semiprime. Furthermore, we have (e i ae i )x(e i ae i ) = 0 for all x R., and so e i ae i = 0, i.e., a ii = 0. Lemma 1.6. Let R be a 2-torsion free prime ring with a nontrivial idempotent and i, j, k {1, 2}. The R satisfies Conditions (P1), (P2), (P3), and (P4), i.e., (P1) If a ij x jk = 0 for all x jk R jk, then a ij = 0. (P2) If x ij a jk = 0 for all x ij R ij, then a jk = 0. (P3) If a ii x ii + x ii a ii = 0 for all x ii R ii, then a ii = 0. (P4) If x ij ax ij = 0 for all x ij R ij, then a ji = 0. Proof. (P1) and (P2) can be deduced easily from the fact that R is a prime ring. (P3) It follows from Lemma 1.5 directly. (P4) See Lemma 2 (i) in [3]. We complete this section by recalling the definition of standard operator algebras. Suppose that X is a Banach space. Let B(X) denote the algebra of all bounded linear operators on X, and F (X) denote the algebra of all finite rank operators in B(X). A standard operator algebra is any subalgebra of B(X) which contains F (X). 2. Additivity of Jordan derivations on rings Throughout this section, we always assume that R is a ring with a nontrivial idempotent e 1 and satisfies (P1) If a ij x jk = 0 for all x jk R jk, then a ij = 0; (P2) If x ij a jk = 0 for all x ij R ij, then a jk = 0; (P3) If a ii x ii + x ii a ii = 0 for all x ii R ii, then a ii = 0. We also assume that mapping δ : R R satisfies δ(ab + ba) = δ(a)b + aδ(b) + δ(b)a + bδ(a) for all a, b R. Let s begin with Lemma 2.1. (1) δ(a 11 + b 12 ) = δ(a 11 ) + δ(b 12 ). (2) δ(a 11 + b 21 ) = δ(a 11 ) + δ(b 21 ). (3) δ(a 22 + b 12 ) = δ(a 22 ) + δ(b 12 ). (4) δ(a 22 + b 21 ) = δ(a 22 ) + δ(b 21 ).
6 ADDITIVITY OF JORDAN (TRIPLE) DERIVATIONS ON RINGS 5 Proof. We only prove (1). The rest of the proof goes similarly. For any x 22 R 22, we compute δ[(a 11 + b 12 )x 22 + x 22 (a 11 + b 12 )] = δ(a 11 + b 12 )x 22 + (a 11 + b 12 )δ(x 22 ) + δ(x 22 )(a 11 + b 12 ) + x 22 δ(a 11 + b 12 ). On the other hand, δ[(a 11 + b 12 )x 22 + x 22 (a 11 + b 12 )] = δ(b 12 x 22 ) = δ(a 11 x 22 + x 22 a 11 ) + δ(b 12 x 22 + x 22 b 12 ) = δ(a 11 )x 22 + a 11 δ(x 22 ) + δ(x 22 )a 11 + x 22 δ(a 11 ) +δ(b 12 )x 22 + b 12 δ(x 22 ) + δ(x 22 )b 12 + x 22 δ(b 12 ). Comparing these two equalities we obtain [δ(a 11 + b 12 ) δ(a 11 ) δ(b 12 )]x 22 + x 22 [δ(a 11 + b 12 ) δ(a 11 ) δ(b 12 )] = 0. This gives us and [δ(a 11 + b 12 ) δ(a 11 ) δ(b 12 )] 12 x 22 = 0, x 22 [δ(a 11 + b 12 ) δ(a 11 ) δ(b 12 )] 21 = 0, [δ(a 11 + b 12 ) δ(a 11 ) δ(b 12 )] 22 x 22 + x 22 [δ(a 11 + b 12 ) δ(a 11 ) δ(b 12 )] 22 = 0. By Conditions (P1), (P2), and (P3), we have [δ(a 11 + b 12 ) δ(a 11 ) δ(b 12 )] 12 = 0, [δ(a 11 + b 12 ) δ(a 11 ) δ(b 12 )] 21 = 0, [δ(a 11 + b 12 ) δ(a 11 ) δ(b 12 )] 22 = 0. In order to complete the proof, we now show that [δ(a 11 + b 12 ) δ(a 11 ) δ(b 12 )] 11 = 0. For any x 12 R 12, note that δ[(a 11 +b 12 )x 12 +x 12 (a 11 +b 12 )] = δ(a 11 x 12 ) = δ(a 11 x 12 +x 12 a 11 )+δ(b 12 x 12 +x 12 b 12 ). Applying Equality (1.1) to both sides of this identity, one can deduce that [δ(a 11 + b 12 ) δ(a 11 ) δ(b 12 )]x 12 + x 12 [δ(a 11 + b 12 ) δ(a 11 ) δ(b 12 )] = 0. Consequently, [δ(a 11 + b 12 ) δ(a 11 ) δ(b 12 )] 11 x 12 = 0. It follows from Condition (P1) that [δ(a 11 + b 12 ) δ(a 11 ) δ(b 12 )] 11 = 0, which completes the proof. Lemma 2.2. (1) δ(a 12 + b 12 c 22 ) = δ(a 12 ) + δ(b 12 c 22 ). (2) δ(a 21 + b 22 c 21 ) = δ(a 21 ) + δ(b 22 c 21 ).
7 6 WU JING AND FANGYAN LU Proof. (1) Using Lemma 2.1, we obtain δ(a 12 + b 12 c 22 ) = δ[(e 1 + b 12 )(a 12 + c 22 ) + (a 12 + c 22 )(e 1 + b 12 )] = δ(e 1 + b 12 )(a 12 + c 22 ) + (e 1 + b 12 )δ(a 12 + c 22 ) +δ(a 12 + c 22 )(e 1 + b 12 ) + (a 12 + c 22 )δ(e 1 + b 12 ) = [δ(e 1 ) + δ(b 12 )](a 12 + c 22 ) + (e 1 + b 12 )[δ(a 12 ) + δ(c 22 )] +[δ(a 12 ) + δ(c 22 )](e 1 + b 12 ) + (a 12 + c 22 )[δ(e 1 ) + δ(b 12 )] = δ(a 12 ) + δ(b 12 c 22 ). (2) Note that a 21 + b 22 c 21 = (e 1 + c 21 )(a 21 + b 22 ) + (a 21 + b 22 )(e 1 + c 21 ). Now the proof goes similarly to that of (1). Lemma 2.3. (1) δ(a 12 + b 12 ) = δ(a 12 ) + δ(b 12 ). (2) δ(a 21 + b 21 ) = δ(a 21 ) + δ(b 21 ). Proof. We only prove (1). The proof of (2) is similar. For any x 22 R 22, we calculate δ[(a 12 + b 12 )x 22 + x 22 (a 12 + b 12 )] in two ways. On one hand, δ[(a 12 + b 12 )x 22 + x 22 (a 12 + b 12 )] = δ(a 12 + b 12 )x 22 + (a 12 + b 12 )δ(x 22 ) + δ(x 22 )(a 12 + b 12 ) + x 22 δ(a 12 + b 12 ). On the other hand, by Lemma 2.2 These give us δ[(a 12 + b 12 )x 22 + x 22 (a 12 + b 12 )] = δ(a 12 x 22 + b 12 x 22 ) = δ(a 12 x 22 ) + δ(b 12 x 22 ) = δ(a 12 x 22 + x 22 a 12 ) + δ(b 12 x 22 + x 22 b 12 ) = δ(a 12 )x 22 + a 12 δ(x 22 ) + δ(x 22 )a 12 + x 22 δ(a 12 ) δ(b 12 )x 22 + b 12 δ(x 22 ) + δ(x 22 )b 12 + x 22 δ(b 12 ). [δ(a 12 + b 12 ) δ(a 12 ) δ(b 12 )]x 22 + x 22 [δ(a 12 + b 12 ) δ(a 12 ) δ(b 12 )] = 0 for all x 22 R 22. It follows that and [δ(a 12 + b 12 ) δ(a 12 ) δ(b 12 )] 12 x 22 = 0, x 22 [δ(a 12 + b 12 ) δ(a 12 ) δ(b 12 )] 21 = 0, [δ(a 12 + b 12 ) δ(a 12 ) δ(b 12 )] 22 x 22 + x 22 [δ(a 12 + b 12 ) δ(a 12 ) δ(b 12 )] 22 = 0. By Conditions (P1), (P2), and (P3), we can deduce that [δ(a 12 + b 12 ) δ(a 12 ) δ(b 12 )] 12 = 0, [δ(a 12 + b 12 ) δ(a 12 ) δ(b 12 )] 21 = 0, [δ(a 12 + b 12 ) δ(a 12 ) δ(b 12 )] 22 = 0.
8 ADDITIVITY OF JORDAN (TRIPLE) DERIVATIONS ON RINGS 7 We now complete the proof by showing that [δ(a 12 + b 12 ) δ(a 12 ) δ(b 12 )] 11 = 0. To this end, for any x 12 R 12, we compute δ(a 12 + b 12 )x 12 + (a 12 + b 12 )δ(x 12 ) + δ(x 12 )(a 12 + b 12 ) + x 12 δ(a 12 + b 12 ) = δ[(a 12 + b 12 )x 12 + x 12 (a 12 + b 12 )] = 0 = δ(a 12 x 12 + x 12 a 12 ) + δ(b 12 x 12 + x 12 b 12 ) = δ(a 12 )x 12 + a 12 δ(x 12 ) + δ(x 12 )a 12 + x 12 δ(a 12 ) This yields that +δ(b 12 )x 12 + b 12 δ(x 12 ) + δ(x 12 )b 12 + x 12 δ(b 12 ). [δ(a 12 + b 12 ) δ(a 12 ) δ(b 12 )]x 12 + x 12 [δ(a 12 + b 12 ) δ(a 12 ) δ(b 12 )] = 0. Therefore, we have [δ(a 12 + b 12 ) δ(a 12 ) δ(b 12 )] 11 x 12 = 0 for all x 12 R 12. By Condition (P1) we can infer that [δ(a 12 + b 12 ) δ(a 12 ) δ(b 12 )] 11 = 0, which completes the proof. Lemma 2.4. (1) δ(a 11 + b 11 ) = δ(a 11 ) + δ(b 11 ). (2) δ(a 22 + b 22 ) = δ(a 22 ) + δ(b 22 ). Proof. We only prove (1). For any x 22 R 22, we have δ(a 11 + b 11 )x 22 + (a 11 + b 11 )δ(x 22 ) + δ(x 22 )(a 11 + b 11 ) + x 22 δ(a 11 + b 11 ) = δ[(a 11 + b 11 )x 22 + x 22 (a 11 + b 11 )] = 0 = δ(a 11 x 22 + x 22 a 11 ) + δ(b 11 x 22 + x 22 b 11 ) = δ(a 11 )x 22 + a 11 δ(x 22 ) + δ(x 22 )a 11 + x 22 δ(a 11 ) This gives us +δ(b 11 )x 22 + b 11 δ(x 22 ) + δ(x 22 )b 11 + x 22 δ(b 11 ). [δ(a 11 + b 11 ) δ(a 11 ) δ(b 11 )]x 22 + x 22 [δ(a 11 + b 11 ) δ(a 11 ) δ(b 11 )] = 0, which implies that [δ(a 11 + b 11 ) δ(a 11 ) δ(b 11 )] 12 = 0, [δ(a 11 + b 11 ) δ(a 11 ) δ(b 11 )] 21 = 0, [δ(a 11 + b 11 ) δ(a 11 ) δ(b 11 )] 22 = 0. Similarly, by considering (a 11 + b 11 )x 12 + x 12 (a 11 + b 11 ) and using Lemma 2.3 one can deduce that [δ(a 11 + b 11 ) δ(a 11 ) δ(b 11 )] 11 = 0. Lemma 2.5. δ(a 12 + b 21 ) = δ(a 12 ) + δ(b 21 ). Proof. From a 12 + b 21 = (a 12 + b 21 )e 1 + e 1 (a 12 + b 21 ) we have δ(a 12 + b 21 ) = δ(a 12 + b 21 )e 1 + (a 12 + b 21 )δ(e 1 ) + δ(e 1 )(a 12 + b 21 ) + e 1 δ(a 12 + b 21 ).
9 8 WU JING AND FANGYAN LU Multiplying this equality from right by e 1 we arrive at Similarly we can obtain 0 = (a 12 + b 21 )δ(e 1 )e 1 + δ(e 1 )b 21 + e 1 δ(a 12 + b 21 )e 1. 0 = a 12 δ(e 1 )e 1 + e 1 δ(a 12 )e 1, 0 = b 21 δ(e 1 )e 1 + δ(e 1 )b 21 + e 1 δ(b 21 )e 1. Comparing the above three equalities we see that [δ(a 12 + b 21 ) δ(a 12 ) δ(b 21 )] 11 = e 1 [δ(a 12 + b 21 ) δ(a 12 ) δ(b 21 )]e 1 = 0. Now, for any x 12 R 12, we have δ(a 12 + b 21 )x 12 + (a 12 + b 21 )δ(x 12 ) + δ(x 12 )(a 12 + b 21 ) + x 12 δ(a 12 + b 21 ) = δ[(a 12 + b 21 )x 12 + x 12 (a 12 + b 21 )] = δ(b 21 x 12 + x 12 b 21 ) = δ(b 21 x 12 + x 12 b 21 ) + δ(a 12 x 12 + x 12 a 12 ) = δ(b 21 )x 12 + b 21 δ(x 12 ) + δ(x 12 )b 21 + x 12 δ(b 21 ) which leads to +δ(a 12 )x 12 + a 12 δ(x 12 ) + δ(x 12 )a 12 + x 12 δ(a 12 ), [δ(a 12 + b 21 ) δ(a 12 ) δ(b 21 )]x 12 + x 12 [δ(a 12 + b 21 ) δ(a 12 ) δ(b 21 )] = 0. Since [δ(a 12 + b 21 ) δ(a 12 ) δ(b 21 )] 11 = 0, we see that [δ(a 12 + b 21 ) δ(a 12 ) δ(b 21 )] 21 x 12 = 0, x 12 [δ(a 12 + b 21 ) δ(a 12 ) δ(b 21 )] 22 = 0. It follows from Conditions (P1) and (P2) that [δ(a 12 + b 21 ) δ(a 12 ) δ(b 21 )] 21 = [δ(a 12 + b 21 ) δ(a 12 ) δ(b 21 )] 22 = 0. Similarly, by considering δ[(a 12 + b 21 )x 21 + x 21 (a 12 + b 21 )] for all x 21 R 21, we can get [δ(a 12 + b 21 ) δ(a 12 ) δ(b 21 )]x 21 + x 21 [δ(a 12 + b 21 ) δ(a 12 ) δ(b 21 )] = 0. Consequently, [δ(a 12 + b 21 ) δ(a 12 ) δ(b 21 )] 12 = 0. Lemma 2.6. (1) δ(a 11 + b 12 + c 21 ) = δ(a 11 ) + δ(b 12 ) + δ(c 21 ). (2) δ(a 12 + b 21 + c 22 ) = δ(a 12 ) + δ(b 21 ) + δ(c 22 ). Proof. We only prove (1). For any x 22 R 22, we have δ[(a 11 + b 12 + c 21 )x 22 + x 22 (a 11 + b 12 + c 21 )] = δ(a 11 + b 12 + c 21 )x 22 + (a 11 + b 12 + c 21 )δ(x 22 ) +δ(x 22 )(a 11 + b 12 + c 21 ) + x 22 δ(a 11 + b 12 + c 21 ).
10 ADDITIVITY OF JORDAN (TRIPLE) DERIVATIONS ON RINGS 9 On the other hand, by Lemma 2.5, we also have It follows that δ[(a 11 + b 12 + c 21 )x 22 + x 22 (a 11 + b 12 + c 21 )] = δ(b 12 x 22 + x 22 c 21 ) = δ(b 12 x 22 ) + δ(x 22 c 21 ) = δ(a 11 x 22 + x 22 a 11 ) + δ(b 12 x 22 + x 22 b 12 ) + δ(c 21 x 22 + x 22 c 21 ) = δ(a 11 )x 22 + a 11 δ(x 22 ) + δ(x 22 )a 11 + x 22 δ(a 11 ) Then we can obtain that From +δ(b 12 )x 22 + b 12 δ(x 22 ) + δ(x 22 )b 12 + x 22 δ(b 12 ) +δ(c 21 )x 22 + c 21 δ(x 22 ) + δ(x 22 )c 21 + x 22 δ(c 21 ). [δ(a 11 + b 12 + c 21 ) δ(a 11 ) δ(b 12 ) δ(c 21 )]x 22 +x 22 [δ(a 11 + b 12 + c 21 ) δ(a 11 ) δ(b 12 ) δ(c 21 )] = 0. [δ(a 11 + b 12 + c 21 ) δ(a 11 ) δ(b 12 ) δ(c 21 )] 12 = 0, [δ(a 11 + b 12 + c 21 ) δ(a 11 ) δ(b 12 ) δ(c 21 )] 21 = 0, [δ(a 11 + b 12 + c 21 ) δ(a 11 ) δ(b 12 ) δ(c 21 )] 22 = 0. δ[(a 11 + b 12 + c 21 )x 12 + x 12 (a 11 + b 12 + c 21 )] = δ[(a 11 + c 21 )x 12 + x 12 (a 11 + c 21 )] + δ(b 12 x 12 + x 12 b 12 ) and using Lemma 2.1, one can easily get [δ(a 11 + b 12 + c 21 ) δ(a 11 ) δ(b 12 ) δ(c 21 )]x 12 +x 12 [δ(a 11 + b 12 + c 21 ) δ(a 11 ) δ(b 12 ) δ(c 21 )] = 0. It follows that [δ(a 11 + b 12 + c 21 ) δ(a 11 ) δ(b 12 ) δ(c 21 )] 11 x 12 = 0, and so [δ(a 11 + b 12 + c 21 ) δ(a 11 ) δ(b 12 ) δ(c 21 )] 11 = 0. Lemma 2.7. δ(a 11 + b 12 + c 21 + d 22 ) = δ(a 11 ) + δ(b 12 ) + δ(c 21 ) + δ(d 22 ). Proof. For any x 11 R 11, by Lemma 2.6, we have This gives us δ(a 11 + b 12 + c 21 + d 22 )x 11 + (a 11 + b 12 + c 21 + d 22 )δ(x 11 ) +δ(x 11 )(a 11 + b 12 + c 21 + d 22 ) + x 11 δ(a 11 + b 12 + c 21 + d 22 ] = δ[(a 11 + b 12 + c 21 + d 22 )x 11 + x 11 (a 11 + b 12 + c 21 + d 22 )] = δ(a 11 x 11 + c 21 x 11 + x 11 a 11 + x 11 b 12 ) = δ(a 11 x 11 + x 11 a 11 ) + δ(x 11 b 12 ) + δ(c 21 x 11 ) = δ(a 11 x 11 + x 11 a 11 ) + δ(b 12 x 11 + b 12 x 11 ) +δ(c 21 x 11 + x 11 c 21 ) + δ(d 22 x 11 + x 11 d 22 ). [δ(a 11 + b 12 + c 21 + d 22 ) δ(a 11 ) δ(b 12 ) δ(c 21 ) δ(d 22 )]x 11 +x 11 [δ(a 11 + b 12 + c 21 + d 22 ) δ(a 11 ) δ(b 12 ) δ(c 21 ) δ(d 22 )] = 0.
11 10 WU JING AND FANGYAN LU We can infer that [δ(a 11 + b 12 + c 21 + d 22 ) δ(a 11 ) δ(b 12 ) δ(c 21 ) δ(d 22 )] 11 = 0, [δ(a 11 + b 12 + c 21 + d 22 ) δ(a 11 ) δ(b 12 ) δ(c 21 ) δ(d 22 )] 12 = 0, [δ(a 11 + b 12 + c 21 + d 22 ) δ(a 11 ) δ(b 12 ) δ(c 21 ) δ(d 22 )] 21 = 0. Similarly, one can get [δ(a 11 + b 12 + c 21 + d 22 ) δ(a 11 ) δ(b 12 ) δ(c 21 ) δ(d 22 )] 22 = 0, which completes the proof. Now we are ready to prove our first result. Theorem 2.8. Let R be a ring with a nontrivial idempotent and satisfy (P1) If a ij x jk = 0 for all x jk R jk, then a ij = 0; (P2) If x ij a jk = 0 for all x ij R ij, then a jk = 0; (P3) If a ii x ii + x ii a ii = 0 for all x ii R ii, then a ii = 0, for i, j, k {1, 2}. If a mapping δ : R R satisfies δ(ab + ba) = δ(a)b + aδ(b) + δ(b)a + bδ(a) for all a, b R, then δ is additive. In addition, if R is 2-torsion free, then δ is a Jordan derivation. Proof. For any a, b R, we write a = a 11 +a 12 +a 21 +a 22 and b = b 11 +b 12 +b 21 +b 22. Applying Lemmas , we have δ(a + b) = δ(a 11 + a 12 + a 21 + a 22 + b 11 + b 12 + b 21 + b 22 ) = δ[(a 11 + b 11 ) + (a 12 + b 12 ) + (a 21 + b 21 ) + (a 22 + b 22 )] = δ(a 11 + b 11 ) + δ(a 12 + b 12 ) + δ(a 21 + b 21 ) + δ(a 22 + b 22 ) = δ(a 11 ) + δ(b 11 ) + δ(a 12 ) + δ(b 12 ) + δ(a 21 ) + δ(b 21 ) + δ(a 22 ) + δ(b 22 ) = δ(a 11 + a 12 + a 21 + a 22 ) + δ(b 11 + b 12 + b 21 + b 22 ) = δ(a) + δ(b), i. e., δ is additive. In addition, if R is 2-torsion free, then for any a R, we have 2δ(a 2 ) = δ(2a 2 ) = δ(aa + aa) = 2[δ(a)a + aδ(a)]. Therefore, δ is a Jordan derivation. Applying Lemma 1.5 and the well-known result that every Jordan derivation on a 2-torsion free semiprime ring is a derivation (see [1]), we have Corollary 2.9. Let R be a 2-torsion free semiprime ring with a nontrivial idempotent satisfying (C1) If a ii x ij = 0 for all x ij R ij (i j), then a ii = 0; (C2) If x ji a ii = 0 for all x ji R ji (i j), then a ii = 0. If mapping δ : R R satisfies δ(ab + ba) = δ(a)b + aδ(b) + δ(b)a + bδ(a) for all a, b R, then δ is additive. Moreover, δ is a derivation. As a consequence of Lemma 1.6 we can easily have the following result.
12 ADDITIVITY OF JORDAN (TRIPLE) DERIVATIONS ON RINGS 11 Corollary Let R be a 2-torsion free prime ring containing a nontrivial idempotent and mapping δ : R R satisfy δ(ab + ba) = δ(a)b + aδ(b) + δ(b)a + bδ(a) for all a, b R, then δ is additive. Moreover, δ is a derivation. Since every standard operator algebra is prime, we can easily have Corollary Let A be a standard operator algebra in a Banach space X whose dimension is greater than 1. Suppose that δ : A A is a mapping satisfying δ(ab + BA) = δ(a)b + Aδ(B) + δ(b)a + Bδ(A) for all A, B A, then δ is additive. Moreover, δ is an additive derivation. 3. Additivity of Jordan triple derivations on rings The aim of this section is to show that if a mapping δ from a ring R containing a nontrivial idempotent into itself satisfies Equality (1.2) then δ is automatically additive. In what follows we shall assume that R is a ring with a nontrivial idempotent e 1 satisfying (P1 ) If a 11 x 12 = 0 for all x 12 R 12, then a 11 = 0. (P2 ) If x 12 a 22 = 0 for all x 12 R 12, then a 22 = 0. (P4) If x ij ax ij = 0 for all x ij R ij (i, j {1, 2}), then a ji = 0. and δ : R R is a mapping with the property that holds true for all a, b R. δ(aba) = δ(a)ba + aδ(b)a + abδ(a) Lemma 3.1. δ(a 11 + b 12 + c 21 + d 22 ) = δ(a 11 ) + δ(b 12 ) + δ(c 21 ) + δ(d 22 ). Proof. For any x ij R, i, j = 1, 2, on one hand, we have δ[x ij (a 11 + b 12 + c 21 + d 22 )x ij ] = δ(x ij )(a 11 + b 12 + c 21 + d 22 )x ij +x ij δ(a 11 + b 12 + c 21 + d 22 )x ij +x ij (a 11 + b 12 + c 21 + d 22 )δ(x ij ). On the other hand, δ(x ij a 11 x ij ) = δ(x ij )a 11 x ij + x ij δ(a 11 )x ij + x ij a 11 δ(x ij ), δ(x ij b 12 x ij ) = δ(x ij )b 12 x ij + x ij δ(b 12 )x ij + x ij b 12 δ(x ij ), δ(x ij c 21 x ij ) = δ(x ij )c 21 x ij + x ij δ(c 21 )x ij + x ij c 21 δ(x ij ), δ(x ij d 22 x ij ) = δ(x ij )d 22 x ij + x ij δ(d 22 )x ij + x ij d 22 δ(x ij ). These imply that δ[x ij (a 11 + b 12 + c 21 + d 22 )x ij ] δ(x ij a 11 x ij ) δ(x ij b 12 x ij ) δ(x ij c 21 x ij ) δ(x ij d 22 x ij ) = x ij [δ(a 11 + b 12 + c 21 + d 22 ) δ(a 11 ) δ(b 12 ) δ(c 21 ) δ(d 22 )]x ij.
13 12 WU JING AND FANGYAN LU Note that for any i, j = 1, 2, we have δ[x ij (a 11 + b 12 + c 21 + d 22 )x ij ] δ(x ij a 11 x ij ) δ(x ij b 12 x ij ) δ(x ij c 21 x ij ) δ(x ij d 22 x ij ) = 0. Then, for i, j = 1, 2, we get x ij [δ(a 11 + b 12 + c 21 + d 22 ) δ(a 11 ) δ(b 12 ) δ(c 21 ) δ(d 22 )]x ij = 0 By Condition (P4), we see that [δ(a 11 + b 12 + c 21 + d 22 ) δ(a 11 ) δ(b 12 ) δ(c 21 ) δ(d 22 )] ji = 0, i, j = 1, 2. Equivalently, δ(a 11 + b 12 + c 21 + d 22 ) δ(a 11 ) δ(b 12 ) δ(c 21 ) δ(d 22 ) = 0. Lemma 3.2. (1) δ(a 12 + b 12 c 22 ) = δ(a 12 ) + δ(b 12 c 22 ). (2) δ(a 21 + b 22 c 21 ) = δ(a 21 ) + δ(b 22 c 21 ). Proof. (1) We first note that e 1 + a 12 + b 12 c 22 = (e 1 + a 12 + c 22 )(e 1 + b 12 )(e 1 + a 12 + c 22 ). By applying Lemma 3.1, we have δ(e 1 ) + δ(a 12 + b 12 c 22 ) = δ(e 1 + a 12 + b 12 c 22 ) = δ[(e 1 + a 12 + c 22 )(e 1 + b 12 )(e 1 + a 12 + c 22 )] = δ(e 1 + a 12 + c 22 )(e 1 + b 12 )(e 1 + a 12 + c 22 ) +(e 1 + a 12 + c 22 )δ(e 1 + b 12 )(e 1 + a 12 + c 22 ) +(e 1 + a 12 + c 22 )(e 1 + b 12 )δ(e 1 + a 12 + c 22 ) = [δ(e 1 ) + δ(a 12 ) + δ(c 22 )](e 1 + b 12 )(e 1 + a 12 + c 22 ) +(e 1 + a 12 + c 22 )[δ(e 1 ) + δ(b 12 )](e 1 + a 12 + c 22 ) +(e 1 + a 12 + c 22 )(e 1 + b 12 )[δ(e 1 ) + δ(a 12 ) + δ(c 22 )] = [δ(e 1 ) + δ(a 12 ) + δ(c 22 )]e 1 (e 1 + a 12 + c 22 ) + (e 1 + a 12 + c 22 )δ(e 1 )(e 1 + a 12 + c 22 ) +(e 1 + a 12 + c 22 )e 1 [δ(e 1 ) + δ(a 12 ) + δ(c 22 )] + [δ(e 1 ) + δ(c 22 )]b 12 (e 1 + c 22 ) +(e 1 + c 22 )δ(b 12 )(e 1 + c 22 ) + (e 1 + c 22 )b 12 [δ(e 1 ) + δ(c 22 )] +[δ(a 12 ) + δ(c 22 )](e 1 + b 12 )(a 12 + c 22 ) + (a 12 + c 22 )[δ(e 1 ) + δ(b 12 )](a 12 + c 22 ) +(a 12 + c 22 )(e 1 + b 12 )[δ(a 12 ) + δ(c 22 )] + [δ(e 1 ) + δ(a 12 )]b 12 (e 1 + a 12 ) +(e 1 + a 12 )δ(b 12 )(e 1 + a 12 ) + (e 1 + a 12 )b 12 [δ(e 1 ) + δ(a 12 )] = δ[(e 1 + a 12 c 22 )e 1 (e 1 + a 12 + c 22 )] + δ[(e 1 + c 22 )b 12 (e 1 + c 22 )] +δ[(a 12 + c 22 )(e 1 + b 12 )(a 12 + c 22 )] + δ[(e 1 + a 12 )b 12 (e 1 + a 12 )] = δ(e 1 + a 12 ) + δ(b 12 c 22 ) = δ(e 1 ) + δ(a 12 ) + δ(b 12 c 22 ). Notice that in the fifth equality we use the facts that 0 = δ(a 12 b 12 a 12 ) = δ(a 12 )b 12 a 12 + a 12 δ(b 12 )a 12 + a 12 b 12 δ(a 12 )
14 ADDITIVITY OF JORDAN (TRIPLE) DERIVATIONS ON RINGS 13 and 0 = δ[(a 12 + c 22 )(e 1 + b 12 )(a 12 + c 22 )] = δ(a 12 + c 22 )(e 1 + b 12 )(a 12 + c 22 ) +(a 12 + c 22 )δ(e 1 + b 12 )(a 12 + c 22 ) +(a 12 + c 22 )(e 1 + b 12 )δ(a 12 + c 22 ) = [δ(a 12 ) + δ(c 22 )](e 1 + b 12 )(a 12 + c 22 ) +(a 12 + c 22 )[δ(e 1 ) + δ(b 12 )](a 12 + c 22 ) +(a 12 + c 22 )(e 1 + b 12 )[δ(a 12 ) + δ(c 22 )]. (2) The proof is similar to that of (1), so we omit it. Lemma 3.3. δ is additive on R 12. Proof. We need to show that holds true for any a 12, b 12 R 12. For any x 1j R 1j, j = 1, 2, from we can get This implies that δ(a 12 + b 12 ) = δ(a 12 ) + δ(b 12 ) δ[x 1j (a 12 + b 12 )x 1j ] = 0 = δ(x 1j a 12 x 1j ) + δ(x 1j b 12 x 1j ) x 1j [δ(a 12 + b 12 ) δ(a 12 ) δ(b 12 )]x 1j = 0. [δ(a 12 + b 12 ) δ(a 12 ) δ(b 12 )] 11 = [δ(a 12 + b 12 ) δ(a 12 ) δ(b 12 )] 21 = 0. Similarly, by considering δ[x 22 (a 12 + b 12 )x 22 ] = 0 = δ(x 22 a 12 x 22 ) + δ(x 22 b 12 x 22 ) for any x 22 R 22, we can conclude that [δ(a 12 + b 12 ) δ(a 12 ) δ(b 12 )] 22 = 0. We now show that [δ(a 12 + b 12 ) δ(a 12 ) δ(b 12 )] 12 = 0. For any x 21 R 21, on one hand, δ[x 21 (a 12 + b 12 )x 21 ] = δ(x 21 )(a 12 + b 12 )x 21 + x 21 δ(a 12 + b 12 )x 21 + x 21 (a 12 + b 12 )δ(x 21 ). On the other hand, by Lemma 3.2 (2), Then we can get δ[x 21 (a 12 + b 12 )x 21 ] = δ(x 21 a 12 x 21 + x 21 b 12 x 21 ) = δ(x 21 a 12 x 21 ) + δ(x 21 b 12 x 21 ) = δ(x 21 )a 12 x 21 + x 21 δ(a 12 )x 21 + x 21 a 12 δ(x 21 ) +δ(x 21 )b 12 x 21 + x 21 δ(b 12 )x 21 + x 21 b 12 δ(x 21 ). x 21 [δ(a 12 + b 12 ) δ(a 12 ) δ(b 12 )]x 21 = 0, which leads to [δ(a 12 + b 12 ) δ(a 12 ) δ(b 12 )] 12 = 0. This completes the proof. Similarly, we have Lemma 3.4. δ is additive on R 21.
15 14 WU JING AND FANGYAN LU Lemma 3.5. δ is additive on R 11. Proof. Let a 11 and b 11 be arbitrary elements of R 11. By considering δ[x ij (a 11 + b 11 )x ij ], δ(x ij a 11 x ij ), and δ(x ij b 11 x ij ) for the cases of i j and i = j = 2 respectively, one can easily get that [δ(a 11 + b 11 ) δ(a 11 ) δ(b 11 )] 12 = 0, [δ(a 11 + b 11 ) δ(a 11 ) δ(b 11 )] 21 = 0, [δ(a 11 + b 11 ) δ(a 11 ) δ(b 11 )] 22 = 0. In order to complete the proof, we need to show that [δ(a 11 + b 11 ) δ(a 11 ) δ(b 11 )] 11 = 0. We now claim that, for any r 11 R 11 and x 12 R 12, (3.1) δ(r 11 x 12 ) = δ(e 1 )r 11 x 12 + e 1 δ(r 11 )x 12 + r 11 δ(x 12 ) + δ(x 12 )r 11 + x 12 δ(r 11 )e 1. Indeed, by Lemma 3.1, δ(r 11 ) + δ(r 11 x 12 ) = δ(r 11 + r 11 x 12 ) = δ[(e 1 + x 12 )r 11 (e 1 + x 12 )] = δ(e 1 + x 12 )r 11 (e 1 + x 12 ) + (e 1 + x 12 )δ(r 11 )(e 1 + x 12 ) + (e 1 + x 12 )r 11 δ(e 1 + x 12 ) = δ(r 11 ) + δ(e 1 )r 11 x 12 + e 1 δ(r 11 )x 12 + r 11 δ(x 12 ) + δ(x 12 )r 11 + x 12 δ(r 11 )e 1. Note that in the last equality we are using the facts that and δ(r 11 ) = δ(e 1 r 11 e 1 ) = δ(e 1 )r 11 e 1 + e 1 δ(r 11 )e 1 + e 1 r 11 δ(e 1 ) 0 = δ(x 12 r 11 x 12 ) = δ(x 12 )r 11 x 12 + x 12 δ(r 11 )x 12 + x 12 r 11 δ(x 12 ). Replacing r 11 in Equation (3.1) with a 11 + b 11, a 11, and b 11 respectively, one can get δ[(a 11 + b 11 )x 12 ] = δ(e 1 )(a 11 + b 11 )x 12 + e 1 δ(a 11 + b 11 )x 12 + (a 11 + b 11 )δ(x 12 ) and, also by Lemma 3.3, +δ(x 12 )(a 11 + b 11 ) + x 12 δ(a 11 + b 11 )e 1 δ[(a 11 + b 11 )x 12 ] = δ(a 11 x 12 ) + δ(b 11 x 12 ) = δ(e 1 )a 11 x 12 + e 1 δ(a 11 )x 12 + a 11 δ(x 12 ) + δ(x 12 )a 11 + x 12 δ(a 11 )e 1 +δ(e 1 )b 11 x 12 + e 1 δ(b 11 )x 12 + b 11 δ(x 12 ) + δ(x 12 )b 11 + x 12 δ(b 11 )e 1. Comparing the above two equalities, we arrive at It follows from Condition (P1 ) that Lemma 3.6. δ is additive on R 22. [δ(a 11 + b 11 ) δ(a 11 ) δ(b 11 )]x 12 = 0. [δ(a 11 + b 11 ) δ(a 11 ) δ(b 11 )] 11 = 0.
16 ADDITIVITY OF JORDAN (TRIPLE) DERIVATIONS ON RINGS 15 Proof. With the similar approach as in Lemma 3.5, one can get [δ(a 22 + b 22 ) δ(a 22 ) δ(b 22 )] 11 = 0, [δ(a 22 + b 22 ) δ(a 22 ) δ(b 22 )] 12 = 0, [δ(a 22 + b 22 ) δ(a 22 ) δ(b 22 )] 21 = 0. To complete the proof, it remains to show that [δ(a 22 + b 22 ) δ(a 22 ) δ(b 22 )] 22 = 0. For any x 12 R 12 and r 22 R 22, from one can check that x 12 r 22 = (e 1 + r 22 )x 12 (e 1 + r 22 ) (3.2) δ(x 12 r 22 ) = δ(e 1 )x 12 r 22 + e 1 δ(x 12 )r 22 + r 22 δ(x 12 )e 1 + x 12 δ(r 22 ). Now, applying Equality (3.2) for r 22 = a 22 + b 22, r 22 = a 22, and r 22 = b 22 respectively, we can get x 12 [δ(a 22 + b 22 ) δ(a 22 ) δ(b 22 )] = 0. It follows from Condition (P2 ) that [δ(a 22 + b 22 ) δ(a 22 ) δ(b 22 )] 22 = 0, which completes the proof. Applying Lemma 3.1 and Lemmas , we can get the following result using the same approach as in the proof of Theorem 2.8. Theorem 3.7. Suppose R is a ring containing a nontrivial idempotent and satisfies the following conditions: (P1 ) If a 11 x 12 = 0 for all x 12 R 12, then a 11 = 0. (P2 ) If x 12 a 22 = 0 for all x 12 R 12, then a 22 = 0. (P4) If x ij ax ij = 0 for all x ij R ij (i, j {1, 2}), then a ji = 0. If a mapping δ : R R satisfies δ(aba) = δ(a)ba + aδ(b) + abδ(b) for all a, b R, then δ is additive, and hence a Jordan triple derivation. Note that every Jordan triple derivation on a 2-torsion free semiprime ring is a derivation (see [2]). By Lemma 1.5 we have Corollary 3.8. Let R be a 2-torsion free semiprime ring containing a nontrivial idempotent and satisfying (P1 ) If a 11 x 12 = 0 for all x 12 R 12, then a 11 = 0. (P2 ) If x 12 a 22 = 0 for all x 12 R 12, then a 22 = 0. (C3) If x ij ax ij = 0 for all x ij R ij (i j), then a ji = 0. If δ : R R satisfies δ(aba) = δ(a)ba + aδ(b) + abδ(b) for all a, b R, then δ is additive. Moreover, δ is a derivation. In particular, applying Lemma 1.6, we get Corollary 3.9. Let R be a 2-torsion prime ring containing a nontrivial idempotent. If δ : R R satisfies δ(aba) = δ(a)ba + aδ(b) + abδ(b) for all a, b R, then δ is additive. Moreover, δ is a derivation.
17 16 WU JING AND FANGYAN LU Corollary Let A be a standard operator algebra in X, where X is a Banach space with dimx > 1. If a mapping δ : A A satisfies δ(aba) = δ(a)ba + Aδ(B)A + ABδ(A) for all A, B A, then δ is additive. Moreover, δ is an additive derivation. Acknowledgement: The authors thank the referee who suggests generalizing the original results to a larger class of rings. References 1. M. Brešar, Jordan derivations on semiprime rings, Proc. Amer. Math. Soc. 104 (1988), M. Brešar, Jordan mappings of semiprime rings, J. Algebra 127 (1989), P. Li and W. Jing, Jordan elementary maps on rings, Linear Algebra Appl. 382 (2004), F. Lu, Additivity of Jordan maps on standard operator algebras, Linear Algebra Appl. 357, (2002) F. Lu, Jordan triple maps, Linear Algebra Appl. 375 (2003), F. Lu, Jordan derivable maps of prime rings, Comm. Algebra (to appear). 7. L. Molnár, Jordan maps on standard operator algebras, in: Functional Equations - Results and Advances, Kluwer Academic Publishers, Dordrecht, W. S. Martindale III, When are multiplicative mappings additive? Proc. Amer. Math. Soc. 21 (1969), Department of Mathematics & Computer Science, Fayetteville State University, Fayetteville, NC address: wjing@uncfsu.edu Department of Mathematics, Suzhou University, Suzhou , P. R. China address: fylu@suda.edu.cn
GENERALIZED JORDAN DERIVATIONS ON PRIME RINGS AND STANDARD OPERATOR ALGEBRAS. Wu Jing and Shijie Lu 1. INTRODUCTION
TAIWANESE JOURNAL OF MATHEMATICS Vol. 7, No. 4, pp. 605-613, December 2003 This paper is available online at http://www.math.nthu.edu.tw/tjm/ GENERALIZED JORDAN DERIVATIONS ON PRIME RINGS AND STANDARD
More informationAdditivity of maps on generalized matrix algebras
Electronic Journal of Linear Algebra Volume 22 Volume 22 (2011) Article 49 2011 Additivity of maps on generalized matrix algebras Yanbo Li Zhankui Xiao Follow this and additional works at: http://repository.uwyo.edu/ela
More informationarxiv: v1 [math.oa] 6 Mar 2018
CHARACTERIZATIONS OF (m, n)-jordan DERIVATIONS ON SOME ALGEBRAS GUANGYU AN, JUN HE arxiv:1803.02046v1 math.oa 6 Mar 2018 Abstract. Let R be a ring, M be a R-bimodule and m,n be two fixed nonnegative integers
More informationA NOTE ON JORDAN DERIVATIONS IN SEMIPRIME RINGS WITH INVOLUTION 1
International Mathematical Forum, 1, 2006, no. 13, 617-622 A NOTE ON JORDAN DERIVATIONS IN SEMIPRIME RINGS WITH INVOLUTION 1 Joso Vukman Department of Mathematics University of Maribor PeF, Koroška 160,
More informationMAPS PRESERVING JORDAN TRIPLE PRODUCT A B + BA ON -ALGEBRAS. Ali Taghavi, Mojtaba Nouri, Mehran Razeghi, and Vahid Darvish
Korean J. Math. 6 (018), No. 1, pp. 61 74 https://doi.org/10.11568/kjm.018.6.1.61 MAPS PRESERVING JORDAN TRIPLE PRODUCT A B + BA ON -ALGEBRAS Ali Taghavi, Mojtaba Nouri, Mehran Razeghi, and Vahid Darvish
More informationSince Brešar and Vukman initiated the study of left derivations in noncom-
JORDAN LEFT DERIVATIONS IN FULL AND UPPER TRIANGULAR MATRIX RINGS XIAO WEI XU AND HONG YING ZHANG Abstract. In this paper, left derivations and Jordan left derivations in full and upper triangular matrix
More informationStrongly Nil -Clean Rings
Strongly Nil -Clean Rings Abdullah HARMANCI Huanyin CHEN and A. Çiğdem ÖZCAN Abstract A -ring R is called strongly nil -clean if every element of R is the sum of a projection and a nilpotent element that
More informationProduct of derivations on C -algebras
Int. J. Nonlinear Anal. Appl. 7 (2016) No. 2, 109-114 ISSN: 2008-6822 (electronic) http://www.ijnaa.semnan.ac.ir Product of derivations on C -algebras Sayed Khalil Ekrami a,, Madjid Mirzavaziri b, Hamid
More informationJordan isomorphisms of triangular matrix algebras over a connected commutative ring
Linear Algebra and its Applications 312 (2000) 197 201 www.elsevier.com/locate/laa Jordan isomorphisms of triangular matrix algebras over a connected commutative ring K.I. Beidar a,,m.brešar b,1, M.A.
More informationDerivations and Reverse Derivations. in Semiprime Rings
International Mathematical Forum, 2, 2007, no. 39, 1895-1902 Derivations and Reverse Derivations in Semiprime Rings Mohammad Samman Department of Mathematical Sciences King Fahd University of Petroleum
More informationSums of Semiprime, Z, and D L-Ideals in a Class of F-Rings
Digital Commons@ Loyola Marymount University and Loyola Law School Mathematics Faculty Works Mathematics 8-1-1990 Sums of Semiprime, Z, and D L-Ideals in a Class of F-Rings Suzanne Larson Loyola Marymount
More informationarxiv: v1 [math.ra] 23 Feb 2018
JORDAN DERIVATIONS ON SEMIRINGS OF TRIANGULAR MATRICES arxiv:180208704v1 [mathra] 23 Feb 2018 Abstract Dimitrinka Vladeva University of forestry, bulklohridski 10, Sofia 1000, Bulgaria E-mail: d vladeva@abvbg
More informationOn EP elements, normal elements and partial isometries in rings with involution
Electronic Journal of Linear Algebra Volume 23 Volume 23 (2012 Article 39 2012 On EP elements, normal elements and partial isometries in rings with involution Weixing Chen wxchen5888@163.com Follow this
More informationHouston Journal of Mathematics. c 2012 University of Houston Volume 38, No. 1, Communicated by Kenneth R. Davidson
Houston Journal of Mathematics c 2012 University of Houston Volume 38, No. 1, 2012 JORDAN HIGHER DERIVATIONS ON SOME OPERATOR ALGEBRAS ZHANKUI XIAO AND FENG WEI Communicated by Kenneth R. Davidson Abstract.
More informationStrongly nil -clean rings
J. Algebra Comb. Discrete Appl. 4(2) 155 164 Received: 12 June 2015 Accepted: 20 February 2016 Journal of Algebra Combinatorics Discrete Structures and Applications Strongly nil -clean rings Research Article
More informationHow many units can a commutative ring have?
How many units can a commutative ring have? Sunil K. Chebolu and Keir Locridge Abstract. László Fuchs posed the following problem in 960, which remains open: classify the abelian groups occurring as the
More informationLinear Algebra and its Applications
Linear Algebra and its Applications 435 (2011) 2889 2895 Contents lists available at ScienceDirect Linear Algebra and its Applications journal homepage: www.elsevier.com/locate/laa Idempotent elements
More informationJordan α-centralizers in rings and some applications
Bol. Soc. Paran. Mat. (3s.) v. 26 1-2 (2008): 71 80. c SPM ISNN-00378712 Jordan α-centralizers in rings and some applications Shakir Ali and Claus Haetinger abstract: Let R be a ring, and α be an endomorphism
More informationPrimitive Ideals of Semigroup Graded Rings
Sacred Heart University DigitalCommons@SHU Mathematics Faculty Publications Mathematics Department 2004 Primitive Ideals of Semigroup Graded Rings Hema Gopalakrishnan Sacred Heart University, gopalakrishnanh@sacredheart.edu
More informationON (m, n) JORDAN CENTRALIZERS IN RINGS AND ALGEBRAS. Joso Vukman University of Maribor, Slovenia
GLASNIK MATEMATIČKI Vol. 45(65)(2010), 43 53 ON (m, n) JORDAN CENTRALIZERS IN RINGS AND ALGEBRAS Joso Vukman University of Maribor, Slovenia Abstract. Let m 0, n 0 be fixed integers with m + n 0 and let
More informationAll-Derivable Subsets for Nest Algebras on Banach Spaces
International Mathematical Forum, Vol. 9, 014, no. 1, 1-11 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.1988/imf.014.311 All-Derivable Subsets for Nest Algebras on Banach Spaces Yanfang Zhang, Jinchuan
More informationA Generalization of an Algebra of Chevalley
Journal of Algebra 33, 398408 000 doi:0.006jabr.000.8434, available online at http:www.idealibrary.com on A Generalization of an Algebra of Chevalley R. D. Schafer Massachusetts Institute of Technology,
More informationSubsets of Euclidean domains possessing a unique division algorithm
Subsets of Euclidean domains possessing a unique division algorithm Andrew D. Lewis 2009/03/16 Abstract Subsets of a Euclidean domain are characterised with the following objectives: (1) ensuring uniqueness
More informationMINIMAL NUMBER OF GENERATORS AND MINIMUM ORDER OF A NON-ABELIAN GROUP WHOSE ELEMENTS COMMUTE WITH THEIR ENDOMORPHIC IMAGES
Communications in Algebra, 36: 1976 1987, 2008 Copyright Taylor & Francis roup, LLC ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870801941903 MINIMAL NUMBER OF ENERATORS AND MINIMUM ORDER OF
More informationThe purpose of this section is merely to recall known results concerning ideals and proximity spaces. For more information see [1,4 6,10 12].
MATEMATIQKI VESNIK 67, 2 (2015), 130 142 June 2015 originalni nauqni rad research paper PROXIMITY STRUCTURES AND IDEALS A. Kandil, S. A. El-Sheikh, M. M. Yakout and Shawqi A. Hazza Abstract. In this paper,
More informationNORMAL SMASH PRODUCTS
PORTUGALIAE MATHEMATICA Vol. 55 Fasc. 3 1998 NORMAL SMASH PRODUCTS S. Yang and D. Wang* Abstract: Let H be a co-frobenius Hopf algebra over a field k and A a right H-comodule algebra. It is shown that
More informationOn (θ, θ)-derivations in Semiprime Rings
Gen. Math. Notes, Vol. 24, No. 1, September 2014, pp. 89-97 ISSN 2219-7184; Copyright ICSRS Publication, 2014 www.i-csrs.org Available free online at http://www.geman.in On (θ, θ)-derivations in Semiprime
More informationIDEAL CLASSES AND RELATIVE INTEGERS
IDEAL CLASSES AND RELATIVE INTEGERS KEITH CONRAD The ring of integers of a number field is free as a Z-module. It is a module not just over Z, but also over any intermediate ring of integers. That is,
More informationLinear Algebra and its Applications
Linear Algebra and its Applications 437 (2012) 2719 2726 Contents lists available at SciVerse ScienceDirect Linear Algebra and its Applications journal homepage: www.elsevier.com/locate/laa Lie derivations
More informationLinear Algebraic Equations
Linear Algebraic Equations 1 Fundamentals Consider the set of linear algebraic equations n a ij x i b i represented by Ax b j with [A b ] [A b] and (1a) r(a) rank of A (1b) Then Axb has a solution iff
More informationON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS. Christian Gottlieb
ON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS Christian Gottlieb Department of Mathematics, University of Stockholm SE-106 91 Stockholm, Sweden gottlieb@math.su.se Abstract A prime ideal
More informationOn R-Strong Jordan Ideals
International Journal of Algebra, Vol. 3, 2009, no. 18, 897-902 On R-Strong Jordan Ideals Anita Verma Department of Mathematics University of Delhi, Delhi 1107, India verma.anitaverma.anita945@gmail.com
More informationORE EXTENSIONS OF 2-PRIMAL RINGS
ORE EXTENSIONS OF 2-PRIMAL RINGS A. R. NASR-ISFAHANI A,B A Department of Mathematics, University of Isfahan, P.O. Box: 81746-73441, Isfahan, Iran B School of Mathematics, Institute for Research in Fundamental
More informationAbel rings and super-strongly clean rings
An. Ştiinţ. Univ. Al. I. Cuza Iaşi. Mat. N.S. Tomul LXIII, 2017, f. 2 Abel rings and super-strongly clean rings Yinchun Qu Junchao Wei Received: 11.IV.2013 / Last revision: 10.XII.2013 / Accepted: 12.XII.2013
More informationSome results on the reverse order law in rings with involution
Some results on the reverse order law in rings with involution Dijana Mosić and Dragan S. Djordjević Abstract We investigate some necessary and sufficient conditions for the hybrid reverse order law (ab)
More informationand Michael White 1. Introduction
SPECTRAL CHARACTERIZATION OF ALGEBRAIC ELEMENTS Thomas Ransford 1 and Michael White 1. Introduction Let A be a unital Banach algebra. An element a A is algebraic if there exists a nonconstant polynomial
More informationON 3-PRIME NEAR-RINGS WITH GENERALIZED DERIVATIONS
Palestine Journal of Mathematics Vol. 51) 2016), 12 16 Palestine Polytechnic University-PPU 2016 ON 3-PRIME NEAR-RINGS WITH GENERALIZED DERIVATIONS A. Boua, L. Oukhtite and A. Raji Communicated by N. Mahdou
More informationExample: This theorem is the easiest way to test an ideal (or an element) is prime. Z[x] (x)
Math 4010/5530 Factorization Theory January 2016 Let R be an integral domain. Recall that s, t R are called associates if they differ by a unit (i.e. there is some c R such that s = ct). Let R be a commutative
More informationElementary linear algebra
Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The
More informationEXTENSIONS OF EXTENDED SYMMETRIC RINGS
Bull Korean Math Soc 44 2007, No 4, pp 777 788 EXTENSIONS OF EXTENDED SYMMETRIC RINGS Tai Keun Kwak Reprinted from the Bulletin of the Korean Mathematical Society Vol 44, No 4, November 2007 c 2007 The
More informationBiderivations of the Algebra of Strictly Upper Triangular Matrices over a Commutative Ring
Journal of Mathematical Research & Exposition Nov., 2011, Vol. 31, No. 6, pp. 965 976 DOI:10.3770/j.issn:1000-341X.2011.06.002 Http://jmre.dlut.edu.cn Biderivations of the Algebra of Strictly Upper Triangular
More informationOn Generalized Derivations and Commutativity. of Prime Rings with Involution
International Journal of Algebra, Vol. 11, 2017, no. 6, 291-300 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ija.2017.7839 On Generalized Derivations and Commutativity of Prime Rings with Involution
More informationBRUNO L. M. FERREIRA AND HENRIQUE GUZZO JR.
REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Vol. 60, No. 1, 2019, Pages 9 20 Published online: February 11, 2019 https://doi.org/10.33044/revuma.v60n1a02 LIE n-multiplicative MAPPINGS ON TRIANGULAR n-matrix
More informationCOUNTING SEPARABLE POLYNOMIALS IN Z/n[x]
COUNTING SEPARABLE POLYNOMIALS IN Z/n[x] JASON K.C. POLAK Abstract. For a commutative ring R, a polynomial f R[x] is called separable if R[x]/f is a separable R-algebra. We derive formulae for the number
More informationMAPS PRESERVING ZERO JORDAN PRODUCTS ON HERMITIAN OPERATORS
Illinois Journal of Mathematics Volume 49, Number 2, Summer 2005, Pages 445 452 S 009-2082 MAPS PRESERVING ZERO JORDAN PRODUCTS ON HERMITIAN OPERATORS MIKHAIL A. CHEBOTAR, WEN-FONG KE, AND PJEK-HWEE LEE
More informationOn quasi-reduced rings
Global Journal of Pure and Applied Mathematics. ISSN 0973-1768 Volume 12, Number 1 (2016), pp. 927 935 Research India Publications http://www.ripublication.com/gjpam.htm On quasi-reduced rings Sang Jo
More informationDihedral groups of automorphisms of compact Riemann surfaces of genus two
Electronic Journal of Linear Algebra Volume 26 Volume 26 (2013) Article 36 2013 Dihedral groups of automorphisms of compact Riemann surfaces of genus two Qingje Yang yangqj@ruc.edu.com Dan Yang Follow
More informationDragan S. Djordjević. 1. Introduction and preliminaries
PRODUCTS OF EP OPERATORS ON HILBERT SPACES Dragan S. Djordjević Abstract. A Hilbert space operator A is called the EP operator, if the range of A is equal with the range of its adjoint A. In this article
More informationClasses of Commutative Clean Rings
Classes of Commutative Clean Rings Wolf Iberkleid and Warren Wm. McGovern September 3, 2009 Abstract Let A be a commutative ring with identity and I an ideal of A. A is said to be I-clean if for every
More informationProduct Zero Derivations on Strictly Upper Triangular Matrix Lie Algebras
Journal of Mathematical Research with Applications Sept., 2013, Vol.33, No. 5, pp. 528 542 DOI:10.3770/j.issn:2095-2651.2013.05.002 Http://jmre.dlut.edu.cn Product Zero Derivations on Strictly Upper Triangular
More informationPolynomials of small degree evaluated on matrices
Polynomials of small degree evaluated on matrices Zachary Mesyan January 1, 2013 Abstract A celebrated theorem of Shoda states that over any field K (of characteristic 0), every matrix with trace 0 can
More informationEP elements and Strongly Regular Rings
Filomat 32:1 (2018), 117 125 https://doi.org/10.2298/fil1801117y Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat EP elements and
More informationHIGHER CLASS GROUPS OF GENERALIZED EICHLER ORDERS
HIGHER CLASS GROUPS OF GENERALIZED EICHLER ORDERS XUEJUN GUO 1 ADEREMI KUKU 2 1 Department of Mathematics, Nanjing University Nanjing, Jiangsu 210093, The People s Republic of China guoxj@nju.edu.cn The
More informationInverses and Elementary Matrices
Inverses and Elementary Matrices 1-12-2013 Matrix inversion gives a method for solving some systems of equations Suppose a 11 x 1 +a 12 x 2 + +a 1n x n = b 1 a 21 x 1 +a 22 x 2 + +a 2n x n = b 2 a n1 x
More informationOn generalized -derivations in -rings
Palestine Journal of Mathematics Vol. 1 (2012), 32 37 Palestine Polytechnic University-PPU 2012 On generalized -derivations in -rings Shakir Ali Communicated by Tariq Rizvi 2000 Mathematics Subject Classification:
More informationA New Characterization of Boolean Rings with Identity
Irish Math. Soc. Bulletin Number 76, Winter 2015, 55 60 ISSN 0791-5578 A New Characterization of Boolean Rings with Identity PETER DANCHEV Abstract. We define the class of nil-regular rings and show that
More informationOn the simplest expression of the perturbed Moore Penrose metric generalized inverse
Annals of the University of Bucharest (mathematical series) 4 (LXII) (2013), 433 446 On the simplest expression of the perturbed Moore Penrose metric generalized inverse Jianbing Cao and Yifeng Xue Communicated
More informationWeakly Semicommutative Rings and Strongly Regular Rings
KYUNGPOOK Math. J. 54(2014), 65-72 http://dx.doi.org/10.5666/kmj.2014.54.1.65 Weakly Semicommutative Rings and Strongly Regular Rings Long Wang School of Mathematics, Yangzhou University, Yangzhou, 225002,
More informationARCHIVUM MATHEMATICUM (BRNO) Tomus 48 (2012), M. Sambasiva Rao
ARCHIVUM MATHEMATICUM (BRNO) Tomus 48 (2012), 97 105 δ-ideals IN PSEUDO-COMPLEMENTED DISTRIBUTIVE LATTICES M. Sambasiva Rao Abstract. The concept of δ-ideals is introduced in a pseudo-complemented distributive
More informationRepresentations and Derivations of Modules
Irish Math. Soc. Bulletin 47 (2001), 27 39 27 Representations and Derivations of Modules JANKO BRAČIČ Abstract. In this article we define and study derivations between bimodules. In particular, we define
More informationPLANAR AND STRONGLY UNIFORM NEAR-RINGS1
proceedings of the american mathematical society Volume 44, Number 2, June 1974 PLANAR AND STRONGLY UNIFORM NEAR-RINGS1 GEORGE SZETO Abstract. The concept of a finite strongly uniform near-ring defined
More informationLeft Multipliers Satisfying Certain Algebraic Identities on Lie Ideals of Rings With Involution
Int. J. Open Problems Comput. Math., Vol. 5, No. 3, September, 2012 ISSN 2074-2827; Copyright c ICSRS Publication, 2012 www.i-csrs.org Left Multipliers Satisfying Certain Algebraic Identities on Lie Ideals
More informationThe Residual Spectrum and the Continuous Spectrum of Upper Triangular Operator Matrices
Filomat 28:1 (2014, 65 71 DOI 10.2298/FIL1401065H Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat The Residual Spectrum and the
More informationELEMENTARY LINEAR ALGEBRA
ELEMENTARY LINEAR ALGEBRA K R MATTHEWS DEPARTMENT OF MATHEMATICS UNIVERSITY OF QUEENSLAND First Printing, 99 Chapter LINEAR EQUATIONS Introduction to linear equations A linear equation in n unknowns x,
More informationDrazin Invertibility of Product and Difference of Idempotents in a Ring
Filomat 28:6 (2014), 1133 1137 DOI 10.2298/FIL1406133C Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Drazin Invertibility of
More informationA NOTE ON EXTENSIONS OF PRINCIPALLY QUASI-BAER RINGS. Yuwen Cheng and Feng-Kuo Huang 1. INTRODUCTION
TAIWANESE JOURNAL OF MATHEMATICS Vol. 12, No. 7, pp. 1721-1731, October 2008 This paper is available online at http://www.tjm.nsysu.edu.tw/ A NOTE ON EXTENSIONS OF PRINCIPALLY QUASI-BAER RINGS Yuwen Cheng
More informationSolution to Homework 1
Solution to Homework Sec 2 (a) Yes It is condition (VS 3) (b) No If x, y are both zero vectors Then by condition (VS 3) x = x + y = y (c) No Let e be the zero vector We have e = 2e (d) No It will be false
More informationMatrix Theory. A.Holst, V.Ufnarovski
Matrix Theory AHolst, VUfnarovski 55 HINTS AND ANSWERS 9 55 Hints and answers There are two different approaches In the first one write A as a block of rows and note that in B = E ij A all rows different
More informationOre Extensions of Extended Symmetric and Reversible Rings
International Journal of Algebra, Vol. 3, 2009, no. 9, 423-433 Ore Extensions of Extended Symmetric and Reversible Rings L moufadal Ben Yakoub and Mohamed Louzari Department of Mathematics, Abdelmalek
More informationMOORE-PENROSE INVERSE IN AN INDEFINITE INNER PRODUCT SPACE
J. Appl. Math. & Computing Vol. 19(2005), No. 1-2, pp. 297-310 MOORE-PENROSE INVERSE IN AN INDEFINITE INNER PRODUCT SPACE K. KAMARAJ AND K. C. SIVAKUMAR Abstract. The concept of the Moore-Penrose inverse
More informationOn Regularity of Incline Matrices
International Journal of Algebra, Vol. 5, 2011, no. 19, 909-924 On Regularity of Incline Matrices A. R. Meenakshi and P. Shakila Banu Department of Mathematics Karpagam University Coimbatore-641 021, India
More informationTROPICAL SCHEME THEORY
TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),
More informationRINGS ISOMORPHIC TO THEIR NONTRIVIAL SUBRINGS
RINGS ISOMORPHIC TO THEIR NONTRIVIAL SUBRINGS JACOB LOJEWSKI AND GREG OMAN Abstract. Let G be a nontrivial group, and assume that G = H for every nontrivial subgroup H of G. It is a simple matter to prove
More informationJordan Derivations on Triangular Matrix Rings
E extracta mathematicae Vol. 30, Núm. 2, 181 190 (2015) Jordan Derivations on Triangular Matrix Rings Bruno L. M. Ferreira Technological Federal University of Paraná, Professora Laura Pacheco Bastos Avenue,
More informationSang-baek Lee*, Jae-hyeong Bae**, and Won-gil Park***
JOURNAL OF THE CHUNGCHEONG MATHEMATICAL SOCIETY Volume 6, No. 4, November 013 http://d.doi.org/10.14403/jcms.013.6.4.671 ON THE HYERS-ULAM STABILITY OF AN ADDITIVE FUNCTIONAL INEQUALITY Sang-baek Lee*,
More informationON COMMUTATIVITY OF SEMIPRIME RINGS WITH GENERALIZED DERIVATIONS
Indian J. pure appl. Math., 40(3): 191-199, June 2009 c Printed in India. ON COMMUTATIVITY OF SEMIPRIME RINGS WITH GENERALIZED DERIVATIONS ÖZNUR GÖLBAŞI Cumhuriyet University, Faculty of Arts and Science,
More informationOn Reflexive Rings with Involution
International Journal of Algebra, Vol. 12, 2018, no. 3, 115-132 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ija.2018.8412 On Reflexive Rings with Involution Usama A. Aburawash and Muna E. Abdulhafed
More informationON REGULARITY OF RINGS 1
ON REGULARITY OF RINGS 1 Jianlong Chen Department of Mathematics, Harbin Institute of Technology Harbin 150001, P. R. China and Department of Applied Mathematics, Southeast University Nanjing 210096, P.
More informationA Generalization of VNL-Rings and P P -Rings
Journal of Mathematical Research with Applications Mar, 2017, Vol 37, No 2, pp 199 208 DOI:103770/jissn:2095-2651201702008 Http://jmredluteducn A Generalization of VNL-Rings and P P -Rings Yueming XIANG
More informationOn an Additive Characterization of a Skew Hadamard (n, n 1/ 2, n 3 4 )-Difference Set in an Abelian Group
Southern Illinois University Carbondale OpenSIUC Articles and Preprints Department of Mathematics 5-013 On an Additive Characterization of a Skew Hadamard (n, n 1/, n 3 )-Difference Set in an Abelian Group
More informationSEMIRINGS SATISFYING PROPERTIES OF DISTRIBUTIVE TYPE
proceedings of the american mathematical society Volume 82, Number 3, July 1981 SEMIRINGS SATISFYING PROPERTIES OF DISTRIBUTIVE TYPE ARIF KAYA AND M. SATYANARAYANA Abstract. Any distributive lattice admits
More informationP-Ideals and PMP-Ideals in Commutative Rings
Journal of Mathematical Extension Vol. 10, No. 4, (2016), 19-33 Journal ISSN: 1735-8299 of Mathematical Extension Vol. URL: 10, http://www.ijmex.com No. 4, (2016), 19-33 ISSN: 1735-8299 URL: http://www.ijmex.com
More informationSome results on primeness in the near-ring of Lipschitz functions on a normed vector space
Hacettepe Journal of Mathematics and Statistics Volume 43 (5) (014), 747 753 Some results on primeness in the near-ring of Lipschitz functions on a normed vector space Mark Farag Received 01 : 0 : 013
More informationA DECOMPOSITION OF E 0 -SEMIGROUPS
A DECOMPOSITION OF E 0 -SEMIGROUPS Remus Floricel Abstract. Any E 0 -semigroup of a von Neumann algebra can be uniquely decomposed as the direct sum of an inner E 0 -semigroup and a properly outer E 0
More informationMath113: Linear Algebra. Beifang Chen
Math3: Linear Algebra Beifang Chen Spring 26 Contents Systems of Linear Equations 3 Systems of Linear Equations 3 Linear Systems 3 2 Geometric Interpretation 3 3 Matrices of Linear Systems 4 4 Elementary
More informationMINIMAL POLYNOMIALS AND CHARACTERISTIC POLYNOMIALS OVER RINGS
JP Journal of Algebra, Number Theory and Applications Volume 0, Number 1, 011, Pages 49-60 Published Online: March, 011 This paper is available online at http://pphmj.com/journals/jpanta.htm 011 Pushpa
More informationA Generalization of Bernoulli's Inequality
Florida International University FIU Digital Commons Department of Mathematics and Statistics College of Arts, Sciences & Education 200 A Generalization of Bernoulli's Inequality Laura De Carli Department
More informationOne-sided clean rings.
One-sided clean rings. Grigore Călugăreanu Babes-Bolyai University Abstract Replacing units by one-sided units in the definition of clean rings (and modules), new classes of rings (and modules) are defined
More informationEP elements in rings
EP elements in rings Dijana Mosić, Dragan S. Djordjević, J. J. Koliha Abstract In this paper we present a number of new characterizations of EP elements in rings with involution in purely algebraic terms,
More informationInfinite-Dimensional Triangularization
Infinite-Dimensional Triangularization Zachary Mesyan March 11, 2018 Abstract The goal of this paper is to generalize the theory of triangularizing matrices to linear transformations of an arbitrary vector
More informationISOMORPHISM OF MODULAR GROUP ALGEBRAS OF ABELIAN GROUPS WITH SEMI-COMPLETE p-primary COMPONENTS
Commun. Korean Math. Soc. 22 (2007), No. 2, pp. 157 161 ISOMORPHISM OF MODULAR GROUP ALGEBRAS OF ABELIAN GROUPS WITH SEMI-COMPLETE p-primary COMPONENTS Peter Danchev Reprinted from the Communications of
More informationComment.Math.Univ.Carolinae 43,1 (2002) On algebra homomorphisms in complex almost f-algebras Abdelmajid Triki Abstract. Extensions of order b
Comment.Math.Univ.Carolinae 43,1 (2002)23 31 23 On algebra homomorphisms in complex almost f-algebras Abdelmajid Triki Abstract. Extensions of order bounded linear operators on an Archimedean vector lattice
More informationarxiv:math/ v2 [math.ra] 14 Dec 2005
arxiv:math/0512273v2 [math.ra] 14 Dec 2005 AUTOMORPHISMS OF THE SEMIGROUP OF ENDOMORPHISMS OF FREE ASSOCIATIVE ALGEBRAS A. KANEL-BELOV, A. BERZINS AND R. LIPYANSKI Abstract. Let A = A(x 1,...,x n) be a
More informationDERIVATIONS An introduction to non associative algebra (or, Playing havoc with the product rule)
DERIVATIONS An introduction to non associative algebra (or, Playing havoc with the product rule) Series 2 Part 6 Universal enveloping associative triple systems Colloquium Fullerton College Bernard Russo
More informationON IDEALS OF TRIANGULAR MATRIX RINGS
Periodica Mathematica Hungarica Vol 59 (1), 2009, pp 109 115 DOI: 101007/s10998-009-9109-y ON IDEALS OF TRIANGULAR MATRIX RINGS Johan Meyer 1, Jenő Szigeti 2 and Leon van Wyk 3 [Communicated by Mária B
More informationOn z -ideals in C(X) F. A z a r p a n a h, O. A. S. K a r a m z a d e h and A. R e z a i A l i a b a d (Ahvaz)
F U N D A M E N T A MATHEMATICAE 160 (1999) On z -ideals in C(X) by F. A z a r p a n a h, O. A. S. K a r a m z a d e h and A. R e z a i A l i a b a d (Ahvaz) Abstract. An ideal I in a commutative ring
More informationOptimization problems on the rank and inertia of the Hermitian matrix expression A BX (BX) with applications
Optimization problems on the rank and inertia of the Hermitian matrix expression A BX (BX) with applications Yongge Tian China Economics and Management Academy, Central University of Finance and Economics,
More informationLecture slide No.1 for Math 207a Winter 2019 Haruzo Hida
Lecture slide No.1 for Math 207a Winter 2019 Haruzo Hida Start with an n-dimensional compatible system ρ = {ρ l } of G K. For simplicity, we assume that its coefficient field T is Q. Pick a prime p and
More informationLesson 3. Inverse of Matrices by Determinants and Gauss-Jordan Method
Module 1: Matrices and Linear Algebra Lesson 3 Inverse of Matrices by Determinants and Gauss-Jordan Method 3.1 Introduction In lecture 1 we have seen addition and multiplication of matrices. Here we shall
More informationFormulae for the generalized Drazin inverse of a block matrix in terms of Banachiewicz Schur forms
Formulae for the generalized Drazin inverse of a block matrix in terms of Banachiewicz Schur forms Dijana Mosić and Dragan S Djordjević Abstract We introduce new expressions for the generalized Drazin
More information