No label defined (Q4434286)

It is assumed here that all rings are associative with identity and all modules are unitary right modules. A submodule \(A\) of \(M\) is a complement of a submodule \(B\) of \(M\) if it is maximal among the submodules having zero intersection with \(B\). Two modules are orthogonal if they have no nonzero isomorphic submodules. A module \(M\) is said to have the internal cancellation property if \(M=A\oplus B=A'\oplus C\) and \(A\cong A'\) imply \(B\cong C\). A module which is not isomorphic to any of its proper summands is called directly finite. An SICC-module is a module in which submodules isomorphic to complements are complements. The class of SICC-modules properly contains the class of continuous modules. The main results established by the author are: (i) A finite direct sum of SICC-modules is an SICC-module if and only if they are relatively injective; (ii) Any decomposition of an SICC-module into indecomposable submodules complements summands; (iii) If \(M\) is a locally Noetherian SICC-module, then \(M=X\oplus Y\), where \(X\) is a maximal quasi-injective direct summand, \(Y\) has no nonzero quasi-injective direct summands and \(X\) and \(Y\) are orthogonal; (iv) A locally Noetherian, directly finite SICC-module has the internal cancellation property.