Characterizing rings by a direct decomposition property of their modules

A module M is said to satisfy the condition (℘*) if M is a direct sum of a projective module and a quasi-continuous module. In an earlier paper, we described the structure of rings over which every (countably generated) right module satisfies (℘*), and it was shown that such a ring is right artinian. In this note some additional properties of these rings are obtained. Among other results, we show that a ring over which all right modules satisfy (℘*) is also left artinian, but the property (℘*) is not left-right symmetric.

Decompositions of modules into projective modules and CS-modules

Let M be a right R-module. It is shown that M is a locally Noetherian module if every finitely generated module in σ[M] is a direct sum of a projective module and a CS-module. Moreover, if every module in σ[M] is a direct sum of a projective module and a CS-module, then every module in σ[M] is a direct sum of modules which are either indecomposable projective or uniform Σ-quasi-injective. In particular, if every module in σ[M] is a direct sum of a projective module and a quasi-continuous module, then every module in σ[M] is a direct sum of a projective module and a quasi-injective module.

On the Goldie dimension of injective modules

Let M be an essentially finitely generated injective (or, more generally, quasi-continuous) module. It is shown that if M satisfies a mild uniqueness condition on essential closures of certain submodules, then the existence of an infinite independent set of submodules of M implies the existence of a larger independent set on some quotient of M modulo a directed union of direct summands. This provides new characterisations of injective (or quasi-continuous) modules of finite Goldie dimension. These results are then applied to the study of indecomposable decompositions of quasi-continuous modules and nonsingular CS modules.

Relative injectivity and CS-modules

In this paper we show that a direct decomposition of modulesM⊕N, withNhomologically independent to the injective hull ofM, is a CS-module if and only ifNis injective relative toMand both ofMandNare CS-modules. As an application, we prove that a direct sum of a non-singular semisimple module and a quasi-continuous module with zero socle is quasi-continuous. This result is known for quasi-injective modules. But when we confine ourselves to CS-modules we need no conditions on their socles. Then we investigate direct sums of CS-modules which are pairwise relatively inective. We show that every finite direct sum of such modules is a CS-module. This result is known for quasi-continuous modules. For the case of infinite direct sums, one has to add an extra condition. Finally, we briefly discuss modules in which every two direct summands are relatively inective.