Examples of clean commutative group rings. (Q401940)

Let \(R[G]\) be the group ring of a group \(G\) over an associative ring \(R\) with identity \(1\neq 0\) and let \(J(R)\) be the Jacobson radical of \(R\). A ring \(R\) is said to be clean if each element of \(R\) is a sum of a unit and an idempotent [\textit{W. K. Nicholson}, Trans. Am. Math. Soc. 229, 269-278 (1977; Zbl 0352.16006)]. The class of clean rings includes the classes of commutative zero-dimensional rings, von Neumann regular rings, local rings, and semi-perfect rings. Let \(C_n\) be the cyclic group of order \(n\) and let \(\mathbb Z_{(p)}\) be the localization of the integers at the prime \(p\). The authors recall that the ring \(R\) is local if \(R\) has a unique maximal left ideal. They note that the local rings are precisely the indecomposable clean rings. In the paper the following results of other authors are noted: (i) \(\mathbb Z_{(7)}[C_3]\) is not clean [\textit{J. Han} and \textit{W. K. Nicholson}, Commun. Algebra 29, No. 6, 2589-2595 (2001; Zbl 0989.16015)]; (ii) \(\mathbb Z_pC_3\) is 2-clean for any prime \(p\neq 2\) [\textit{G. Xiao} and \textit{W. Tong}, Commun. Algebra 33, No. 5, 1501-1517 (2005; Zbl 1080.16027)]; and (iii) the commutative group ring \(R[G]\) of any elementary 2-group \(G\) is clean if and only if \(R\) is clean [\textit{W. Wm. McGovern}, Int. J. Math. Game Theory Algebra 15, No. 4, 403-413 (2006; Zbl 1130.13304)]. In Theorem 2.11 the authors give necessary and sufficient conditions for the group ring \(\mathbb Z_{(p)}[C_n]\) to be clean. In Section 3 group ring \(R[G]\) is called clean locally when \(R[H]\) is clean for each finitely generated subgroup \(H\) of \(G\). In Theorem 3.6 necessary and sufficient conditions for \(\mathbb Z_{(p)}[G]\) to be clean locally for an arbitrary group \(G\) are given. In Section 4 the authors introduce the concept a Hensel ring [\textit{G. Azumaya}, Nagoya Math. J. 2, 119-150 (1951; Zbl 0045.01103)]. Namely, for a local ring \(R\), and for any polynomial \(f\in R[X]\), let \(\overline f\) denote the image of \(f\) in the ring \(R/J(R)[X]\). The authors say that the Hensel Lemma holds for \(f\) if for any relatively prime polynomials \(g_0,h_0\in R/J(R)[X]\) with \(g_0\) monic and \(g_0h_0=\overline f\), there exist polynomials \(g,h\in R[X]\) with \(g\) monic such that \(\overline g=g_0\), \(\overline h=h_0\), and \(gh=f\). A local ring \(R\) is called a Hensel ring if the Hensel Lemma holds for each monic polynomial in \(R[X]\). In Theorem 4.3 the authors prove that the group ring \(R[G]\) of any Abelian group \(G\) over a commutative Hensel ring is clean (clean locally) if and only if the group \(G\) is torsion.