On Weak JN-Clean Rings ()

Zubayda M. Ibraheem^{}, Norihan N. Fadil^{}

Department of Mathematices, College of Computer Science and Mathematics, University of Mosul, Mosul, Iraq.

**DOI: **10.4236/oalib.1109023
PDF
HTML XML
82
Downloads
456
Views
Citations

Department of Mathematices, College of Computer Science and Mathematics, University of Mosul, Mosul, Iraq.

We can say for a ring *R* weak JN-clean ring if all elements *a* in *R* it can be written as a sum or difference of nilpotent and idempotent. Further the nilpotent element belongs to the Jacobson radical of *R*. The purpose of this paper is to give some characterization and basic properties of this ring. Also we will studied the relationship between weak JN-clean rings and J-reduced ring, Boolean ring, local ring and clean ring: from the main result: 1) The ring *R* is weak JN-clean, if and only if, *R*/*J*(*R*) is weak JN-clean and each idempotent lifts modulo *N(R)*. 2) Let *R*_{1},*R*_{2},*R*_{3},...,*R*_{n} be rings. Then, *R* = Π_{i=1}^{n} *R** _{i}* is weak JN-clean if and only if each

Share and Cite:

Ibraheem, Z.M. and Fadil, N.N. (2022) On Weak JN-Clean Rings. *Open Access Library Journal*, **9**, 1-6. doi: 10.4236/oalib.1109023.

1. Introduction

Through this paper will be an associative ring with identity. We write U(R), N(R), Idem(R), J(R) denote to group of units, the set of nilpotent elements of R, the set of idempotent elements of R, the Jacobson radical of R, respectively. A ring R is reduced if R contains no non-zero nilpotent element [1], following [2] [3]. A ring R is said to be local, if it has exactly one maximal ideal. A ring R is called Boolean ring if each element in R is idempotent [2]. A ring R is called semipotent, if each left ideal (respectively: right ideal) not contained in J(R) contains a non-zero idempotent [4]. A ring R is called clean (strongly clean), if each element a in R can be written as, $a=e+u$ ( $a=e+u$, $eu=ue$ ), where $e\in Idem\left(R\right)$ and $u\in U\left(R\right)$ [5] [6] [7] [8], similarly a nil clean ring was introduced by Diesel [7] and defined as a ring R is called nil clean, if each element a in R can be written as a sum of an idempotent and nilpotent. A ring R is called J-reduced if ${a}^{n}=0$ for $a\in R$ and for some positive integer n. Then $a\in J\left(R\right)$ [9].

2. A Study of Some Characterization of Weak JN-Clean Ring

In this section we give the definition of weak JN-clean rings with some of its characterization and basic properties.

Definition 2.1.

An element a of a ring R is said to be weak JN-clean (resp. strongly weak JN-clean) if a can be written as $a=e+b$ or $a=b-e$ (resp. $a=e+b$ or $a=b-e$ and $be=eb$ ) for some nilpotent element $b\in J\left(R\right)$ and idempotent e.

Example:

1) Every local ring is weak JN-clean ring.

2) Every reduced ring is weak JN-clean ring.

3) Every field is weak JN-clean ring.

Proposition 2.2.

The homomorphic image of weak JN-clean ring element is weak JN-clean ring element.

Proof:

Let
$f:R\to S$ be a ring epimorphism and suppose R is weak JN-clean. Let*
$s\in S$ * and choose
$a\in R$ such that
$f\left(a\right)=s$ *. *Then we can write
$a=b+e$ or
$a=b-e$ for some
$b\in N\left(R\right)\subset J\left(R\right)$ and
$e\in Idem\left(R\right)$. Hence
$s=f\left(a\right)=f\left(b\right)+f\left(e\right)$ or
$s=f\left(a\right)=f\left(b\right)-f\left(e\right)$, where clearly
$f\left(e\right)\in Idem\left(S\right)$ and
$f\left(b\right)\in N\left(S\right)\subset J\left(S\right)$, Thus s is weak JN-clean element.

Proposition 2.3.

Let R be a ring, then R is weak JN-clean, if and only if, R/J(R) is weak JN-clean and each idempotent lifts modulo N(R).

Proof:

Assume that R is weak JN-clean ring, since the homomorphic image of a nilpotent is again nilpotent and the image of idempotent is again idempotent, then R/J(R) is weak JN-clean ring.

Conversely, let $a+J\left(R\right)=\left(b+I\right)+\left(e+I\right)$ or $a+J\left(R\right)=\left(b+I\right)-\left(e+I\right)$

where $b\text{}\in N\left(R\right)\subset J\left(R\right)$ and $e\in Idem\left(R\right)$. Hence, $a-b-e\text{}\in J\left(R\right)$ or $a-b+e\in J\left(R\right)\text{}$. Now, $a-e=b+j$ or $a+e=b+j$ where, $j\text{}\in J\left(R\right)$ since each idempotent lifts modulo N(R). Then we have $b+j\text{}\in N\left(R\right)\subset J\left(R\right)$. Therefore R is weak JN-clean ring.

Notes:

1) Clearly every nil clean ring is weak JN-clean ring.

2) The finite products of weak JN-clean rings are not weak JN-clean for example;

If $R={\mathbb{Z}}_{3}\times {\mathbb{Z}}_{3}$, Then R is not weak JN-clean ring.

Now, we give the necessary condition to prove the following proposition.

Proposition 2.4.

Let ${R}_{1},{R}_{2},\cdots ,{R}_{n}$ be rings. Then, $R={\displaystyle {\prod}_{i=1}^{n}{R}_{i}}$ is weak JN-clean if and only if each ${R}_{i}$ for each i is weak JN-clean and at most one ${R}_{i}$ is not nil clean ring.

Proof:

Clearly $N\left({\displaystyle {\prod}_{i=1}^{n}{R}_{i}}\right)\subseteq {\displaystyle {\prod}_{i=1}^{n}N\left({R}_{i}\right)}\subseteq {\displaystyle {\prod}_{i=1}^{n}J\left({R}_{i}\right)}=J\left({\displaystyle {\prod}_{i=1}^{n}{R}_{i}}\right)$ and by assume R is weak JN-clean, then each ${R}_{i}$ is homomorphic image of R is weak JN-clean, suppose for some ${i}_{1}$ and ${i}_{2}$ ; ${i}_{1}\ne {i}_{2}$, ${R}_{{i}_{1}}$ and ${R}_{{i}_{2}}$ are not nil clean.

Now, for, ${R}_{{i}_{1}}$ is not nil clean, that is not all elements $x\in {R}_{{i}_{1}}$ are of the form $b-e$ where $b\in N\left({R}_{{i}_{1}}\right)\subset J\left({R}_{{i}_{1}}\right)$ and $e\in Idem\left({R}_{{i}_{1}}\right)$. But ${R}_{{i}_{1}}$ is weak JN-clean, so there exists ${x}_{{i}_{1}}\in {R}_{{i}_{1}}$, with ${x}_{{i}_{1}}={b}_{{i}_{1}}+{e}_{{i}_{1}}$ where, ${e}_{{i}_{1}}\in Idem\left({R}_{{i}_{1}}\right)$ and ${b}_{{i}_{1}}\in N\left({R}_{{i}_{1}}\right)\subset J\left({R}_{{i}_{1}}\right)$, but ${x}_{{i}_{1}}\ne {b}_{{i}_{1}}-{e}_{{i}_{1}}$, for ${e}_{{i}_{1}}\in Idem\left({R}_{{i}_{1}}\right)$ and ${b}_{{i}_{1}}\in N\left({R}_{{i}_{1}}\right)\subset J\left({R}_{{i}_{1}}\right)$. And also there exists ${x}_{{i}_{2}}\in {R}_{{i}_{2}}$, with ${x}_{{i}_{2}}={b}_{{i}_{2}}-{e}_{{i}_{2}}$, where ${e}_{{i}_{2}}\in Idem\left({R}_{{i}_{2}}\right)$ and ${b}_{{i}_{2}}\in N\left({R}_{{i}_{2}}\right)\subset J\left({R}_{{i}_{2}}\right)$ but, ${x}_{{i}_{2}}\ne b+e$ for any $e\in Idem\left({R}_{{i}_{2}}\right)$ and $b\in N\left({R}_{{i}_{2}}\right)\subset J\left({R}_{{i}_{2}}\right)$. Now, define $a=\left({a}_{i}\right)\in R$ by ${a}_{ij}={a}_{i1}$ or ${a}_{ij}={a}_{i2}$ if $i\in \left\{{i}_{1},{i}_{2}\right\}$ and ${a}_{i}=0$ if $i\ne {i}_{1}$ or $i\ne {i}_{2}$. Then clearly $a\ne b\mp e$ for any $b\in N\left(R\right)\subset J\left(R\right)$ and $e\in Idem\left(R\right)$, hence at most one of ${R}_{i}$ is not nil clean.

Conversely: Assume some ${R}_{{i}_{0}}$ is weak JN-clean but not nil clean that all other ${R}_{i}$ are nil clean.

Let $a=\left({a}_{i}\right)\in R$. In ${R}_{{i}_{0}}$ we can write ${a}_{{i}_{0}}={b}_{{i}_{0}}+{e}_{{i}_{0}}$ or ${a}_{{i}_{0}}={b}_{{i}_{0}}-{e}_{{i}_{0}}$ where ${b}_{{i}_{0}}\in N\left({b}_{{i}_{0}}\right)\subset J\left({b}_{{i}_{0}}\right)$ and ${e}_{{i}_{0}}\in Idem\left({R}_{{i}_{0}}\right)$

Now, if ${a}_{{i}_{0}}={b}_{{i}_{0}}+{e}_{{i}_{0}}$ for $i\ne {i}_{0}$, let ${a}_{i}={b}_{i}+{e}_{i}$ and if ${a}_{{i}_{0}}={b}_{{i}_{0}}-{e}_{{i}_{0}}$ for $i\ne {i}_{0}$, let ${a}_{i}={b}_{i}-{e}_{i}$. Then, $b={b}_{i}\in N\left(R\right)\subset J\left(R\right)$ and $e=\left({e}_{i}\right)\in Idem\left(R\right)$ and $a=b+e$ or $a=b-e$. Therefore R is weak JN-clean.

For example: $R={\mathbb{Z}}_{3}\times {\mathbb{Z}}_{4}$ is a weak JN-clean ring, where ${\mathbb{Z}}_{3}$ is not nil clean ring, but is weak nil clean and ${\mathbb{Z}}_{4}$ is nil clean, then is weak JN-clean.

Proposition 2.5.

Let R be weak JN-clean ring then, $2\in J\left(R\right)$.

Proof:

Clearly there exist, $e\in R$ and $b\in N\left(R\right)\subset J\left(R\right)$ such that $2=b+e$

or $2=b-e$ if $2=b+e$ so that, $1-e=b-1\in U\left(R\right)$ then $e=0$ thus $b=2$ and $2\in J\left(R\right)$ or $2=b-e$ then $1+e=b-1\in U\left(R\right)$ and this true only when $e=0$ so that $b=2\in J\left(R\right)$.

Proposition 2.6.

A ring R is strongly weak JN-clean ring, if and only if, eRe is strongly weak JN-clean ring for all idempotent $e\in R$.

Proof:

Let R be a strongly weak JN-clean and let $e\in R$. Then, $ae\in eRe\subset R$. That is, $eae=e\left(b+e\right)e$ or $eae=e\left(b-e\right)e$ where, $b\in N\left(R\right)\subset J\left(R\right)$ and $e\in Idem\left(R\right)$. Then, $ae=ebe+e$ or $ae=ebe-e$. Now, since ${b}^{n}=0$ for some $n\in {\mathbb{Z}}^{+}$, Then ${\left(ebe\right)}^{n}=0$ in eRe, Hence ${\left(ebe\right)}^{n}=0$ in R. Since R is strongly weak JN-clean, then $ebe\in J\left(R\right)$ and so $ebe\in eJ\left(R\right)e$. That is $ebe\in J\left(eRe\right)$ ; Therefore eRe is strongly weak JN-clean. The converse is trivial.

3. The Relation between Weak JN-Clean Ring and Other Rings

In this section we give the relationship between weak JN-clean (strongly weak JN-clean) and local rings, Boolean ring, nil-clean rings, semipotent ring and J-reduced ring.

Proposition 3.1.

A ring R is weak JN-clean with $J\left(R\right)=0$. If and only if, R is Boolean ring or clean ring.

Proof:

Suppose that R is weak JN-clean ring with $J\left(R\right)=0$. Let $a\in R$. Then, a can be written as $a=b+e$ or $a=b-e$ that is, $a=\left(b-1\right)+\left(1-e\right)$ since R is weak JN-clean ring and $J\left(R\right)=0$. Then, $b=0$ thus, $a=e$ or $a=-1+\left(1-e\right)$, so $-1\in U\left(R\right)$ and $\left(1-e\right)\in Idem\left(R\right)$.

Therefore R is Boolean ring or clean ring.

The other direction is easy to stable.

Proposition 3.2.

Let R be an abelian semipotent ring then, every element in R is weak JN-clean ring.

Proof:

Let $0\ne a\in R$ such that ${a}^{n}=0;n\ge 2$ and let $a\in J\left(R\right)$, since R is semipotent then, there exist $0\ne e\in aR$ such that $e=ar$, $r\in R$ thus $er=r=rar$ and we have ar is idempotent (since R is ablean). Thus, ar is central.

Hence, $e={e}^{n}={\left(ar\right)}^{n}={r}^{n-1}{a}^{n}r=0$ and that is contradiction. Then, $a\in J\left(R\right)$, and a is a nilpotent.

Now, every element in R can be written as $k\in R$ such that $k=a+e$. Thus R is nil clean ring with every nilpotent is contained in J(R). Therefore R is weak JN-clean ring.

Proposition 3.3.

Every strongly weak JN-clean element is strongly clean.

Proof:

Let $x\in R$ be strongly weak JN-clean element then, x can be written as $x=b+e$ or $x=b-e$ where $e\in Idem\left(R\right)$ and $b\in N\left(R\right)\subset J\left(R\right)$ and $eb=be$ Hence, $x=\left(1-e\right)+\left(2e-1+b\right)$, since ${\left(2e-1\right)}^{2}=1$ then, $\left(2e-1+b\right)\in U\left(R\right)$ or $x=\left(b-1\right)+\left(1-e\right)$. Hence, $\left(b-1\right)\in U\left(R\right)$ and $\left(1-e\right)\in Idem\left(R\right)$. Therefore, x is strongly clean.

Proposition 3.4.

Let R be nil clean and local ring. Then, R is strongly weak JN-clean.

Proof:

Since every nil clean ring is weak nil clean, that is each element x in can be written as: $x=b+e$ or $x=b-e$ where, $e\in Idem\left(R\right)$ and $b\in N\left(R\right)$.

Since R is local ring then, every nilpotent element is contained in J(R) and every idempotent is trivial.

Proposition 3.5.

Every weak JN-clean ring is J-reduced ring.

Proof:

Let ${a}^{n}=0;n\ge 2$ then, there exist $b\in N\left(R\right)\subset J\left(R\right)$ and $e\in Idem\left(R\right)$ such that, $a=b+e$ or $a=b-e$. That is, $a-e=b$ or $a+e=b$. Hence $\left(1-a\right)=\left(\left(1+e\right)-b\right)\in U\left(R\right)$ or $\left(1-a\right)=\left(\left(1+e\right)-b\right)\in U\left(R\right)$ since, $\left(1-{a}^{n}\right)=1=\left(1-a\right)\left(1+a+{a}^{2}+\cdots +{a}^{n-1}\right)$. Thus, $\left(1-e\right)\in U\left(R\right)$ or $\left(1+e\right)\in U\left(R\right)$ and that is true if $e=o$ so that $a=b\in J\left(R\right)$. Therefore R is J-reduced.

4. Conclusions

From the study on characterization and properties of weak JN-clean rings, we obtain the following results:

1) The ring R is weak JN-clean, if and only if, R/J(R) is weak JN-clean and each idempotent lifts modulo N(R).

2) Let ${R}_{1},{R}_{2},\cdots ,{R}_{n}$ be rings. Then, $R={\displaystyle {\prod}_{i=1}^{n}{R}_{i}}$ is weak JN-clean if and only if each ${R}_{i}$ for each i is weak JN-clean and at most one ${R}_{i}$ is not nil clean ring.

3) A ring R is strongly weak JN-clean ring if and only if eRe is strongly weak JN-clean ring for all idempotent $e\in R$.

4) Let R be an abelian semipotent ring then, every element in R is weak JN-clean ring.

5) Every strongly weak JN-clean element is strongly clean.

Conflicts of Interest

The authors declare no conflicts of interest.

[1] | Patterson, E.M. (1972) A First Course in Rings and Ideals. By David M. Burton. Pp. viii, 309. ￡ 4·90 1970 (Addison-Wesley). The Mathematical Gazette, 56, 170-171. https://doi.org/10.2307/3615330 |

[2] | Robinson, D.J. (2008) An Introduction to Abstract Algebra. Walter de Gruyter, Berlin. |

[3] | Hazewinkel, M., Gubareni, N. and Kirichenko, V.V. (2004) Algebras, Rings and Modules (Vol. 1). Springer Science & Business Media. |

[4] | Lee, C.I. and Park, S.Y. (2018) When Nilpotents Are Contained in Jacobson Radicals. Journal of the Korean Mathematical Society, 55, 1193-1205. |

[5] | Chen, W. and Cui, S. (2008) On Clean Rings and Clean Elements. Southeast Asian Bulletin of Mathematics, 32, 855-861. |

[6] | Ashrafi, N. and Nasibi, E. (2011) R-Clean Rings. arXiv preprint arXiv:1104.2167. |

[7] | Diesl, A.J. (2013) Nil Clean Rings. Journal of Algebra, 383, 197-211. https://doi.org/10.1016/j.jalgebra.2013.02.020 |

[8] | Nicholson, W.K. (1977) Lifting Idempotents and Exchange Rings. Transactions of the American Mathematical Society, 229, 269-278. https://doi.org/10.1090/S0002-9947-1977-0439876-2 |

[9] | Chen, H., Gurgun, O., Halicioglu, S. and Harmanci, A. (2016) Rings in which Nilpotents Belong to Jacobson Radical. An. Stiint. Univ. Al. I. Cuza Iasi. Mat. (N.S.), 62, 595-606. |

Journals Menu

Contact us

+1 323-425-8868 | |

customer@scirp.org | |

+86 18163351462(WhatsApp) | |

1655362766 | |

Paper Publishing WeChat |

Copyright © 2024 by authors and Scientific Research Publishing Inc.

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.