A note on Osofsky-Smith theorem (Q2711331)

A well-known theorem of B. L. Osofsky, proved in 1964, asserts that a ring \(R\) is semisimple Artinian if every cyclic left \(R\)-module is injective. A module \(M\) is called extending (or CS) if every submodule of \(M\) is essential in a direct summand. By using an ingenious technique, \textit{B. L. Osofsky} and \textit{P. F. Smith} [J. Algebra 139, No. 2, 342-354 (1991; Zbl 0737.16001)] proved a remarkably general result stating that a cyclic module \(M\) has finite uniform dimension if every cyclic subfactor of \(M\) is extending. The paper under review uses a modified version of Osofsky-Smith's technique to show that if \(M\) is a cyclic module such that all cyclic subfactors of \(M\) are \(S\)-extending, then \(M\) satisfies the ACC on direct summands. Here, \(S\)-extending means the extending property relative to the class of all semisimple modules and all singular modules. The general concept of the relative extending property (or relative continuity) was defined and studied by \textit{S. R. López-Permouth, K. Oshiro} and \textit{S. T. Rizvi} [Commun. Algebra 26, No. 11, 3497-3510 (1998; Zbl 0912.16001)].