ADS modules. (Q435937)

The notion of modules with the `absolute direct summand property' (ADS, for short) was introduced by \textit{L. Fuchs} [in Infinite Abelian groups. Vol. I. Pure and Applied Mathematics 36. New York-London: Academic Press (1970; Zbl 0209.05503)]. Fuchs called a right module \(M\) right ADS if for every decomposition \(M=S\oplus T\) of \(M\) and every complement \(C\) of \(S\) we have \(M=S\oplus C\). For example, if \(R\) is an Abelian ring then \(R\) as a right \(R\)-module is ADS. Every right quasi-continuous module is ADS, but the converse need not be true. If a right ADS module is also right CS, then it is right quasi-continuous. The paper under review shows that if \(R\) is a simple ring such that \(R_R\) is ADS, then either \(R\) is right self-injective or indecomposable as a right \(R\)-module. \textit{W. D. Burgess} and \textit{R. Raphael} [in Ring theory. Proceedings of the biennial Ohio State-Denison mathematics conference, 1992. Singapore: World Scientific. 137-148 (1993; Zbl 0853.16008)] claimed that an example can be constructed of a finite dimensional module over a finite dimensional algebra which has no ADS hull. This paper shows that under certain conditions such an ADS hull does exist. A right module \(M\) is called completely ADS if each of its subfactors is ADS. Among other results it is shown that if \(M\) is a semiperfect module with a completely ADS projective cover, then \(M=S\oplus T\) where \(S\) is semisimple and \(T\) is a sum of local modules.