The notion of G-ring was introduced as a generalized extension of the concept on classical ring. From its first appearance, the extensions and the generalizations of various important results in the theory of classical rings to the theory of G-rings have attracted a wider attention as an emerging field of research to enrich the world of algebra. A good number of prominent mathematicians have worked on this interesting area of research to develop many basic characterizations of G-rings. Nobusawa [1] first introduced the notion of a G-ring and showed that G-rings are more general than rings. Barnes [2] slightly weakened the conditions in the definition of G-ring in the sense of Nobusawa. Barnes [2] , Luh [3] , Kyuno [4] , Hoque and Pual [5] - [7] , Ceven [8] , Dey et al. [9] [10] , Vukman [11] and others obtained a large number of important basic properties of G-rings in various ways and developed more remarkable results of G-rings. We start with the following necessary introductory definitions.

Let M and G be additive abelian groups. If there exists an additive mapping of which satisfies the conditions:

1),

2),

3), then M is called a G-ring [2] . Every ring M is a G-ring with M = G. However a G- ring need not be a ring. Let M be a G-ring. Then M is said to be prime if with, implies or and semiprime if with implies. Furthermore, M is said to be a commutative G-ring if for all and. Moreover, the set is called the center of the G-ring M. If M is a G-ring, then is known as the commutator of x and y with respect to, where and. We make the following basic commutator identities:

for all and. Now, we consider the following assumption:

A......., for all and.

According to assumption (A), the above commutator identities reduce to and, which we will extensively used.

During the past few decades, many authors have studied derivations in the context of prime and semiprime rings and G-rings with involution [11] - [14] . The notion of derivation and Jordan derivation on a G-ring were defined by [15] . Let M be G-ring. An additive mapping is called a derivation if for all and. An additive mapping is called a Jordan derivation if for all and.

Definition 1 [16] . An additive mapping on a G-ring M is called an involution if and for all and. A G-ring M equipped with an involution is called a G-ring M with involution.

Definition 2. An element x in a G-ring M with involution is said to be hermitian if and skew-hermi- tian if. The sets of all hermitian and skew-hermitian elements of M will be denoted by and, respectively.

Example 1. Let F be a field, and be a set of all diagonal matrices of order 2, with respect to the usual operation of addition and multiplication on matrices and the involution * on be defined by

with, then we get and.

Definition 3. An additive mapping is called a -derivation if for all and.

To further clarify the idea of -derivation, we give the following example.

Example 2. Let R be a commutative ring with characteristic of R equal 2. Define and, then M and are abelian groups under addition of matrices and M is a G-ring under multiplication of matrices.

Define a mapping by.

To show that d is a -derivation, let

, ,

then

Now,

since, this implies that then . Hence, d is a -derivation.

Definition 4. An additive mapping is called Jordan -derivation if for all and.

Every -derivation is a Jordan -derivation, but the converse in general is not true as shown by the following example

Example 3. Let M be a G-ring with involution and let such that and for all and, but for some such that.

Define a mapping by for all and. To show that d is a Jordan -derivation, we have on the one hand that

for all and. On the other hand,

for all and. If we compare Equations ((3), (4)), we get

then after reduction we get that d is a Jordan -derivation. Now to show that d is not a -derivation, we have on the one hand that

for all and. On the other hand

for all and. If we compare Equations ((5), (6)), we get

then after reduction we get that d is not a -derivation.

In this paper we will prove that if a non-zero Jordan -derivation d of a 2-torsion free semiprime G-ring M with involution satisfies for all and, then.

To prove our main results we need the following lemmas.

Lemma 1. Let M be a 2-torsion free semiprime G-ring with involution and be a Jordan - derivation which satisfies for all and, then for all and.

Proof. We have

for all and. Putting for x in (7), we get

for all and. Therefore,

for all and. Setting in the above relation, we get

for all and, because of

for all and. According to (9) and (10), we get

for all and. Then from relation (11)

for all and. Since, then, and hence from the above relation

for all and. Therefore,

for all and. Then by using assumption (A), we obtain

for all and. And

for all and. Then from (13),

for all and. Since, then from the above relation

hence by using assumption (A), we obtain

for all and. Therefore,

for all and. Then from relation (15),

for all and. By using relation (15) and assumption (A), we get

for all and. Since M is 2-torsion free, we get

