Nil clean rings. (English) Zbl 1296.16016

Diesl, Alexander J.

J. Algebra 383, 197-211 (2013).

Given a ring \(R\), one says that an element \(r\in R\) is clean if \(r=e+u\) where \(e\in R\) is an idempotent and \(u\) is a unit of \(R\). Moreover, the element \(r\) is strongly clean if the idempotent and unit can be chosen to commute. When all elements of a ring are clean (or strongly clean), then we say that the ring is clean (respectively, strongly clean). These classes of rings were first introduced by Keith Nicholson as interesting examples of exchange rings, but their study has blossomed in recent years as connections have been found to strongly \(\pi\)-regular rings (and elements), direct sum decomposition properties, and linear algebra applications.
The paper under review contains a very thorough and readable introduction to this subject. The author then generalizes the notion of clean elements as follows. Given any property \(\mathcal P\) on elements of rings, one says that \(r\in R\) is \(\mathcal P\)-clean if \(r=e+z\) where \(e\in R\) is an idempotent and \(z\in R\) has property \(\mathcal P\). The element is strongly \(\mathcal P\)-clean if additionally \(e\) and \(z\) can be chosen to commute. When \(\mathcal P\) satisfies three simple conditions, then it turns out that an element, say, of an endomorphism ring of a module \(M\) is strongly \(\mathcal P\)-clean if and only if there is a corresponding direct sum decomposition of the module \(M\); this generalizes what happens in the case of the strongly clean elements. The author also points out an interesting disconnect, not mentioned in other sources, between the usual definition of clean elements and the definition given for non-unital rings.
The remainder of the paper is focused on the case where \(\mathcal P\) is the property “is a nilpotent”. Thus, an element \(r\in R\) is called nil clean if \(r=e+z\) where \(e\in R\) is an idempotent and \(z\in R\) is a nilpotent, and strongly nil clean when \(e\) and \(z\) can be chosen to commute. The sum \(r=e+z\) is called a nil clean decomposition of \(r\). Nil clean rings and strongly nil clean rings are defined similarly. Many examples are given which clarify the relationship these properties have to other well-known ring and element properties. For example, every strongly nil clean element is strongly \(\pi\)-regular, and the Jacobson radical \(J(R)\) is always a nil ideal in a nil clean ring. Additionally, there are multiple structure theorems proven relative to the behavior of these properties under matrix extensions, corner rings, direct products, and quotients; with four open questions raised in the paper on these topics.
The final theorem of the paper gives five equivalent characterizations of the uniquely nil clean rings (i.e. those rings whose elements each have exactly one nil clean decomposition). It appears from the proof that the author meant to include in characterization (3) the additional assumption that \(R/J(R)\) is reduced. However, the statement of the theorem is true as it stands; indeed one can slightly generalize Proposition 3.18 to get that if \(R\) is a strongly nil clean ring, then every nilpotent element of \(R\) is contained in \(J(R)\). As the short proof of this extension demonstrates many of the nice results of the paper, we include it here.
Let \(R\) be a strongly nil clean ring. By Proposition 3.16 we know \(J(R)\) is a nil ideal, and by Proposition 3.13 we know that strong nil cleanness passes to factor rings, so we can reduce to the case when \(J(R)=0\). By Proposition 3.14, we then must have \(2=0\) in \(R\). Suppose, by way of contradiction, there is an element \(y\in R\) with \(y^2=0\neq y\). Since \(J(R)=0\) there are no nil left ideals, and so there is some element \(x\in R\) with \(xy\) not nilpotent. As \(R\) is strongly nil clean, write \(xy=e+z\) for some (nonzero) idempotent \(e\in R\) and nilpotent \(z\in R\) which commute. Replacing \(x\) by \((1+z)^{-1}ex\), we have \(xy=e\). Since \(0=xy^2=ey\), we have \(ex(1-e)ye=e\). Thus replacing \(x\) by \(ex(1-e)\) and \(y\) by \((1-e)ye\), we may assume that \(x\in eR(1-e)\) and \(y\in (1-e)Re\) with \(xy=e\).
At this point set \(f:=(1-e)-yx\), which is an idempotent in \((1-e)R(1-e)\). Also set \(r:=e+x+y\), \(s:=x+y+yx\), and \(u:=r+f\). It is easy to compute that \(r^2=s\), \(rs=e+yx=1-f\) is an idempotent, and \(u^3=1\) so that \(u\) is a unit. By Corollary 3.11, we know that all units in strongly nil clean rings are unipotent. As \(u=1+s\) (remember \(2=0\)) this means that \(s\) must be nilpotent. But we find that \(s^3=e+yx\) is a nonzero idempotent (since \(e\neq 0\)), giving the needed contradiction.

