Artinian modules and modules of which all proper submodules are finitely generated (Q1073102)

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.