Modules with indecomposable decompositions that complement maximal direct summands (Q1375355)

Let \(R\) be any ring and let \(M\) be a right \(R\)-module with an indecomposable decomposition \(M=\bigoplus_{i\in I}M_i\) that complements maximal direct summands. The author proves that the following conditions are equivalent: (i) the decomposition \(M=\bigoplus_{i\in I}M_i\) complements direct summands, (ii) every non-zero direct summand of \(M\) contains an indecomposable direct summand and the family \(\{M_i:i\in I\}\) is locally semi-\(T\)-nilpotent, (iii) every local direct summand of \(M\) is a direct summand of \(M\). In case \(M_i\) has local endomorphism ring for each \(i\in I\), this theorem gives at once a well-known result of Harada. The author points out that Harada's proof is categorical in nature whereas this new proof is module-theoretic and is inspired by some ideas of Zimmermann-Huisgen and Zimmermann. Two further applications are given. The first classifies when the above module \(M\) is extending (i.e. a \(CS\)-module) in case \(M_i\) is uniform for each \(i\in I\). The second classifies when \(M\) is quasi-discrete.