Commutative local rings whose ideals are direct sums of cyclic modules

From MaRDI portal



Abstract: A well-known result of K"{o}the and Cohen-Kaplansky states that a commutative ring R has the property that every R-module is a direct sum of cyclic modules if and only if R is an Artinian principal ideal ring. This motivated us to study commutative rings for which every ideal is a direct sum of cyclic modules. Recently, in [M. Behboodi, A. Ghorbani, A. Moradzadeh-Dehkordi, Commutative Noetherian local rings whose ideals are direct sums of cyclic modules, J. Algebra 345 (2011) 257--265] the authors considered this question in the context of finite direct products of commutative Noetherian local rings. In this paper, we continue their study by dropping the Noetherian condition.


Motivated by the classical result of Cohen-Kaplansky and Köthe which characterizes commutative rings with the property that every module is a direct sum of cyclic modules, the first author with others started the study of commutative rings for which every ideal is a direct sum of cyclic modules. Several characterizations of commutative Noetherian local rings whose ideals are direct sums of cyclic modules were found [\textit{M. Behboodi} et al., J. Algebra 345, No. 1, 257--265 (2011; Zbl 1244.13008)]. In the paper under review, the question is pursued further, but the requirement for the ring to be Noetherian is dropped. The main theorem, which contains five equivalences for commutative local rings \(R\) whose ideals are direct sums of cyclic modules, is almost identical to the one found in the above-mentioned paper for commutative Noetherian local rings whose ideals are direct sums of cyclic modules. The proof is done through a series of theorems, propositions and lemmas. To mention but a few of the equivalences in the theorem: Every ideal of the ring \(R\) is a direct sum of cyclic \(R\)-modules if and only if every ideal of \(R\) is a direct sum of cyclic modules of which at most two are nonsimple if and only if \(R\) is the direct sum of cyclic modules of which at most two summand, say \(Rx\) and \(Ry\), are nonsimple and \(R/\mathrm{Ann}(x)\) and \(R/\mathrm{Ann}(y)\) are principal ideal rings if and only if every ideal of \(R\) is a direct summand of a direct sum of cyclic modules. The paper is concluded by several examples illustrating the main results and showing that certain of the requirements are not superfluous.











This page was built for publication: Commutative local rings whose ideals are direct sums of cyclic modules

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