$\Sigma$-semi-compact rings and modules

TL;DR

This paper characterizes semi-compact modules and rings with properties like $ ext{Sigma}$-semi-compactness, linking module properties to ring conditions such as chain conditions and Noetherianity, with implications for flat and projective modules.

Contribution

It introduces the property $ ext{Sigma}$-semi-compact} for modules, providing new characterizations and connecting module properties to ring-theoretic conditions like chain conditions and semisimplicity.

Findings

A ring is left $ ext{Sigma}$-semi-compact iff it satisfies chain conditions on annulets.

Every flat left $R$-module is semi-compact iff $R$ is left $ ext{Sigma}$-semi-compact.

For certain rings, flat modules being semi-compact characterizes the quotient ring as pure semisimple.

Abstract

In this paper several characterizations of semi-compact modules are given. Among other results, we study rings whose semi-compact modules are injective. We introduce the property $\Sigma$-semi-compact for modules and we characterize the modules satisfying this property. In particular, we show that a ring $R$ is left $\Sigma$-semi-compact if and only if $R$ satisfies the ascending (resp. descending) chain condition on the left (resp. right) annulets. Moreover, we prove that every flat left $R$-module is semi-compact if and only if $R$ is left $\Sigma$-semi-compact. We also show that a ring $R$ is left Noetherian if and only if every pure projective left $R$-module is semi-compact. Finally, we consider rings whose flat modules are finitely (singly) projective. For any commutative arithmetical ring $R$ with quotient ring $Q$, we prove that every flat $R$-module is semi-compact if and only if every flat $R$-module is finitely (singly) projective if and only if $Q$ is pure semisimple. A similar result is obtained for reduced commutative rings $R$ with the space $\mathrm{Min}\ R$ compact. We also prove that every $(\aleph_{0},1)$-flat left $R$-module is singly projective if $R$ is left $\Sigma$-semi-compact, and the converse holds if $R^{\mathbb{N}}$ is an $(\aleph_{0},1)$-flat left $R$-module.