Reviewer: Pace Nielsen (Provo)

MSC:

16N40	Nil and nilpotent radicals, sets, ideals, associative rings
16D70	Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras)
16U60	Units, groups of units (associative rings and algebras)
16E50	von Neumann regular rings and generalizations (associative algebraic aspects)
16U80	Generalizations of commutativity (associative rings and algebras)

Keywords:

units; nilpotent elements; commuting idempotents; strongly nil clean rings; strongly nil clean elements; strongly clean elements; Jacobson radical; direct sums; Fitting lemma

References:

[1]	Borooah, Gautam; Diesl, Alexander J.; Dorsey, Thomas J., Strongly Clean matrix rings over commutative local rings, J. Pure Appl. Algebra, 212, 1, 281-296, (2008) · Zbl 1162.16016
[2]	Gautam Borooah, Clean conditions and incidence rings, PhD dissertation, University of California, Berkeley, 2005.
[3]	Chen, Weixing, P-Clean rings, Int. J. Math. Math. Sci., 2006, (2006), Article ID 75247, 7 pp · Zbl 1123.16021
[4]	Chen, Huanyin, Some strongly nil Clean matrices over local rings, Bull. Korean Math. Soc., 48, 4, 759-767, (2011) · Zbl 1233.16022
[5]	Camillo, V. P.; Khurana, D.; Lam, T. Y.; Nicholson, W. K.; Zhou, Y., Continuous modules are Clean, J. Algebra, 304, 1, 94-111, (2006) · Zbl 1114.16023
[6]	Chen, Jianlong; Yang, Xiande; Zhou, Yiqiang, On strongly Clean matrix and triangular matrix rings, Comm. Algebra, 34, 10, 3659-3674, (2006) · Zbl 1114.16024
[7]	Alexander J. Diesl, Thomas J. Dorsey, Shelly Garg, Dinesh Khurana, A note on completeness and strongly clean rings, preprint, 2012. · Zbl 1283.16030
[8]	Han, Juncheol; Nicholson, W. K., Extensions of Clean rings, Comm. Algebra, 29, 6, 2589-2595, (2001) · Zbl 0989.16015
[9]	Lam, T. Y., A first course in noncommutative rings, Grad. Texts in Math., vol. 131, (2001), Springer-Verlag New York · Zbl 0980.16001
[10]	McGovern, Warren Wm., Clean semiprime f-rings with bounded inversion, Comm. Algebra, 31, 7, 3295-3304, (2003) · Zbl 1021.06011
[11]	Nicholson, W. K., Lifting idempotents and exchange rings, Trans. Amer. Math. Soc., 229, 269-278, (1977) · Zbl 0352.16006
[12]	Nicholson, W. K., Strongly Clean rings and fittingʼs lemma, Comm. Algebra, 27, 8, 3583-3592, (1999) · Zbl 0946.16007
[13]	Nicholson, W. K.; Zhou, Y., Rings in which elements are uniquely the sum of an idempotent and a unit, Glasg. Math. J., 46, 2, 227-236, (2004) · Zbl 1057.16007
[14]	Nicholson, W. K.; Zhou, Y., Clean general rings, J. Algebra, 291, 1, 297-311, (2005) · Zbl 1084.16023
[15]	Šter, Janez, Corner rings of a clean ring need not be Clean, Comm. Algebra, 40, 5, 1595-1604, (2012) · Zbl 1247.16034
[16]	Xiao, Guangshi; Tong, Wenting, n-Clean rings and weakly unit stable range rings, Comm. Algebra, 33, 5, 1501-1517, (2005) · Zbl 1080.16027