Artinian modules and modules of which all proper submodules are finitely generated

From MaRDI portal





The authors study modules over a commutative ring that are not finitely generated, but have all their proper submodules finitely generated. In this they are building on quite a bit of existing work, especially that of \textit{W. D. Weakley} [J. Algebra 84, 189-219 (1983; Zbl 0527.13009)]. - It was known that for a faithful such module the ring is a domain and the module either is torsion-free and just the quotient field of the domain or is torsion and Artinian. Thus the remaining interest lies in the Artinian case. The authors study these modules in some detail, but it is difficult to say much more without getting involved in technical detail. As a snippet we conclude by quoting the following: A commutative ring has such a module if and only if it has a strictly descending chain of ideals \(I_ 1>I_ 2>...,\) all having radical the same maximal ideal M, such that the descending chain of ideals \(M^ 2+I_ i\) stabilizes at an ideal \(M^ 2+I_ n\) for which \(M/(M^ 2+I_ n)\) is finitely generated.











This page was built for publication: Artinian modules and modules of which all proper submodules are finitely generated

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