Academia.eduAcademia.edu

Outline

On Some Generalizations of the Reversibility in Nonunital Rings

2019, Journal of The Korean Mathematical Society

https://doi.org/10.4134/JKMS.J180009

Abstract

This paper is intended as a discussion of some generalizations of the notion of a reversible ring, which may be obtained by the restriction of the zero commutative property from the whole ring to some of its subsets. By the INCZ property we will mean the commutativity of idempotent elements of a ring with its nilpotent elements at zero, and by ICZ property we will mean the commutativity of idempotent elements of a ring at zero. We will prove that the INCZ property is equivalent to the abelianity even for nonunital rings. Thus the INCZ property implies the ICZ property. Under the assumption on the existence of unit, also the ICZ property implies the INCZ property. As we will see, in the case of nonunital rings, there are a few classes of rings separating the class of INCZ rings from the class of ICZ rings. We will prove that the classes of rings, that will be discussed in this note, are closed under extending to the rings of polynomials and formal power series. All rings considered in this paper are assumed to be associative but not necessarily with unit. The standard extension of a ring R to a unital ring with the help of the ring of integers is denoted by R 1 . The sets of idempotent elements in R and nilpotent elements in R are denoted by E(R) and N (R) respectively. J. Lambek in introduced the notion of a symmetric ring understood as a unital ring R in which rst = 0 implies rts = 0 for any r, s, t ∈ R, and proved that an equivalent condition on a unital ring R to be symmetric is that 0 for any positive integer n, any elements r 1 , r 2 , . . . , r n ∈ R and any permutation σ of the set 1, 2, . . . , n . D. D. Anderson and V. Camillo in [1] continued the study of rings whose zero

References (25)

  1. 2.7. For every ring R, the following statements are equivalent: 1. erf = ef r holds for any e, f ∈ E(R) and r ∈ R;
  2. etf = ef t holds for any e, f ∈ E(R) and t ∈ N (R);
  3. ere = er holds for any e ∈ E(R) and r ∈ R;
  4. te = 0 implies et = 0 for any e ∈ E(R) and t ∈ N (R);
  5. re = 0 implies eRr = 0 for any e ∈ E(R) and r ∈ R;
  6. te = 0 implies eRt = 0 for any e ∈ E(R) and t ∈ N (R).
  7. Proof. The implications 1 ⇒ 4 ⇒ 9 ⇒ 7 ⇒ 8, 1 ⇒ 2 ⇒ 5 ⇒ 10 ⇒ 8 and 1 ⇒ 3 ⇒ 6 are obvious. In the proofs of all three implications 6 ⇒ 4, 8 ⇒ 4 and 4 ⇒ 1, we let e, f ∈ E(R) and r ∈ R. Then, as we know, e+er-ere ∈ E(R) and er-ere ∈ N (R). In the case when the statement 6 holds, since e(e+er-ere)e = e(e + er -ere), it follows that ere = er. In the case when the statement 8 References
  8. D. D. Anderson and V. Camillo, Semigroups and rings whose zero products commute, Comm. Algebra 27 (1999), no. 6, 2847-2852.
  9. E. P. Armendariz, A note on extensions of Baer and P.P.-rings, J. Aust. Math. Soc. 18 (1974), 470-473.
  10. H. E. Bell, Near-rings in which each element is a power of itself, Bull. Aust. Math. Soc. 2 (1970), 363-368.
  11. G. F. Birkenmeier, Idempotents and completely semiprime ideals, Comm. Algebra 11 (1983), no. 6, 567-580.
  12. W. Chen, On semiabelian π-regular rings, Int. J. Math. Math. Sci. 2007 (2007), Art. ID 63171, 10 pp.
  13. P. M. Cohn, Reversible rings, Bull. Lond. Math. Soc. 31 (1999), no. 6, 641-648.
  14. J. M. Habeb, A note on zero commutative and duo rings, Math. J. Okayama Univ. 32 (1990), 73-76.
  15. J. Han, Y. Lee, and S. Park, Semicentral idempotents in a ring, J. Korean Math. Soc. 51 (2014), no. 3, 463-472.
  16. V. K. Harchenko, T. J. Laffey, and J. Zemánek, A characterization of central idempo- tents, Bull. Acad. Pol. Sci. Sér. Sci. Math. 29 (1981), no. 1-2, 43-46.
  17. I. Kaplansky, Rings of operators. Notes prepared by S. Berberian with an appendix by R. Blattner, Mathematics 337A, summer 1955.
  18. N. K. Kim and Y. Lee, Armendariz rings and reduced rings, J. Algebra 223 (2000), no. 2, 477-488.
  19. N. K. Kim, Y. Lee, and Y. Seo, Structure of idempotents in rings without identity, J. Korean Math. Soc. 51 (2014), no. 4, 751-771.
  20. J. Lambek, On the representation of modules by sheaves of factor modules, Canad. Math. Bull. 14 (1971), 359-368.
  21. G. Marks, A taxonomy of 2-primal rings, J. Algebra 266 (2003), no. 2, 494-520.
  22. L. Motais de Narbonne, Anneaux semi-commutatifs et unisériels; anneaux dont les idéaux principaux sont idempotents, in Proceedings of the 106th National Congress of Learned Societies (Perpignan, 1981), 71-73, Bib. Nat., Paris, 1982.
  23. B. H. Shafee and S. K. Nauman, On extensions of right symmetric rings without identity, Adv. Pure Math. 4 (2014), no. 12, 665-673.
  24. G. Shin, Prime ideals and sheaf representation of a pseudo symmetric ring, Trans. Amer. Math. Soc. 184 (1973), 43-60 (1974).
  25. J. Wei, Almost Abelian rings, Commun. Math. 21 (2013), no. 1, 15-30.