REVERSIBLE RING PROPERTY VIA IDEMPOTENT ELEMENTS HANDAN KOSE, BURCU UNGOR, AND ABDULLAH HARMANCI Abstract. Regarding the question of how idempotent elements affect re- versible property of rings, we study a version of reversibility depending on idempotents. In this perspective, we introduce right (resp., left) e-reversible rings. We show that this concept is not left-right symmetric. Basic proper- ties of right e-reversibility in a ring are provided. Among others it is proved that if R is a semiprime ring, then R is right e-reversible if and only if it is right e-reduced if and only if it is e-symmetric if and only if it is right e- semicommutative. Also, for a right e-reversible ring R, R is a prime ring if and only if it is a domain. It is shown that the class of right e-reversible rings is strictly between that of e-symmetric rings and right e-semicommutative rings. 2010 MSC: 16U80, 16D80, 16N60, 16S50 Keywords: Reversible ring, e-reduced ring, e-symmetric ring, e-semicommutative ring, idempotent element 1. Introduction Throughout this paper, all rings are associative with identity. For a ring R, let N(R), Id(R) and C(R) denote the set of all nilpotents, the set of all idempotents and the center of R, respectively. We denote the n × n full (resp., upper triangular) matrix ring over R by Mn(R) (resp., Un(R)), and Dn(R) stands for the subring of Un(R) having all diagonal entries are equal and Vn(R) = {(aij ) ∈ Dn(R) | aij = arXiv:2011.10843v1 [math.RA] 21 Nov 2020 a(i+1)(j+1) for i = 1,...,n − 2 and j = 2,...,n − 1} a subring of Dn(R) and Eij denote the matrix unit in Mn(R) whose (i, j)-th entry is 1 and the others are zero. The rings Z and Zn denote the ring of integers and the ring of integers modulo n where n is an integer with n ≥ 2. A ring is usually called reduced if it has no nonzero nilpotents. In [2], a ring R is called reversible if ab = 0 implies ba = 0 for a, b ∈ R. In [1] it is used the term ZC2 for the reversible property. Lambek in [12] calls a ring R symmetric if, for all a, b, c ∈ R, abc = 0 implies acb = 0. ZC3 is used for symmetricity for rings in [1]. Reduced rings are both reversible and symmetric in [13]. e-symmetric rings and right(left) e-reduced rings are introduced as a generalization of symmetric rings and 1 2 H.KOSE,B.UNGOR,ANDA.HARMANCI reduced rings respectively. Let R be a ring and e ∈ Id(R). The ring R is called e-symmetric if abc = 0 implies acbe = 0 for all a, b, c ∈ R, and also R is called right (resp., left) e-reduced if N(R)e = 0 (resp., eN(R) = 0). It is proved that right e-reduced rings are e-symmetric. An idempotent e of a ring R is called left (resp., right) semicentral if ae = eae (resp., ea = eae) for each a ∈ R. In [10], a ring R is called right (resp. left) e-semicommutative if for any a, b ∈ R, ab = 0 implies aRbe = 0 (resp. eaRb = 0), R is e-semicommutative in case R is both right and left e-semicommutative. Every commutative ring and every right e-reduced ring is a right e-semicommutative ring. 2. Right e-reversible rings In this section we deal with a generalization of an e-symmetric ring and that of a reduced ring, which shall be said to be e-reversible. e-reversible context also generalizes e-reduced concept in [13]. We show that reduced rings are e-reversible, and next that the class of e-reversible rings is quite large. For a ring R we investigate the idempotents of Dn(R) and some subrings of Mn(R) where n ≥ 2, and apply this to observe the relation between the e-reversibility of R and the E-reversible ring property of D3(R) and some subrings of Mn(R). Definition 2.1. Let R be a ring and e ∈ Id(R) with e 6= 0. Then R is called right e-reversible (resp., left e-reversible) if for any a, b ∈ R, ab = 0 implies bae = 0 (resp., eba = 0). The ring R is e-reversible if it is both left and right e-reversible. In the next result, we give a characterization of right e-reversibility in terms of subsets of rings and its proof is straightforward. Proposition 2.2. The following are equivalent for a ring R. (1) R is right e-reversible. (2) For any nonempty subsets A, B of R, being AB =0 implies BAe =0. Clearly, a ring R is reversible if and only if R is 1-reversible. The following example shows that e-reversibility is not left-right symmetric. Also, the reversibility of a ring with respect to an idempotent e depends on e. There are rings R and idempotents e1 and e2 such that R is right e1-reversible but not right e2-reversible as the following example shows. 1 1 0 0 Example 2.3. Consider the ring R = U2(Z) and E1 = , E2 = ∈ "0 0# "0 1# Id(R). Then the following hold. (1) R is not reversible. REVERSIBLE RING PROPERTY VIA IDEMPOTENT ELEMENTS 3 (2) R is right E1-reversible but not left E1-reversible. (3) R is left E2-reversible but not right E2-reversible. Proof. (1) R is not reversible, in fact, E2E1 = 0 but E1E2 6= 0. 0 x Let A, B ∈ R with AB = 0. Then BA is of the form where x ∈ Z. Assume "0 0# that x 6= 0. (2) On the one hand, BAE1 = 0. Hence R is right E1-reversible. On the other hand, E1BA 6= 0. Thus R is not left E1-reversible. (3) E2BA = 0 implies that R is left E2-reversible, and R is not right E2-reversible since BAE2 6= 0. For a reduced ring R, we now show that Mn(R) is neither right e-reversible nor left e-reversible for some e ∈ Id(Mn(R)). Example 2.4. Let R be a reduced ring and Eij denote the matrix unit in Mn(R) whose (i, j)-th entry is 1 and the others are zero. Consider A = E23, B = E12 and E = E11 + E33 ∈ Mn(R). Then AB = 0 and BA 6= 0. Also, BAE 6= 0. Hence Mn(R) is not right E-reversible. Similarly, EBA 6= 0. Thus Mn(R) is not left E-reversible. Therefore Mn(R) is neither right E-reversible nor left E-reversible. The following examples provide another sources of examples for right e-reversible rings. Examples 2.5. (1) Every reversible ring is e-reversible. (2) Every right e-reduced ring is right e-reversible. (3) Every e-symmetric ring is right e-reversible. Proof. (1) Let R be a reversible ring with e2 = e ∈ R. Assume that ab = 0. Then ba =0 and so bae = 0 and eba = 0. (2) Let R be a right e-reduced ring and a, b ∈ R with ab = 0. Then ba is nilpotent. Being R right e-reduced, bae = 0. (3) It is clear since the rings have identity. There are right e-reversible rings R for some e ∈ Id(R) but not reversible as shown below. This yields that the converse of Examples 2.5(1) need not be true in general. Example 2.6. For a reversible ring R, the ring U2(R) is right E-reversible for some E ∈ Id(U2(R)) but not reversible. 4 H.KOSE,B.UNGOR,ANDA.HARMANCI 0 1 1 0 Proof. Let A = , B = ∈ U2(R), we get AB = 0 but BA 6= 0, hence "0 1# "0 0# a b x y U2(R) is not reversible. Let A = ,B = ∈ U2(R) such that AB = 0. "0 c# "0 z# xa ∗ Then we have BA = . The reversibility of R yields xa = 0 and zc = 0. " 0 zc# 1 0 Let E = . We get BAE = 0. Thus R is right E-reversible. "0 0# Theorem 2.7. Let R be right e-reversible and right 1 − e-reversible ring. Then R is semiprime if and only if R is reduced if and only if R is reversible. Proof. ”Only if” part. Assume that R is semiprime right e-reversible and right 1 − e-reversible ring. Let an = 0 and b = an−1. Then b2 = 0. Right e-reversibility of R yields brbe = 0 for each r ∈ R. Since r is arbitrary in R, we may replace r by er to get berbe = 0 for each r ∈ R. Being R semiprime yields be = 0. Hence by induction ae = 0. By replacing e by 1 − e in this proof we may have that a(1 − e) = 0. Hence a = 0. Thus R is reduced. Let R be a ring with a ring homomorphism σ. Consider the ring U2(R)σ consist- ing of all elements of U2(R) with usual matrix addition in U2(R) and multiplication defined by a b x y ax ay + bσ(z) a b x y = where , ∈ U2(R)σ. "0 c# "0 z# " 0 cz # "0 c# "0 z# Example 2.8. Let R be a ring, σ a ring homomorphism of R and e ∈ Id(R). If U2(R)σ is right eI2-reversible, then R is right e-reversible. The converse holds if e ∈ Kerσ. It is well known that every reversible ring is abelian, but this is not the case for right e-reversibility, Example 2.3 illustrates this claim.