Examples of clean commutative group rings.

DOI10.1016/J.JALGEBRA.2014.01.030MaRDI QIDQ401940zbMATH OpenOpenAlexFDO

Authors Nicholas A. Immormino, Warren Wm. McGovern

Publication date 27 August 2014

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jalgebra.2014.01.030

clean group rings clean rings commutative group rings idempotents units

Arithmetic rings and other special commutative rings (13F99) Group rings (16S34) Units, groups of units (associative rings and algebras) (16U60) Group rings of infinite groups and their modules (group-theoretic aspects) (20C07)

Review text

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.NEWLINENEWLINE In the paper the following results of other authors are noted:NEWLINENEWLINE (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)];NEWLINENEWLINE (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)]; andNEWLINENEWLINE (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)].NEWLINENEWLINE 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.NEWLINENEWLINE 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]\).NEWLINENEWLINE 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.

Recommendations

Cites work

Cited in

(18)

This page was built for publication: Examples of clean commutative group rings.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q401940)