ABSTRACT
In this paper, we show that for semi-prime rings of two-torsion free and 6-centrally torsion free, given a multiplicative centrally-extended derivation δ and a multiplicative centrally-extended epimorphism ϕ we can find a central ideal K and maps such as Δ and Φ are multiplicative derivation and multiplicative epimorphism, respectively.
KEYWORDS:
1. Introduction
Let S be a ring. A mapping is a derivation if it satisfies and for all . During the previous few decades, many researchers have dealt with the idea of studying rings, especially the prime and semi-prime kinds endowed with derivations and other related kinds of maps like generalized derivations, derivations, left multipliers, and many other types.
Recently in Ref. [Citation1], Bell and Daif gave two concepts. Firstly, a centrally-extended derivation (CE-derivation) of a ring S with centre to be a mapping Ω of S satisfying for each and . Secondly, a centrally-extended endomorphism (CE-endomorphism) of a ring S with centre to be a mapping ℏ of S satisfying for each and . They discussed the existence of such maps, which are a proper generalization of derivations and endomorphisms. Moreover, they studied their influence on and ring commutativity.
As straightforward generalizations of Ref. [Citation1], the authors in Refs. [Citation2,Citation3] gave the definitions of CE-reverse derivations, CE-generalized reverse derivations, and CE-generalized derivations endowed with involution. They got similar results as Bell and Daif did in Ref. [Citation1]. In Refs. [Citation4,Citation5], the authors generalize well-known results related to derivations using the new mapping given in Ref. [Citation1].
In Ref. [Citation6], Martindale gave the concept of multiplicative isomorphism as a one-to-one mapping ϑ of a ring R onto a ring S such that for all is called a multiplicative isomorphism of R onto S. He answered his question: “When is a multiplicative mapping additive?” for a ring S which satisfies some conditions.
In Ref. [Citation7], Daif answered that question when the mapping is a multiplicative derivation on S. Generalizations of this idea have been done for the cases of multiplicative-generalized derivations and multiplicative left centralizers in Refs. [Citation8,Citation9].
In Ref. [Citation10], the authors introduced the notion of a multiplicative CE-derivation to be a mapping δ defined on a ring S such as for all , i.e. where is a central element depends on the choice of r and t that are related to the map δ. They asked the following natural question on a multiplicative CE-derivation: “When is a multiplicative CE-derivation a CE-derivation?” Under some conditions, they gave an affirmative answer to this question. As a parallel idea to that given in Ref. [Citation10], we introduce the following definition:
Definition 1.1
A multiplicative CE-endomorphism of a ring S is a mapping ϕ of S such as for all where is a central element depends on the choice of r and t that are related to the map ϕ.
In this paper, we show, under some conditions, that every multiplicative CE-derivation (multiplicative CE-epimorphism) is a multiplicative derivation (multiplicative epimorphism) in the sense of Ref. [Citation7]. Furthermore, we indicate that S contains ideals of certain types.
The following example shows that multiplicative CE-derivations are a proper generalization of CE-derivations.
Example 1.1
Let D be any integral domain, S is a ring with centre Define the following maps given by It is easily to show that δ is a multiplicative CE-derivation but not a CE-additive map and so it is not a CE-derivation and ϕ is a multiplicative CE-endomorphism but not a CE-additive map and so it is not a CE-endomorphism. Also, .
Remark 1.1
An important consideration would be ideals in the centre of S. If I is an ideal in , then any map is a multiplicative CE-derivation. Furthermore, , where δ is any multiplicative CE-derivation, will also be a multiplicative CE-derivation. Thus it seems that one cannot hope to say anything specific about the image of f. For example, does not need to be zero. It can be any element in an ideal in the centre of S. One way to hope to get specific results is to assume that S has no non-zero central ideals.
Let S be a two-torsion free, 6-centrally torsion-free semi-prime ring with a multiplicative CE-derivation δ (a multiplicative CE-epimorphism ϕ). We show that the set is a central ideal. The map is well-defined on the cosets S/K. Δ is a multiplicative derivation (Φ is a multiplicative epimorphism ).
For notation, we use to indicate the ideal created by a set A. Thus is the ideal created by all commutators and is the ideal generated by all double commutators. We use to indicate the centre of the ring S. We use the identities and frequently. In our work, we suppose that S is a semi-prime ring and is a multiplicative CE-endomorphism. We use the congruence to mean . Also, doesn't imply where .
2. Preliminaries
We begin this section with some preliminaries which play a substantial role in the main theorem's proof.
Remark 2.1
The centre of a semi-prime ring has no non-zero nilpotent elements.
Lemma 2.1
For all .
Proof.
Since Thus, .
Thus, .
Remark 2.2
In Lemma 2.1, one can replace m by and n by where ϕ is a multiplicative CE-endomorphism defined in Definition 1.1. Therefore, Thus,
Lemma 2.2
For all , we have .
Proof.
Expanding in the two possible associations gives: (1) (1) (2) (2) Subtracting (Equation1(1) (1) ) from (Equation2(2) (2) ) gives: Since is contained in the centre of S. We have . The other congruence is immediate from this one.
In Lemma 2.2, replacing the multiplicative CE-derivation δ by the multiplicative CE-endomorphism ϕ and using an analogous proof, we get
Lemma 2.3
for all .
Lemma 2.4
Assuming that . Then .
Proof.
Expanding in two different associations gives: (3) (3) (4) (4) Subtracting (Equation4(4) (4) ) from (Equation3(3) (3) ) gives: Using Lemma 2.2, we get: .
In Lemma 2.4, replacing δ by ϕ and using Lemma 2.3, one can get an analogous proof for the following lemma:
Lemma 2.5
Assuming that: (5) (5) Then .
Lemma 2.6
For all , is an alternating map on its four arguments modulo the centre of S.
Proof.
From the definition of f in Lemma 2.4, we get: (6) (6) (7) (7) Adding (Equation6(6) (6) ) to (Equation7(7) (7) ) gives: Looking at the map we know that . It is well known also that . Since the two permutations (12) and (1234) generate all members of the symmetric group on four elements, we have shown that is an alternating map on its four arguments modulo the centre of S.
The following lemma arises from the definition of h in Lemma 2.5 with a similar proof of Lemma 2.6.
Lemma 2.7
For all , is an alternating map on its four arguments modulo the centre of S.
Definition 2.1
A ring S is said to be n-centrally torsion-free if gives for any .
Lemma 2.8
Let S be a 6-centrally torsion-free semi-prime ring, then for all , .
Proof.
Using the definition of f in Lemma 2.4, we have (8) (8) (9) (9) (10) (10) (11) (11) (12) (12) (13) (13) Adding Equations (Equation8(8) (8) )–(Equation13(13) (13) ) gives: These are all even permutations of . Using Lemma 2.6, we have which implies by assumption, that is . Therefore
Again, using the definition of h in Lemmas 2.5, 2.7, and a similar proof to the proof of Lemma 2.8 gives:
Lemma 2.9
Let S be a 6-centrally torsion-free semi-prime ring. Then for all , .
Lemma 2.10
Let S be a two-torsion-free and a 6-centrally torsion-free semi-prime ring. For all , .
Proof.
By Lemmas 2.1 and 2.8, we get Since S is two-torsion-free, this gives . Hence that squares to zero. Using Remark 2.1, we arrive to .
By Remark 2.2, Lemma 2.9, Remark 2.1, and similar parallel steps to the proof of Lemma 2.10 give:
Lemma 2.11
Let S be a two-torsion-free and a 6-centrally torsion-free semi-prime ring, and ϕ be a multiplicative CE-endomorphism. For all , . Moreover, if ϕ is a multiplicative CE-epimorphism, then .
Lemma 2.12
Let ℓ be an element of a semi-prime ring S. If and then .
Proof.
Assume . Then the following are satisfied for all .
.
.
The equality holds because with the equality established, it is clearly an ideal.
. By semi-prime, .
, therefore . And, , therefore .
Throughout the rest of this paper, the map ϕ will always refer to a multiplicative CE-epimorphism.
Remark 2.3
Using Lemmas 2.10, 2.11 and 2.12, the ideals and for all are central ideals.
Lemma 2.13
Let S be a semi-prime ring. If I is a central ideal in S, then .
Proof.
If then because . Since is an ideal in S, which squares to zero, .
Lemma 2.14
Let S be a semi-prime ring. Then the set satisfies the following.
K is an ideal in S.
K is a central ideal, i.e. .
Proof.
(1) Let , then Then K is an ideal in S.
(2) For and by the definition of the set K, and are elements in . Therefore, . Using Remark 2.1 and S is a semi-prime ring, we arrive at so .
Lemma 2.15
Let S be a two-torsion-free and a 6-centrally torsion-free semi-prime ring. Then the ideal K, defined in Lemma 2.14, satisfies the following.
.
For all and and .
Proof.
(1) Using Lemma 2.10, for all , we have and Therefore . Similarly, using Lemma 2.11, one can get .
(2) For , we have and Since by (2) of Lemma 2.14, subtracting gives Thus, using (1) and Lemma 2.13, . Thus (14) (14) Similarly, using analogues steps to the above, we get and Since by (2) of Lemma 2.14, subtracting gives Thus, using (1) and Lemma 2.13, . Thus (15) (15) Using (Equation14(14) (14) ), (Equation15(15) (15) ), and Lemma 2.12, we arrive at .
Similar steps to the above proof, using (2) of Lemma 2.14, (1) of Lemmas 2.15, 2.12, and 2.13, one can get the case of epimorphism, that is .
Since K contains all central ideals, and belong to K.
3. Main results
A mapping preserves the set if . It is well known that is preserved by derivations and epimorphisms. In Ref. [Citation1], the invariance problem for by CE-derivations and CE-epimorphisms was studied. The authors showed that CE-derivation and CE-epimorphism do not preserve the centre of the ring in general (see [Citation1, Examples 3.1 and 3.2]). They showed that if a ring does not contain non-zero central nilpotent elements, then every CE-derivation and every CE-epimorphism preserves the centre (see [Citation1, Theorems 3.3 and 3.4]). Also, they proved that every CE-derivation and every CE-epimorphism that preserves the centre preserves the set K. Similarly, we will show, in the following theorem, that the maps δ and ϕ preserve as well as the ideal K.
Theorem 3.1
Let S be a two-torsion-free and a 6-centrally torsion-free semi-prime ring, and δ, ϕ are multiplicative CE-derivation and multiplicative CE-epimorphism, respectively. Then
δ and ϕ preserve the centre , i.e. and .
δ and ϕ preserve the ideal K, i.e. .
Proof.
(1) For and , we have (16) (16) and (17) (17) Subtracting (Equation17(17) (17) ) from (Equation16(16) (16) ), we get which gives However, by Lemma 2.10, . So, is a central element that squares to zero. By semi-primeness and Remark 2.1, i.e. .
Similar arguments to the previous case, Lemma 2.11 and Remark 2.1, give us .
(2) Let and . Then we have (18) (18) and (19) (19) Adding (Equation18(18) (18) ) and (Equation19(19) (19) ) and using part (1) and the definition of K, we get . Therefore, .
Again, similar arguments to the previous case, give us .
The following example shows that the conditions two-torsion-free and a 6-centrally torsion-free semi-prime are necessarily in the previous theorem.
Example 3.1
Let be the sub-ring of the ring of integers . is a ring with centre Define the following map given by Clearly, Ω is a multiplicative CE-derivation (multiplicative CE-endomorphism) and a CE-additive map. A CE-derivation (CE-endomorphism). Also, both and K are not invariant under Ω.
Using (2) of Lemma 2.15, one can easily show that the maps that are given by , and are well-defined. Also, , by (1) of Lemma 2.15. So, we arrive at the proof of the following main result.
Theorem 3.2
Let S be a two-torsion-free and a 6-centrally torsion-free semi-prime ring, δ a multiplicative CE-derivation (ϕ a multiplicative CE-epimorphism) on S. Then there exists a central ideal K and a multiplicative derivation (a multiplicative epimorphism ) given by .
Example 3.2
Let S be the semi-prime ring . Then , where , and . Define the multiplicative CE-derivation by and the multiplicative CE-epimorphism by and . Direct computations give us and defined by is a CE-derivation and defined by is a CE-epimorphism.
Now, let S contains no non-zero central ideals, δ be a CE-derivation, and ϕ be a CE-epimorphism. Then δ is additive by Bell and Daif [Citation1, Theorem 2.4], and ϕ is additive by Bell and Daif [Citation1, Theorem 2.7]. Also, the ideal K will be the zero ideal. So, the following result comes immediately.
Corollary 3.1
Let S be a semi-prime ring that has no non-zero central ideals. Then every CE-derivation δ (CE-epimorphism ϕ) is a derivation (an epimorphism).
4. Conclusion
Let S be a two-torsion-free and a 6-centrally torsion-free semi-prime ring, and δ, ϕ are multiplicative CE-derivation and multiplicative CE-epimorphism, respectively. Then the set is a central ideal and the following results are satisfied
δ and ϕ preserve the centre ,
δ and ϕ preserve the ideal K,
There exists a multiplicative derivation given by and a multiplicative epimorphism given by .
Acknowledgements
The authors are indebted to Professor I. R. Hentzel, Iowa State University, for his helpful discussions about the idea of this work and his valuable comments and suggestions.
Disclosure statement
No potential conflict of interest was reported by the author(s).
References
- Bell HE, Daif MN. On centrally-extended maps on rings. Beitr Algebra Geom. 2016;57:129–136. DOI:10.1007/s13366-015-0244-8
- El-Deken SF, El-Soufi MM. On centrally extended reverse and generalized reverse derivations. Indian J Pure Appl Math. 2020;51:1165–1180. DOI:10.1007/s13226-020-0456-y
- El-Deken SF, Nabiel H. Centrally-extended generalized *-derivations on rings with involution. Beitr Algebra Geom. 2019;60:217–224. DOI:10.1007/s13366-018-0415-5
- Muthana NM, Alkhamisi ZS. On centrally-extended multiplicative (generalized)- (α,β)-derivations in semiprime rings. Hacet J Math Stat. 2020;49:578–585. DOI:10.15672/hujms.568378
- Tammam El-Sayiad MS, Muthana NM, Alkhamisi ZS. On rings with some kinds of centrally-extended maps. Beitr Algebra Geom. 2016;57:579–588. DOI:10.1007/s13366-015-0274-2
- Martindale III WS. When are multiplicative mappings additive? Proc Amer Math Soc. 1969;21:695–698. DOI:10.1090/S0002-9939-1969-0240129-7
- Daif MN. When is a multiplicative derivation additive? Int J Math Math Sci. 1991;14:615–618. DOI:10.1155/S0161171291000844
- Daif MN, Tammam El-Sayiad MS. Multiplicative generalized derivations which are additive. East-West J Math. 2007;9:31–37.
- Tammam El-Sayiad MS, Daif MN, De Filippis V. Multiplicativity of left centralizers forcing additivity. Bol Soc Paran Mat. 2014;32:61–69. DOI:10.5269/bspm.v32i1.17274
- Tammam El-Sayiad MS, Ageeb A, Khaled AM. What is the action of a multiplicative centrally-extended derivation on a ring? Georgian Math J. 2022;29:607–613. DOI:10.1515/gmj-2022-2164