Jordan Triple Derivation on Alternative Rings | OMICS International
ISSN: 1736-4337
Journal of Generalized Lie Theory and Applications

# Jordan Triple Derivation on Alternative Rings

Ferreira BLM* and Ferreira RN

Centro de Matematica, Computacao e Cognicao, Universidade Federal do ABC, Av. dos Estados 5001, 09210-580, Santo Andre, Brazil

*Corresponding Author:
Ferreira BLM
Centro de Matematica, Computacao e Cognicao
09210-580, Santo Andre, Brazil
Tel: +55 (41) 3310-4545
E-mail: [email protected]

Received Date: May 26, 2017; Accepted Date: July 26, 2017; Published Date: July 31, 2017

Citation: Ferreira BLM, Ferreira RN (2017) Jordan Triple Derivation on Alternative Rings. J Generalized Lie Theory Appl 11: 275. doi: 10.4172/1736-4337.1000275

Copyright: © 2017 Ferreira BLM, et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.

Visit for more related articles at Journal of Generalized Lie Theory and Applications

#### Abstract

Let D be a mapping from an alternative ring into itself satisfying D(a⋅ba)= D(a)⋅ba+aD(b)a+abD(a) for all a, b . Under some conditions on , we show that D is additive.

#### Keywords

Alternative ring; Idempotent element; Maps; Additivity

#### Introduction

In this paper, will be a ring not necessarily associative or commutative and consider the following convention for its multiplication operation: xy⋅z=(xy)z and x⋅yz=x(yz) for x, y, z, to reduce the number of parentheses. For x; y; z we denote the associator by (x, y, z)=(xy)z-x(yz).

A ring is called k-torsion free if kx=0 implies x=0; for any x ; where, prime if IJ≠0 for any two nonzero ideals I, J and semiprime if it contains no nonzero ideal whose square is zero.

A ring is said to be alternative if,

(x, x, y)=0=(y, x, x), for all x, y

and flexible if,

(x, y, x)=0, for all x, y

One easily sees that any alternative ring is flexible.

Theorem 1.1 Let be a 3-torsion free alternative ring. So is a prime ring if and only if implies a=0 or b=0 for

Proof: Clearly all alternative rings satisfying the properties are prime rings. Suppose is a prime ring by [1] Lemma 2:4, Theorem A and Proposition 3:5] we have is a chain of subrings of . If hence follows [1] Proposition 3.5 (e)] that a=0 or b=0.

A mapping is Jordan triple multiplicative derivation if,

for all a, b. It is worth noting that by the flexible identity of alternative rings we can write,

for all a, b. Let us consider an alternative ring and let us x a nontrivial idempotent is not an unity element. Let be given by e2a=ae1a and . We shall denote by ae2. Note that need not have an identity element. The operation x(1 – y) for x, y is understood as xxy: It is easy to see that and i, j=1, 2. Then has a Peirce decomposition , where (i, j=1, 2), satisfying the multiplicative relations:

Remark 1.1

By the linearization of (iv) we obtain,

xijyij+yijxij=0

if ij. This identity is very useful for the main result to be verified.

The study of the relationship between the multiplicative and the additive structures of a ring has become an interesting and active topic in ring theory. In non-associative ring theory we can mention recent works such as [2-5] where the authors generalized the results for a class of non-associative rings, namely alternative rings. The present paper we investigate the problem of when a Jordan triple multiplicative derivation must be an additive map for the class of alternative rings. The hypotheses of the main Theorem allow the author to make its proof based on calculus using the Peirce decomposition notion for Alternative rings. But it is worth noting that the notion of Peirce decomposition for the alternative rings is similar to the notion of Peirce decomposition for the associative rings. However, the similarity of this notion is only in its written form, but not in its theoretical structure because the Peirce decomposition for alternative rings is the generalization of the Peirce decomposition for associative rings. The symbol “⋅”, as defined in the introduction section of our article, is essential to elucidate how the non-associative multiplication should be done, and also the symbol “⋅” is used to simplify the notation. Therefore, the symbol “⋅” is crucial to the logic, characterization and generalization of associative results to the alternative results. In this paper we shall continue the line of research introduced in refs. [6,7] where its authors demonstrate the following results.

Theorem 1.2

Let be an alternative ring containing a non-trivial idempotent e1 and , the Peirce Decomposition of ; relative to e1, satisfying:

for i, j, k ∈ {1, 2}. If is a multiplicative derivation, then D is additive.

And,

Theorem 1.3

Let be an alternative ring containing a non-trivial idempotent e1 and , the Peirce Decomposition of , relative to e1, satisfying:

