ADS modules.

From MaRDI portal



Abstract: We study the class of ADS rings and modules introduced by Fuchs. We give some connections between this notion and classical notions such as injectivity and quasi-continuity. A simple ring R such that R is ADS as a right R-module must be either right self-injective or indecomposable as a right R-module. Under certain conditions we can construct a unique ADS hull up to isomorphism. We introduce the concept of completely ADS modules and characterize completely ADS semiperfect right modules as direct sum of semisimple and local modules.


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.NEWLINENEWLINE 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.











This page was built for publication: ADS modules.

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