Loewy series,<i>V</i>-modules and trace ideals (Q4934111)

The author studies the transfer of certain properties from the left \(R\)-module \(_RV\) to the trace ideal \(WV\) in the Morita context \((R,V,W,S)\). A module \(M\) is called cosemisimple (or a \(V\)-module) provided every submodule of \(M\) is the intersection of maximal submodules. It is shown that, if \(S/WV\) is a flat right \(S\)-module, and \(_RV\) is cosemisimple, then \(WV\) is a cosemisimple left \(S\)-module. Under the same flatness hypothesis on the right \(S\)-module \(S/WV\), it is proved that if \(_RV\) has left lower (upper) Loewy length \(\alpha\), then the left \(S\)-module \(WV\) also has left lower (upper) Loewy length \(\alpha\). In particular, if \(_RV\) is a semiartinian cosemisimple module, then so is \(_S(WV)\). Such modules were studied earlier by the reviewer and \textit{P. F. Smith} [J. Pure. Appl. Algebra 82, No. 1, 27-37 (1992; Zbl 0786.16002)] and \textit{G. Baccella} [J. Algebra 173, No. 3, 587-612 (1995; Zbl 0829.16007)]. Several other results are obtained, and yield as consequences known results on the transfer of certain properties from a finitely generated projective module to its endomorphism ring. The author also remarks that an alternative approach, based on work of \textit{T. Kato} and \textit{K. Ohtake} [J. Algebra 61, 360-366 (1979; Zbl 0427.16031)], can be used to study the questions in the paper.