\(\Sigma\)-semi-compact rings and modules. (Q2878804)

In this interesting paper, the authors study semi-compact and \(\Sigma\)-semi-compact modules and investigate rings over which some classes of modules have these properties. They prove that a ring \(R\) is left Noetherian if and only if every left \(R\)-module is semi-compact. They get equivalent conditions for a semi-compact module from which they deduce that every pure-injective module is semi-compact. But for a domain \(R\), every semi-compact \(R\)-module is pure-injective if and only if \(R\) is a division ring. They prove that a ring \(R\) is von Neumann regular if and only if every semi-compact (pure-injective) \(R\)-module is injective.NEWLINENEWLINE Next authors study rings over which every flat module is semi-compact. Prior to this, they study \(\Sigma\)-semi-compact modules. They prove that \(\Sigma\)-semi-compact \(R\)-modules are precisely the modules which satisfy d.c.c. on additive subgroups which are annihilators of some left ideals of \(R\) and hence \(\Sigma\)-semi-compactness is a hereditary property. They prove that every flat left \(R\)-module is semi-compact if and only if \(R\) is \(\Sigma\)-semi-compact as a left \(R\)-module.NEWLINENEWLINE Next using finitely (singly) projective modules they prove that if \(R\) is a commutative valuation ring with total quotient ring \(Q\) then \(Q\) is pure-semisimple if and only if every flat \(R\)-module is semi-compact. They generalize this result to noncommutative rings as follows. If \(S\) is a von Neumann regular, right epimorphic extension of a ring \(R\) then \(S\) is semisimple if and only if every flat left \(R\)-module is semi-compact.NEWLINENEWLINE Finally the authors study semi-compact modules in relation to cotorsion modules. They prove that a commutative reduced ring \(R\) is von Neumann regular if and only if every semi-compact \(R\)-module is cotorsion. A more general form of Proposition 2.2 seems to be true. If \(S\) is a left \(\Sigma\)-semi-compact ring then so is every subring of \(S\).