for i, j, k ∈ {1, 2}. If is a Jordan multiplicative derivation, then D is additive.

#### The Main Theorem

We shall prove the following result:

Theorem 2.1

Let be an alternative ring containing a non-trivial idempotent e1 and , the Peirce Decomposition of ; relative to e1, satisfying:

for i, j 2 {1; 2}. If is a Jordan triple multiplicative derivation, then D is additive.

The proof of the Theorem is organized as a series of Lemmas.

We begin with the following Lemma with a simple proof.

Lemma 2.1:

Proof:

Lemma 2.2:

Proof: For any xij, i, j=1, 2, on one hand, we have,

On the other hand,

These imply that,

where we use the flexible identity. By the flexible identity we note that for any i, j=1, 2, we have,

Then, for i, j=1, 2, we get,

By Condition (iii), we see that,

Equivalently,

Lemma 2.3:

Proof: We will prove only (1) because the proof of (2) is similar to (1). By Remark 1.1 we note that,

By applying Lemma 2.2, Remark 1.1 and flexible identity we have,

To Prove (2) just use the identity.

Lemma 2.4:

Proof: For any , i, j=1, 2, from,

we can get,

This implies, by conditions of the Theorem 2.1 that,

This completes the proof.

Lemma 2.5:

Proof: Let akk and bkk be arbitrary elements of , k=1; 2. By considering for the cases of ij and i=j respectively, one can easily get that,

where in the second identity i=jk: Now we have only to prove that,

with k=j. For any , from,

r11x12=(e1+r11)x12(e1+r11) (1)

and,

x12r22=(e1+r22)x12(e1+r22) (2)

can check, by (1) and (2) that,

(3)

(4)

Now, applying equality (3) for r11=a11+b11, r11=a11 and r11=b11 and applying equality (4) for r22=a22+b22, r22=a22 and r22=b22, we can get,

It follows from Condition (i) and (ii) of the Theorem 2.1 that , with k=j, which completes the proof.a

Now we are ready to prove our main result.

Proof of the Theorem 2.1: For any a; b, we write a=a11+a12+a21+a22 and b=b11+b12+b21+b22. Applying the previous Lemmas, we have,

#### Applications in Prime Alternative Rings

In the case of an unital alternative ring we have.

Corollary 3.1

Let be an unital alternative ring containing a non-trivial idempotent e1 and ; the Peirce Decomposition of ; relative to e1; satisfying:

for i; j ∈ {1; 2}. If is a Jordan triple multiplicative derivation, then D is additive.

As a last result of our paper follows the Corollary.

Corollary 3.2

Let be a 3-torsion free prime unital alternative ring with a nontrivial idempotent. If mapping satisfies,

for all a, b, then D is additive.

#### References

Select your language of interest to view the total content in your interested language

### Article Usage

• Total views: 483
• [From(publication date):
August-2017 - Sep 19, 2018]
• Breakdown by view type
• HTML page views : 440

Peer Reviewed Journals

Make the best use of Scientific Research and information from our 700 + peer reviewed, Open Access Journals
International Conferences 2018-19

Meet Inspiring Speakers and Experts at our 3000+ Global Annual Meetings

### Conferences By Subject

Dr. Krish

+1-702-714-7001Extn: 9040

Datta A

1-702-714-7001Extn: 9037

Ronald

1-702-714-7001Extn: 9042

Chemistry Journals

Gabriel Shaw

1-702-714-7001Extn: 9040

Clinical Journals

Datta A

1-702-714-7001Extn: 9037

Engineering Journals

James Franklin

1-702-714-7001Extn: 9042

Food & Nutrition Journals

Katie Wilson

1-702-714-7001Extn: 9042

General Science

Andrea Jason

1-702-714-7001Extn: 9043

Genetics & Molecular Biology Journals

Anna Melissa

1-702-714-7001Extn: 9006

Immunology & Microbiology Journals

David Gorantl

1-702-714-7001Extn: 9014

Materials Science Journals

Rachle Green

1-702-714-7001Extn: 9039

Nursing & Health Care Journals

Stephanie Skinner

1-702-714-7001Extn: 9039

Medical Journals

Nimmi Anna

1-702-714-7001Extn: 9038

Neuroscience & Psychology Journals

Nathan T

1-702-714-7001Extn: 9041

Pharmaceutical Sciences Journals

Ann Jose

1-702-714-7001Extn: 9007

Social & Political Science Journals

Steve Harry

1-702-714-7001Extn: 9042

© 2008- 2018 OMICS International - Open Access Publisher. Best viewed in Mozilla Firefox | Google Chrome | Above IE 7.0 version