-
S-FP-injective modules
Authors:
Driss Bennis,
Ayoub Bouziri
Abstract:
Let R be a commutative ring, and let S be a multiplicative subset of R. In this paper, we introduce and investigate the notion of S-FP-injective modules. Among other results, we show that, under certain conditions, a ring R is S-Noetherian if and only if every S-FP-injective R-module is S-injective. Moreover, we establish, under certain conditions, counterparts of Matlis, Stenström and Cheatham-St…
▽ More
Let R be a commutative ring, and let S be a multiplicative subset of R. In this paper, we introduce and investigate the notion of S-FP-injective modules. Among other results, we show that, under certain conditions, a ring R is S-Noetherian if and only if every S-FP-injective R-module is S-injective. Moreover, we establish, under certain conditions, counterparts of Matlis, Stenström and Cheatham-Stone's characterizations of S-coherent rings.
△ Less
Submitted 30 September, 2024;
originally announced October 2024.
-
The strongly flat dimension of modules and rings
Authors:
Ayoub Bouziri
Abstract:
Let R be a commutative ring with identity, and let S be a multiplicative subset of R. Positselski and Slávik 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 homolog…
▽ More
Let R be a commutative ring with identity, and let S be a multiplicative subset of R. Positselski and Slávik 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.
△ Less
Submitted 20 September, 2024;
originally announced September 2024.
-
On $S$-injective modules
Authors:
Driss Bennis,
Ayoub Bouziri
Abstract:
Let $R$ be a commutative ring with identity, and let $S$ be a multiplicative subset of $R$. In this paper, we introduce the notion of $S$-injective modules as a weak version of injective modules. Among other results, we provide an $S$-version of Baer's characterization of injective modules. We also present an $S$-version of Lambek's characterization of flat modules: an $R$-module $M$ is $S$-flat i…
▽ More
Let $R$ be a commutative ring with identity, and let $S$ be a multiplicative subset of $R$. In this paper, we introduce the notion of $S$-injective modules as a weak version of injective modules. Among other results, we provide an $S$-version of Baer's characterization of injective modules. We also present an $S$-version of Lambek's characterization of flat modules: an $R$-module $M$ is $S$-flat if and only if its character, $\text{Hom}_{\mathbb{Z}}(M, \mathbb{Q}/\mathbb{Z})$, is an $S$-injective $R$-module. As applications, we establish, under certain conditions, $S$-counterparts of the Cartan--Eilenberg-Bass and Cheatham--Stone characterizations of Noetherian rings.
△ Less
Submitted 5 October, 2024; v1 submitted 4 June, 2024;
originally announced June 2024.
-
S-flat cotorsion pair
Authors:
Driss Bennis,
Ayoub Bouziri
Abstract:
Let $R$ be a commutative ring, and let $S$ be a multiplicative subset of $R$. In this paper, we investigate the notion of $S$-cotorsion modules. An $R$-module $C$ is called $S$-cotorsion if $\text{Ext}^{1}_{R}(F,C) = 0$ for every $S$-flat $R$-module $F$. Among other results, we establish that the pair $(S\mathcal{F}, S\mathcal{C})$, where $S\mathcal{F}$ denotes the class of all $S$-flat $R$-module…
▽ More
Let $R$ be a commutative ring, and let $S$ be a multiplicative subset of $R$. In this paper, we investigate the notion of $S$-cotorsion modules. An $R$-module $C$ is called $S$-cotorsion if $\text{Ext}^{1}_{R}(F,C) = 0$ for every $S$-flat $R$-module $F$. Among other results, we establish that the pair $(S\mathcal{F}, S\mathcal{C})$, where $S\mathcal{F}$ denotes the class of all $S$-flat $R$-modules and $S\mathcal{C}$ denotes the class of all $S$-cotorsion modules, forms a hereditary perfect cotorsion pair. As applications, we provide characterizations of $S$-perfect rings in terms of $S$-cotorsion modules. We conclude the paper with results on $S\mathcal{F}$-preenvelopes. Namely, we prove that if every module has an $S\mathcal{F}$-preenvelope, then $R$ is $S$-coherent. Furthermore, we establish the converse under the condition that $R_S$ is a finitely presented $R$-module.
△ Less
Submitted 30 August, 2024; v1 submitted 14 March, 2024;
originally announced March 2024.
-
When every S-flat module is (flat) projective
Authors:
Driss Bennis,
Ayoub Bouziri
Abstract:
Let R be a commutative ring with identity and S a multiplicative subset of R. The aim of this paper is to study the class of commutative rings in which every S-flat module is flat (resp., projective). An R-module M is said to be S-flat if the localization of M at S, M_S, is a flat R_S-module. Commutative rings R for which all S-flat R-modules are flat are characterized by the fact that R/Rs is a v…
▽ More
Let R be a commutative ring with identity and S a multiplicative subset of R. The aim of this paper is to study the class of commutative rings in which every S-flat module is flat (resp., projective). An R-module M is said to be S-flat if the localization of M at S, M_S, is a flat R_S-module. Commutative rings R for which all S-flat R-modules are flat are characterized by the fact that R/Rs is a von Neumann regular ring for every s in S. While, commutative rings R for which all S-flat R-modules are projective are characterized by the following two conditions: R is perfect and the Jacobson radical J(R) of R is S-divisible. Rings satisfying these conditions are called S-perfect. Moreover, we give some examples to distinguish perfect rings, S-perfect rings, and semisimple rings. We also investigate the transfer results of the "S-perfectness" for various ring constructions, which allows the construction of more interesting examples.
△ Less
Submitted 7 March, 2024;
originally announced March 2024.