for all and. Right multiplication of (17) by and using assumption (A), we get

for all and. By semiprimeness of M, we have

for all and. Left multiplication of (19) by z yields

for all and. By semiprimeness of M again, we get for all and. W

Lemma 2 Let M be a 2-torsion free semiprime G-ring with involution and be a Jordan - derivation which satisfies for all and, then for all and.

Proof. Putting for x in (7),

for all and. By using Lemma (1), we get

for all and. Replacing x by and y by yields

for all and. Setting, we get

for all and. But

for all and. So then from (23) and (24), we get

for all and. Hence,

for all and. Since, then, hence from the above relation,

for all and. Therefore,

for all and. Since, we obtain

for all and. Then from relation (27),

for all and. By using relation (27) again,

for all and. Since M is 2-torsion free, we get

for all and. Right multiplication by z yields

for all and. By semiprimeness of M, we therefore get for all and. W

Remark 1 [17] . A G-ring M is called a simple G-ring if and its ideals are 0 and M.

Remark 2. Let M be a 2-torsion free simple G-ring with involution, then every can be uniquely represented in the form where and.

Proof. Define, , since 2M is an ideal of M and M is simple, it implies that. So for every, makes sense and so we can write

Now

hence

and

hence

Therefore

hence. Let, then and, so and. Therefore which implies that, so. Thus. Hence implies that where and. W

Theorem 1. Let M be a 2-torsion free semiprime G-ring with involution and be a Jordan - derivation which satisfies for all and and or for all, and, then for all and.

Proof. Assume that for all, and. By using Lemma (1), we have

for all and. For, putting for h in (31) yields

for all and. By using relation (31), we obtain

for all and. Since for all, then replace by in (32), to get

for all, and. By using Lemma (2), we have

for all and. According to relations (33) and (34), we get

for all and. By using Lemma (2), we get

for all and. Then from relation (35),

for all, and. Therefore since, we obtain

for all, and. Hence,

for all, and. Therefore,

for all, and. Then by using (37), we get

for all, and. Since M is 2-torsion free, we get

for all, and. Right multiplication of relation (39) by z yields

for all, and. By semiprimeness of M, we get

for all, and. Putting s for x and h for y in relation (21), we get

for all, and. Comparing relations (41) and (42), we get

for all, and. Since for all, then from relation (43), we obtain

for all, and. Then

for all, and. Since for all, and, then from relation (45), we get

for all, and. Hence

for all, and. Then from relation (47),

for all, and. Then by using (47), we get

for all, and. Since M is 2-torsion free, we get

for all, and. Right multiplication of the relation (49) by z we get

for all, and. By semiprimeness of M, we get

for all, and. To prove, since M is 2-torsion free, we only show

for all and. By using Remark 2, we have for all and that for all and. Therefore

for all, and. Hence

for all, and. By using Lemma (1), Lemma (2) and relation (41), (51), we get

Now assume for all, and. Since for all, then we get

for all, and. Then from relation (54), we obtain

for all, and. Since for all, and, then from relation (55), we get

for all, and. Hence

for all, and. Then from relation (57),

for all, and. Then by using relation (57) we get

for all, and. Since M is 2-torsion free, we get

for all, and. Right multiplication of relation (59) by z yields

for all, and. By semiprimeness of M, we get

for all, and. Comparing relations (42) and (61), we get

for all, and. Since for all, then from (62), we obtain

for all, and. Then,

for all, and. Since for all, and, then from relation (64), we get

for all, and. Hence

for all, and. Then from relation (66)

for all, and. Then by using (66) we get

for all, and. Since M is 2-torsion free, we get

for all, and. Right multiplication of relation (68) by z yields

for all, and. By semiprimeness of M, we get

for all, and. Therefore, by using Lemma (1), Lemma (2) and relation (61), (70), we get a similar result as the first assumption for all and, and hence the proof of the theorem is complete. W

This work is supported by the School of Mathematical Sciences, Universiti Sains Malaysia under the Short-term Grant 304/PMATHS/6313171.

Ali Kareem,Hajar Sulaiman,Abdul-Rahman Hameed Majeed, (2016) Jordan Γ*-Derivation on Semiprime Γ-Ring M with Involution. Advances in Linear Algebra & Matrix Theory,06,40-50. doi: 10.4236/alamt.2016.62006