The strongly flat dimension of modules and rings

TL;DR

This paper introduces the S-strongly flat dimension, a new homological measure for modules and rings, extending the understanding of flatness and semisimplicity in commutative algebra.

Contribution

It defines the S-strongly flat dimension and explores its relationship with existing homological dimensions, advancing the theory of flat modules over commutative rings.

Findings

Introduced the S-strongly flat dimension for modules and rings.

Established relations between S-strongly flat dimension and other homological dimensions.

Provided insights into the structure of rings close to being S-almost semisimple.

Abstract

Let R be a commutative ring with identity, and let S be a multiplicative subset of R. Positselski and Sl\'avik introduced the concepts of S-strongly flat modules and S-weakly cotorsion R-modules, and they showed that these concepts are useful in describing flat modules and Enochs cotorsion modules over commutative rings (see the discussion in [13, Section 1.1]). In this paper, we introduce a homological dimension, called the S-strongly flat dimension, for modules and rings. These dimensions measure how far away a module M is from being S-strongly flat and how far a ring R is from being S-almost semisimple. The relations between the S-strongly flat dimension and other dimensions are discussed.