-
On $S$-injective modules
Authors:
Driss Bennis,
Ayoub Bouziri
Abstract:
Let $R$ be a commutative ring with an identity, and $S$ 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 the Baer's characterisation of injective modules. We also give an $S$-version of the Lambek's characterization of flat modules: an $R$-module $M$ is $S$-flat…
▽ More
Let $R$ be a commutative ring with an identity, and $S$ 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 the Baer's characterisation of injective modules. We also give an $S$-version of the Lambek's characterization of flat modules: an $R$-module $M$ is $S$-flat if and only if its character, $Hom_{\mathbb{Z}}(M,\mathbb{Q}/\mathbb{Z})$, is an $S$-injective $R$-module. As applications, we establish, under certain conditions, counterparts of Cheatham and Stone's characterizations for $S$-Noetherian rings using the notion of character modules.
△ Less
Submitted 4 June, 2024;
originally announced June 2024.
-
A new approach to flatness in categories of sheaves
Authors:
Driss Bennis,
Soumia Mamdouhi
Abstract:
Recently, many authors have embraced the study of certain properties of modules such as projectivity, injectivity and flatness from an alternative point of view. This way, Durgun has introduced absolutely pure domains of modules as a mean to gauge the extent of the flatness of any given module (so not just to determine whether or not the module is flat). In this paper, we develop a new treatment o…
▽ More
Recently, many authors have embraced the study of certain properties of modules such as projectivity, injectivity and flatness from an alternative point of view. This way, Durgun has introduced absolutely pure domains of modules as a mean to gauge the extent of the flatness of any given module (so not just to determine whether or not the module is flat). In this paper, we develop a new treatment of the goemetric flatness in categories of sheaves which shed more light on some of its various important aspects. Namely, in terms of this new approach, some classical schemes are characterized, some new results are established and also known ones are generalized.
△ Less
Submitted 1 April, 2024;
originally announced April 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 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.
-
Partitioning zero-divisor graphs of finite commutative rings into global defensive alliances
Authors:
Driss Bennis,
Brahim El Alaoui
Abstract:
For a commutative ring $R$ with identity, the zero-divisor graph of $R$, denoted $Γ(R)$, is the graph whose vertices are the non-zero zero divisors of $R$ with two distinct vertices $x$ and $y$ are adjacent if and only if $xy=0$. In this paper, we are interested in partitioning the vertex set of $Γ(R)$ into global defensive alliances for a finite commutative ring $R$. This problem has been well in…
▽ More
For a commutative ring $R$ with identity, the zero-divisor graph of $R$, denoted $Γ(R)$, is the graph whose vertices are the non-zero zero divisors of $R$ with two distinct vertices $x$ and $y$ are adjacent if and only if $xy=0$. In this paper, we are interested in partitioning the vertex set of $Γ(R)$ into global defensive alliances for a finite commutative ring $R$. This problem has been well investigated in graph theory. Here we connected it with the ring theoretical context. We characterize various commutative finite rings for which the zero divisor graph is partitionable into global defensive alliances. We also give several examples to illustrate the scopes and limits of our results.
△ Less
Submitted 22 May, 2023;
originally announced May 2023.
-
Rings whose associated extended zero-divisor graphs are complemented
Authors:
Driss Bennis,
Brahim El Alaoui,
Raja L'hamri
Abstract:
Let $R$ be a commutative ring with identity $1\neq 0$. In this paper, we continue the study started in [10] concerning when the extended zero-divisor graph of $R$, $\overlineΓ(R)$, is complemented. We also study when $\overlineΓ(R)$ is uniquely complemented. We give a complete characterization of when $\overlineΓ(R)$ of a finite ring is complemented. Various examples are given using the direct pro…
▽ More
Let $R$ be a commutative ring with identity $1\neq 0$. In this paper, we continue the study started in [10] concerning when the extended zero-divisor graph of $R$, $\overlineΓ(R)$, is complemented. We also study when $\overlineΓ(R)$ is uniquely complemented. We give a complete characterization of when $\overlineΓ(R)$ of a finite ring is complemented. Various examples are given using the direct product of rings and idealizations of modules.
△ Less
Submitted 17 May, 2023;
originally announced May 2023.
-
Relative weak global Gorenstein dimension, AB-contexts and model structures
Authors:
Driss Bennis,
Rachid EL Maaouy,
Juan Ramon Garcia Rozas,
Luis Oyonarte
Abstract:
In this paper we introduce and study the weak Gorenstein global dimension of a ring $R$ with respect to a left $R$-module $C$. We provide several characterizations of when this homological invariant is bounded. Two main applications are given: first, we prove that the weak Gorenstein global dimension of $R$ relative to a semidualizing $(R,S)$-bimodule $C$ can be computed either by the ${\rm G_C}$-…
▽ More
In this paper we introduce and study the weak Gorenstein global dimension of a ring $R$ with respect to a left $R$-module $C$. We provide several characterizations of when this homological invariant is bounded. Two main applications are given: first, we prove that the weak Gorenstein global dimension of $R$ relative to a semidualizing $(R,S)$-bimodule $C$ can be computed either by the ${\rm G_C}$-flat dimension of the left $R$-modules or right $S$-modules, just like the (absolute) weak global dimension. As a consequence, a new argument for solving Bennis' conjecture is obtained. As a second application, we give a concrete description of the weak equivalences in the ${\rm G_C}$-flat model structure recently found by the authors. In order to prove this result, an interesting connection between abelian model structures and AB-weak contexts is proved. This connection leads to a result that can be applied to obtain abelian model structures with a simpler description of trivial objects.
△ Less
Submitted 6 July, 2024; v1 submitted 11 April, 2023;
originally announced April 2023.
-
A Simplified Algorithm for Identifying Abnormal Changes in Dynamic Networks
Authors:
Bouchaib Azamir,
Driss Bennis,
Bertrand Michel
Abstract:
Topological data analysis has recently been applied to the study of dynamic networks. In this context, an algorithm was introduced and helps, among other things, to detect early warning signals of abnormal changes in the dynamic network under study. However, the complexity of this algorithm increases significantly once the database studied grows. In this paper, we propose a simplification of the a…
▽ More
Topological data analysis has recently been applied to the study of dynamic networks. In this context, an algorithm was introduced and helps, among other things, to detect early warning signals of abnormal changes in the dynamic network under study. However, the complexity of this algorithm increases significantly once the database studied grows. In this paper, we propose a simplification of the algorithm without affecting its performance. We give various applications and simulations of the new algorithm on some weighted networks. The obtained results show clearly the efficiency of the introduced approach. Moreover, in some cases, the proposed algorithm makes it possible to highlight local information and sometimes early warning signals of local abnormal changes.
△ Less
Submitted 17 October, 2022;
originally announced October 2022.
-
Relative Gorenstein flat modules and Foxby classes and their model structures
Authors:
Driss Bennis,
Rachid El Maaouy,
Juan Ramón García Rozas,
Luis Oyonarte
Abstract:
A model structure on a category is a formal way of introducing a homotopy theory on that category, and if the model structure is abelian and hereditary, its homotopy category is known to be triangulated. So a good way to both build and model a triangulated category is to build a hereditary abelian model structure. Given a ring $R$ and a (non necessarily semidualizing) left $R$-module $C$, we intro…
▽ More
A model structure on a category is a formal way of introducing a homotopy theory on that category, and if the model structure is abelian and hereditary, its homotopy category is known to be triangulated. So a good way to both build and model a triangulated category is to build a hereditary abelian model structure. Given a ring $R$ and a (non necessarily semidualizing) left $R$-module $C$, we introduce and study new concepts of relative Gorenstein cotorsion and cotorsion modules: $\rm G_C$-cotorsion and (strongly) $\mathcal{C}_C$-cotorsion. As an application, we prove that there is a unique hereditary abelian model structure on the category of left $R$-modules, in which the cofibrations are the monomorphisms with $\rm G_C$-flat cokernel and the fibrations are the epimorphisms with $\mathcal{C}_C$-cotorsion kernel belonging to the Bass class $\mathcal{B}_C(R)$. In the second part, when $C$ is a semidualizing $(R,S)$-bimodule, we investigate the existence of abelian model structures on the category of left (resp., right) $R$-modules where the cofibrations are the epimorphisms (resp., monomorphisms) with kernel (resp., cokernel) belonging to the Bass (resp., Auslander) class $\mathcal{B}_C(R)$ (resp., $\mathcal{A}_C(R)$). We also study the class of $\rm G_C$-flat modules and the Bass class from the Auslander-Buchweitz approximation theory point of view. We show that they are part of weak AB-contexts. As the concept of weak AB-context can be dualized, we also give dual results that involve the class of $\rm G_C$-cotorsion modules and the Auslander class.
△ Less
Submitted 24 January, 2024; v1 submitted 4 May, 2022;
originally announced May 2022.
-
On 1-semiregular and 2-semiregular rings
Authors:
Driss Bennis,
François Couchot
Abstract:
In this paper, we are mainly interested in the two questions "which are the commutative rings on which every finitely presented modules is [Formula: see text]-periodic (respectively, [Formula: see text]-periodic)?". It is proved that these kinds of rings are particular cases of semiregular rings. So, we call them [Formula: see text]-semiregular and [Formula: see text]-semiregular rings, respective…
▽ More
In this paper, we are mainly interested in the two questions "which are the commutative rings on which every finitely presented modules is [Formula: see text]-periodic (respectively, [Formula: see text]-periodic)?". It is proved that these kinds of rings are particular cases of semiregular rings. So, we call them [Formula: see text]-semiregular and [Formula: see text]-semiregular rings, respectively. We establish characterizations of these rings in terms of various classical notions and we provide several examples of such rings.
△ Less
Submitted 7 March, 2022;
originally announced March 2022.
-
A new approach to projectivity in the categories of complexes, II
Authors:
Driss Bennis,
Juan Ramón García Rozas,
Hanane Ouberka,
Luis Oyonarte
Abstract:
It is now very known how the subprojectivity of modules provides a fruitful new unified framework of the classical projectivity and flatness. In this paper, we extend this fact to the category of complexes by generalizing and unifying several known classical results. We further provide various examples to illustrate the scopes and limits of the established results. This paper is a continuation of…
▽ More
It is now very known how the subprojectivity of modules provides a fruitful new unified framework of the classical projectivity and flatness. In this paper, we extend this fact to the category of complexes by generalizing and unifying several known classical results. We further provide various examples to illustrate the scopes and limits of the established results. This paper is a continuation of a recent work in which it was shown among other several things that the subprojectivity of complexes can be characterized in terms of morphisms in the homotopy category.
△ Less
Submitted 2 March, 2022;
originally announced March 2022.
-
On global defensive k-alliances in zero-divisor graph of finite commutative rings
Authors:
Driss Bennis,
Brahim El Alaoui,
Khalid Ouarghi
Abstract:
The global defensive $k$-alliance is a very well studied notion in graph theory, it provides a method of classification of graphs based on relations between members of a particular set of vertices. In this paper we explore this notion in zero-divisor graph of commutative rings. The established results generalize and improve recent work by Muthana and Mamouni who treated a particular case for…
▽ More
The global defensive $k$-alliance is a very well studied notion in graph theory, it provides a method of classification of graphs based on relations between members of a particular set of vertices. In this paper we explore this notion in zero-divisor graph of commutative rings. The established results generalize and improve recent work by Muthana and Mamouni who treated a particular case for $k=-1$ known by the global defensive alliance. Various examples are also provided which illustrate and delimit the scope of the established results.
△ Less
Submitted 18 July, 2021;
originally announced July 2021.
-
Flat-precover completing domains
Authors:
Houda Amzil,
Driss Bennis,
J. R. Garcia Rozas,
Luis Oyonarte
Abstract:
Recently, many authors have embraced the study of certain properties of modules such as projectivity, injectivity and flatness from an alternative point of view. Rather than saying a module has a certain property or not, each module is assigned a relative domain which, somehow, measures to which extent it has this particular property. In this work, we introduce a new and fresh perspective on flatn…
▽ More
Recently, many authors have embraced the study of certain properties of modules such as projectivity, injectivity and flatness from an alternative point of view. Rather than saying a module has a certain property or not, each module is assigned a relative domain which, somehow, measures to which extent it has this particular property. In this work, we introduce a new and fresh perspective on flatness of modules. However, we will first investigate a more general context by introducing domains relative to a precovering class $\x$. We call these domains $\x$-precover completing domains. In particular, when $\x$ is the class of flat modules, we call them flat-precover completing domains. This approach allows us to provide a common frame for a number of classical notions. Moreover, some known results are generalized and some classical rings are characterized in terms of these domains.
△ Less
Submitted 29 June, 2021;
originally announced June 2021.
-
Relative Gorenstein dimensions over triangular matrix rings
Authors:
Driss Bennis,
Rachid El Maaouy,
Juan Ramón García Rozas,
Luis Oyonarte
Abstract:
Let $A$ and $B$ be rings, $U$ a $(B,A)$-bimodule and $T=\begin{pmatrix} A&0\\U&B \end{pmatrix}$ the triangular matrix ring. In this paper, several notions in relative Gorenstein algebra over a triangular matrix ring are investigated. We first study how to construct w-tilting (tilting, semidualizing) over $T$ using the corresponding ones over $A$ and $B$. We show that when $U$ is relative (weakly)…
▽ More
Let $A$ and $B$ be rings, $U$ a $(B,A)$-bimodule and $T=\begin{pmatrix} A&0\\U&B \end{pmatrix}$ the triangular matrix ring. In this paper, several notions in relative Gorenstein algebra over a triangular matrix ring are investigated. We first study how to construct w-tilting (tilting, semidualizing) over $T$ using the corresponding ones over $A$ and $B$. We show that when $U$ is relative (weakly) compatible we are able to describe the structure of $G_C$-projective modules over $T$. As an application, we study when a morphism in $T$-Mod has a special $G_CP(T)$-precover and when the class $G_CP(T)$ is a special precovering class. In addition, we study the relative global dimension of $T$. In some cases, we show that it can be computed from the relative global dimensions of $A$ and $B$. We end the paper with a counterexample to a result that characterizes when a $T$-module has a finite projective dimension.
△ Less
Submitted 20 June, 2021;
originally announced June 2021.
-
A new approach to projectivity in the categories of complexes
Authors:
Driss Bennis,
J. R. Garcia Rozas,
Hanane Ouberka,
Luis Oyonarte
Abstract:
Recently, several authors have adopted new alternative approaches in the study of some classical notions of modules. Among them, we find the notion of subprojectivity which was introduced to measure in a way the degree of projectivity of modules. The study of subprojectivity has recently been extended to the context of abelian categories, which has brought to light some interesting new aspects. Fo…
▽ More
Recently, several authors have adopted new alternative approaches in the study of some classical notions of modules. Among them, we find the notion of subprojectivity which was introduced to measure in a way the degree of projectivity of modules. The study of subprojectivity has recently been extended to the context of abelian categories, which has brought to light some interesting new aspects. For instance, in the category of complexes, it gives a new way to measure, among other things, the exactness of complexes. In this paper, we prove that the subprojectivity notion provides a new sight of null-homotopic morphisms in the category of complexes. This will be proven through two main results. Moreover, various results which emphasize the importance of subprojectivity in the category of complexes are also given. Namely, we give some applications by characterizing some classical rings and establish various examples that allow us to reflect the scope and limits of our results.
△ Less
Submitted 20 June, 2021;
originally announced June 2021.
-
Rings with finite n-Weak injective dimension and (n,k)-Weak cotorsion modules
Authors:
Mostafa Amini,
Houda Amzil,
Driss Bennis
Abstract:
Let R be a ring and n,k be two non-negative integers. As an extension of several known notions, we introduce and study (n,k)-weak cotorsion modules using the class of right R-modules with n-weak flat dimensions at most k. Various examples and applications are also given.
Let R be a ring and n,k be two non-negative integers. As an extension of several known notions, we introduce and study (n,k)-weak cotorsion modules using the class of right R-modules with n-weak flat dimensions at most k. Various examples and applications are also given.
△ Less
Submitted 13 June, 2021; v1 submitted 2 May, 2021;
originally announced May 2021.
-
Subprojectivity in abelian categories
Authors:
Houda Amzil,
Driss Bennis,
J. R. Garcia Rozas,
Hanane Ouberka,
Luis Oyonarte
Abstract:
In the last few years, Lopez-Permouth and several collaborators have introduced a new approach in the study of the classical projectivity, injectivity and flatness of modules. This way, they introduced subprojectivity domains of modules as a tool to measure, somehow, the projectivity level of such a module (so not just to determine whether or not the module is projective). In this paper we develop…
▽ More
In the last few years, Lopez-Permouth and several collaborators have introduced a new approach in the study of the classical projectivity, injectivity and flatness of modules. This way, they introduced subprojectivity domains of modules as a tool to measure, somehow, the projectivity level of such a module (so not just to determine whether or not the module is projective). In this paper we develop a new treatment of the subprojectivity in any abelian category which shed more light on some of its various important aspects. Namely, in terms of subprojectivity, some classical results are unified and some classical rings are characterized. It is also shown that, in some categories, the subprojectivity measures notions other than the projectivity. Furthermore, this new approach allows, in addition to establishing nice generalizations of known results, to construct various new examples such as the subprojectivity domain of the class of Gorenstein projective objects, the class of semi-projective complexes and particular types of representations of a finite linear quiver. The paper ends with a study showing that the fact that a subprojectivity domain of a class coincides with its first right Ext-orthogonal class can be characterized in terms of the existence of preenvelopes and precovers.
△ Less
Submitted 1 March, 2021;
originally announced March 2021.
-
Category of n-weak injective and n-weak flat modules with respect to special super presented modules
Authors:
Mostafa Amini,
Houda Amzil,
Driss Bennis
Abstract:
Let $R$ be a ring and $n$, $k$ two non-negative integers. In this paper, we introduce the concepts of $n$-weak injective and $n$-weak flat modules and via the notion of special super finitely presented modules, we obtain some characterizations of these modules. We also investigate two classes of modules with richer contents, namely $\mathcal{WI}_k^n(R)$ and $\mathcal{WF}_k^n(R^{op})$ which are lar…
▽ More
Let $R$ be a ring and $n$, $k$ two non-negative integers. In this paper, we introduce the concepts of $n$-weak injective and $n$-weak flat modules and via the notion of special super finitely presented modules, we obtain some characterizations of these modules. We also investigate two classes of modules with richer contents, namely $\mathcal{WI}_k^n(R)$ and $\mathcal{WF}_k^n(R^{op})$ which are larger than that of modules with weak injective and weak flat dimensions less than or equal to $k$. Then on any arbitrary ring, we study the existence of $\mathcal{WI}_k^n(R)$ and $\mathcal{WF}_k^n(R^{op})$ covers and preenvelopes
△ Less
Submitted 6 June, 2021; v1 submitted 16 February, 2021;
originally announced February 2021.
-
f-Biderivations and Jordan biderivations of unital algebras with idempotents
Authors:
Mohammad Ali Bahmani,
Driss Bennis,
Hamid Reza Ebrahimi Vishki,
Brahim Fahid
Abstract:
The notion of f-derivations was introduced by Beidar and Fong to unify several kinds of linear maps including derivations, Lie derivations and Jordan derivations. In this paper we introduce the notion of f-biderivations as a natural "biderivation" counterpart of the notion of "f-derivations". We first show, under some conditions, that any f-derivation is a Jordan biderivation. Then, we turn to stu…
▽ More
The notion of f-derivations was introduced by Beidar and Fong to unify several kinds of linear maps including derivations, Lie derivations and Jordan derivations. In this paper we introduce the notion of f-biderivations as a natural "biderivation" counterpart of the notion of "f-derivations". We first show, under some conditions, that any f-derivation is a Jordan biderivation. Then, we turn to study f-biderivations of a unital algebra with an idempotent. Our second main result shows, under some conditions, that every Jordan biderivation can be written as a sum of a biderivation, an antibiderivation and an extremal biderivation. As a consequence we show that every Jordan biderivation on a triangular algebra is a biderivation.
△ Less
Submitted 25 January, 2020;
originally announced January 2020.
-
n-gr-Coherent rings and Gorenstein graded modules
Authors:
Mostafa Amini,
Driss Bennis,
Soumia Mamdouhi
Abstract:
Let R be a graded ring and n > 1 an integer. In this paper, We introduce the notions of Ding n-gr-injective and Ding n-gr-flat modules by using of special finitely presented graded modules . Then, some properties of Ding n-gr-injective and Ding n-gr-flat modules are obtained. On n-gr-coherent rings, we investigate the relationships among Ding n-gr-injective and Ding n-gr-flat modules and also, we…
▽ More
Let R be a graded ring and n > 1 an integer. In this paper, We introduce the notions of Ding n-gr-injective and Ding n-gr-flat modules by using of special finitely presented graded modules . Then, some properties of Ding n-gr-injective and Ding n-gr-flat modules are obtained. On n-gr-coherent rings, we investigate the relationships among Ding n-gr-injective and Ding n-gr-flat modules and also, we prove that any graded module in R-gr (resp. gr-R) admits an Ding n-gr-injective (resp. Ding n-gr-flat) cover and preenvelope.
△ Less
Submitted 13 June, 2021; v1 submitted 16 December, 2019;
originally announced December 2019.
-
The category of modules on an n-trivial extension: the basic properties
Authors:
Dirar Benkhadra,
Driss Bennis,
J. R. Garcia Rozas
Abstract:
In this paper we investigate a categorical aspect of $n$-trivial extension of a ring by a family of modules. Namely, we introduce the right (resp., left) $n$-trivial extension of a category by a family of endofunctors. Among other results, projective, injective and flat objects of this category are characterized. We end the paper with two applications. We characterize when an $n$-trivial extension…
▽ More
In this paper we investigate a categorical aspect of $n$-trivial extension of a ring by a family of modules. Namely, we introduce the right (resp., left) $n$-trivial extension of a category by a family of endofunctors. Among other results, projective, injective and flat objects of this category are characterized. We end the paper with two applications. We characterize when an $n$-trivial extension ring is $k$-perfect and we establish a result on the selfinjective dimension of an $n$-trivial extension ring.
△ Less
Submitted 21 May, 2020; v1 submitted 21 November, 2019;
originally announced November 2019.
-
On proper and exact relative homological dimensions
Authors:
Driss Bennis,
J. R. Garcia Rozas,
Lixin Mao,
Luis Oyonarte
Abstract:
In Enochs' relative homological dimension theory occur the so called (co)resolvent and (co)proper dimensions which are defined using proper and coproper resolutions constructed by precovers and preenvelopes, respectively. Recently, some authors have been interested in relative homological dimensions defined by just exact sequences. In this paper, we contribute to the investigation of these relativ…
▽ More
In Enochs' relative homological dimension theory occur the so called (co)resolvent and (co)proper dimensions which are defined using proper and coproper resolutions constructed by precovers and preenvelopes, respectively. Recently, some authors have been interested in relative homological dimensions defined by just exact sequences. In this paper, we contribute to the investigation of these relative homological dimensions. We first study the relation between these two kinds of relative homological dimensions and establish some "transfer results" under adjoint pairs. Then, relative global dimensions are studied which lead to nice characterizations of some properties of particular cases of self-orthogonal subcategories. At the end of the paper, relative derived functors are studied and generalizations of some known results of balance for relative homology are established.
△ Less
Submitted 23 May, 2020; v1 submitted 21 November, 2019;
originally announced November 2019.
-
Gorenstein n-X-injective and n-X-flat modules with respect to a special finitely presented module
Authors:
Mostafa Amini,
Arij Benkhadra,
Driss Bennis
Abstract:
Let R be a ring, X a class of R-modules and n>1 an integer. In this paper, via special finitely presented modules, we introduce the concepts of Gorenstein n-X-injective and n-X-flat modules. And aside, we obtain some equivalent properties of these modules on n-X-coherent rings. Then, we investigate the relations among Gorenstein n-X-injective, n-X-flat, injective and flat modules on X-FC-rings (i.…
▽ More
Let R be a ring, X a class of R-modules and n>1 an integer. In this paper, via special finitely presented modules, we introduce the concepts of Gorenstein n-X-injective and n-X-flat modules. And aside, we obtain some equivalent properties of these modules on n-X-coherent rings. Then, we investigate the relations among Gorenstein n-X-injective, n-X-flat, injective and flat modules on X-FC-rings (i.e., self n-X-injective and n-X-coherent rings). Several known results are generalized to this new context
△ Less
Submitted 12 January, 2021; v1 submitted 12 October, 2019;
originally announced October 2019.
-
On Generalized $(m, n)$-Jordan Derivations and Centralizers of Semiprime Rings
Authors:
Driss Bennis,
Basudeb Dhara,
Brahim Fahid
Abstract:
In this paper we give an affirmative answer to two conjectures on generalized $(m,n)$-Jordan derivations and generalized $(m,n)$-Jordan centralizers raised in [S. Ali and A. Fošner, \textit{On Generalized $(m, n)$-Derivations and Generalized $(m, n)$-Jordan Derivations in Rings,} Algebra Colloq. \textbf{21} (2014), 411--420] and [A. Fošner, \textit{A note on generalized $(m,n)$-Jordan centralizers…
▽ More
In this paper we give an affirmative answer to two conjectures on generalized $(m,n)$-Jordan derivations and generalized $(m,n)$-Jordan centralizers raised in [S. Ali and A. Fošner, \textit{On Generalized $(m, n)$-Derivations and Generalized $(m, n)$-Jordan Derivations in Rings,} Algebra Colloq. \textbf{21} (2014), 411--420] and [A. Fošner, \textit{A note on generalized $(m,n)$-Jordan centralizers,} Demonstratio Math. \textbf{46} (2013), 254--262]. Precisely, when $R$ is a semiprime ring, we prove, under some suitable torsion restrictions, that every nonzero generalized $(m,n)$-Jordan derivation (resp., a generalized $(m,n)$-Jordan centralizer) is a derivation (resp., a two-sided centralizer).
△ Less
Submitted 19 December, 2018;
originally announced December 2018.
-
Dhara-Rehman-Raza's identities on left ideals of prime rings
Authors:
Driss Bennis,
Brahim Fahid,
Abdellah Mamouni
Abstract:
It is known that every nonzero Jordan ideal of $2$-torsion free semiprime rings contains a nonzero ideal. In this paper we show that also any square closed Lie ideal of a $2$-torsion free prime ring contains a nonzero ideal. This can be interpreted by saying that studying identities over one sided ideals is the "optimal" case to study identities. With this fact in mind, we generalize some results…
▽ More
It is known that every nonzero Jordan ideal of $2$-torsion free semiprime rings contains a nonzero ideal. In this paper we show that also any square closed Lie ideal of a $2$-torsion free prime ring contains a nonzero ideal. This can be interpreted by saying that studying identities over one sided ideals is the "optimal" case to study identities. With this fact in mind, we generalize some results of Dhara, Rehman and Raza in [Lie ideals and action of generalized derivations in rings, Miskolc Mathematical Notes, \textbf{16} (2015), 769 -- 779] to the context of nonzero left ideals.
△ Less
Submitted 12 December, 2018;
originally announced December 2018.
-
On S-coherence
Authors:
Driss Bennis,
Mohammed El Hajoui
Abstract:
Recentely, Anderson and Dumitrescu's $S$-finiteness has attracted the interest of several authors. In this paper, we introduce the notions of $S$-finitely presented modules and then of $S$-coherent rings which are $S$-versions of finitely presented modules and coherent rings, respectively. Among other results, we give an $S$-version of the classical Chase's characterization of coherent rings. We e…
▽ More
Recentely, Anderson and Dumitrescu's $S$-finiteness has attracted the interest of several authors. In this paper, we introduce the notions of $S$-finitely presented modules and then of $S$-coherent rings which are $S$-versions of finitely presented modules and coherent rings, respectively. Among other results, we give an $S$-version of the classical Chase's characterization of coherent rings. We end the paper with a brief discussion on other $S$-versions of finitely presented modules and coherent rings. We prove that these last $S$-versions can be characterized in terms of localization.
△ Less
Submitted 15 November, 2016;
originally announced November 2016.
-
Derivations and the first cohomology group of trivial extension algebras
Authors:
Driss Bennis,
Brahim Fahid
Abstract:
In this paper we investigate in details derivations on trivial extension algebras. We obtain generalizations of both known results on derivations on triangular matrix algebras and a known result on first cohomology group of trivial extension algebras. As a consequence we get the characterization of trivial extension algebras on which every derivation is inner. We show that, under some conditions,…
▽ More
In this paper we investigate in details derivations on trivial extension algebras. We obtain generalizations of both known results on derivations on triangular matrix algebras and a known result on first cohomology group of trivial extension algebras. As a consequence we get the characterization of trivial extension algebras on which every derivation is inner. We show that, under some conditions, a trivial extension algebra on which every derivation is inner has necessarily a triangular matrix representation. The paper starts with detailed study (with examples) of the relation between the trivial extension algebras and the triangular matrix algebras.
△ Less
Submitted 5 June, 2017; v1 submitted 10 April, 2016;
originally announced April 2016.
-
On n-Trivial Extensions of Rings
Authors:
D. D. Anderson,
Driss Bennis,
Brahim Fahid,
Abdulaziz Shaiea
Abstract:
The notion of trivial extension of a ring by a module has been extensively studied and used in ring theory as well as in various other areas of research like cohomology theory, representation theory, category theory and homological algebra. In this paper we extend this classical ring construction by associating a ring to a ring $R$ and a family $M=(M_i)_{i=1}^{n}$ of $n$ $R$-modules for a given in…
▽ More
The notion of trivial extension of a ring by a module has been extensively studied and used in ring theory as well as in various other areas of research like cohomology theory, representation theory, category theory and homological algebra. In this paper we extend this classical ring construction by associating a ring to a ring $R$ and a family $M=(M_i)_{i=1}^{n}$ of $n$ $R$-modules for a given integer $n\geq 1$. We call this new ring construction an $n$-trivial extension of $R$ by $M$. In particular, the classical trivial extension will be just the $1$-trivial extension. Thus we generalize several known results on the classical trivial extension to the setting of $n$-trivial extensions and we give some new ones. Various ring-theoretic constructions and properties of $n$-trivial extensions are studied and a detailed investigation of the graded aspect of $n$-trivial extensions is also given. We end the paper with an investigation of various divisibily properties of $n$-trivial extensions. In this context several open questions arise.
△ Less
Submitted 1 October, 2016; v1 submitted 6 April, 2016;
originally announced April 2016.
-
n-X-Coherent Rings
Authors:
Driss Bennis
Abstract:
This paper unifies several generalizations of coherent rings in one notion. Namely, we introduce $n$-$\mathscr{X}$-coherent rings, where $\mathscr{X}$ is a class of modules and $n$ is a positive integer, as those rings for which the subclass $\mathscr{X}_n$ of $n$-presented modules of $\mathscr{X}$ is not empty, and every module in $\mathscr{X}_n$ is $n+1$-presented. Then, for each particular cl…
▽ More
This paper unifies several generalizations of coherent rings in one notion. Namely, we introduce $n$-$\mathscr{X}$-coherent rings, where $\mathscr{X}$ is a class of modules and $n$ is a positive integer, as those rings for which the subclass $\mathscr{X}_n$ of $n$-presented modules of $\mathscr{X}$ is not empty, and every module in $\mathscr{X}_n$ is $n+1$-presented. Then, for each particular class $\mathscr{X}$ of modules, we find correspondent relative coherent rings. Our main aim is to show that the well-known Chase's, Cheatham and Stone's, Enochs', and Stenstrom's characterizations of coherent rings hold true for any $n$-$\mathscr{X}$-coherent rings.
△ Less
Submitted 25 January, 2010;
originally announced January 2010.
-
$(n,m)$-SG rings
Authors:
Driss Bennis
Abstract:
This paper is a continuation of the paper Int. Electron. J. Algebra 6 (2009), 219-227. Namely, we introduce and study a doubly filtered set of classes of rings of finite Gorenstein global dimension, which are called $(n,m)$-SG for integers $n\geq 1$ and $m\geq 0$. Examples of $(n,m)$-SG rings, for $n=1$ and 2 and every $m\geq 0$, are given.
This paper is a continuation of the paper Int. Electron. J. Algebra 6 (2009), 219-227. Namely, we introduce and study a doubly filtered set of classes of rings of finite Gorenstein global dimension, which are called $(n,m)$-SG for integers $n\geq 1$ and $m\geq 0$. Examples of $(n,m)$-SG rings, for $n=1$ and 2 and every $m\geq 0$, are given.
△ Less
Submitted 17 July, 2009;
originally announced July 2009.
-
(n,m)-Strongly Gorenstein Projective Modules
Authors:
Driss Bennis
Abstract:
This paper is a continuation of the papers J. Pure Appl. Algebra, 210 (2007), 437--445 and J. Algebra Appl., 8 (2009), 219--227. Namely, we introduce and study a doubly filtered set of classes of modules of finite Gorenstein projective dimension, which are called $(n,m)$-strongly Gorenstein projective ($(n,m)$-SG-projective for short) for integers $n\geq 1$ and $m\geq 0$. We are mainly intereste…
▽ More
This paper is a continuation of the papers J. Pure Appl. Algebra, 210 (2007), 437--445 and J. Algebra Appl., 8 (2009), 219--227. Namely, we introduce and study a doubly filtered set of classes of modules of finite Gorenstein projective dimension, which are called $(n,m)$-strongly Gorenstein projective ($(n,m)$-SG-projective for short) for integers $n\geq 1$ and $m\geq 0$. We are mainly interested in studying syzygies of these modules. As consequences, we show that a module $M$ has Gorenstein projective dimension at most $m$ if and only if $M\oplus G$ is $(1,m)$-SG-projective for some Gorenstein projective module $G$. And, over rings of finite left finitistic flat dimension, that a module of finite Gorenstein projective dimension has finite projective dimension if and only if it has finite flat dimension.
△ Less
Submitted 11 July, 2009;
originally announced July 2009.
-
Weak Gorenstein global dimension
Authors:
Driss Bennis
Abstract:
In this paper, we investigate the weak Gorenstein global dimensions. We are mainly interested in studying the problem when the left and right weak Gorenstein global dimensions coincide. We first show, for GF-closed rings, that the left and right weak Gorenstein global dimensions are equal when they are finite. Then, we prove that the same equality holds for any two-sided coherent ring. We conclu…
▽ More
In this paper, we investigate the weak Gorenstein global dimensions. We are mainly interested in studying the problem when the left and right weak Gorenstein global dimensions coincide. We first show, for GF-closed rings, that the left and right weak Gorenstein global dimensions are equal when they are finite. Then, we prove that the same equality holds for any two-sided coherent ring. We conclude the paper with some examples and a brief discussion of the scope and limits of our results.
△ Less
Submitted 4 May, 2009;
originally announced May 2009.
-
A generalization of strongly Gorenstein projective modules
Authors:
Driss Bennis,
Najib Mahdou
Abstract:
This paper generalize the idea of the authors in J. Pure Appl. Algebra 210 (2007) 437--445. Namely, we define and study a particular case of Gorenstein projective modules. We investigate some change of rings results for this new kind of modules. Examples over not necessarily Noetherian rings are given.
This paper generalize the idea of the authors in J. Pure Appl. Algebra 210 (2007) 437--445. Namely, we define and study a particular case of Gorenstein projective modules. We investigate some change of rings results for this new kind of modules. Examples over not necessarily Noetherian rings are given.
△ Less
Submitted 13 December, 2008;
originally announced December 2008.
-
First, second, and third change of rings theorems for the Gorenstein homological dimensions
Authors:
Driss Bennis,
Najib Mahdou
Abstract:
Motivated by their impact on homological algebra, the change of rings results have been the subject of several interesting works in Gorenstein homological algebra over Noetherian rings.
In this paper, we investigate the change of rings theorems for the Gorenstein dimensions over arbitrary rings. Namely, by the use of the notion of strongly Gorenstein modules, we extend the well-known first, se…
▽ More
Motivated by their impact on homological algebra, the change of rings results have been the subject of several interesting works in Gorenstein homological algebra over Noetherian rings.
In this paper, we investigate the change of rings theorems for the Gorenstein dimensions over arbitrary rings. Namely, by the use of the notion of strongly Gorenstein modules, we extend the well-known first, second, and third change of rings theorems for the classical projective and injective dimensions to the Gorenstein projective and injective dimensions, respectively. Each of the results established, in this paper, for the Gorenstein projective dimension is a generalization of a result established over Noetherian rings and for finitely generated modules. In this paper, we investigate the change of rings theorems for the Gorenstein dimensions over arbitrary rings. Namely, by the use of the notion of strongly Gorenstein modules, we extend the well-known first, second, and third change of rings theorems for the classical projective and injective dimensions to the Gorenstein projective and injective dimensions, respectively. Each of the results established in this paper for the Gorenstein projective dimension is a generalization of a $G$-dimension of a finitely generated module $M$ over a noetherian ring $R$.
△ Less
Submitted 12 August, 2009; v1 submitted 11 December, 2008;
originally announced December 2008.
-
A Note on Gorenstein Flat Dimension
Authors:
D. Bennis
Abstract:
Unlike the Gorenstein projective and injective dimensions, the majority of results on the Gorenstein flat dimension have been established only over Noetherian (or coherent) rings. Naturally, one would like to generalize these results to any associative ring. In this direction, we show that the Gorenstein flat dimension is a refinement of the classical flat dimension over any ring; and we investi…
▽ More
Unlike the Gorenstein projective and injective dimensions, the majority of results on the Gorenstein flat dimension have been established only over Noetherian (or coherent) rings. Naturally, one would like to generalize these results to any associative ring. In this direction, we show that the Gorenstein flat dimension is a refinement of the classical flat dimension over any ring; and we investigate the relations between the Gorenstein projective dimension and the Gorenstein flat dimension.
△ Less
Submitted 17 November, 2008;
originally announced November 2008.
-
On n-Perfect Rings and Cotorsion Dimension
Authors:
D. Bennis,
N. Mahdou
Abstract:
A ring is called $n$-perfect ($n\geq 0$), if every flat module has projective dimension less or equal than $n$. In this paper, we show that the $n$-perfectness relate, via homological approach, some homological dimension of rings. We study $n$-perfectness in some known ring constructions. Finally, several examples of $n$-perfect rings satisfying special conditions are given.
A ring is called $n$-perfect ($n\geq 0$), if every flat module has projective dimension less or equal than $n$. In this paper, we show that the $n$-perfectness relate, via homological approach, some homological dimension of rings. We study $n$-perfectness in some known ring constructions. Finally, several examples of $n$-perfect rings satisfying special conditions are given.
△ Less
Submitted 10 September, 2008; v1 submitted 14 January, 2008;
originally announced January 2008.
-
Rings over which the class of Gorenstein flat modules is closed under extensions
Authors:
D. Bennis
Abstract:
A ring $R$ is called left GF-closed, if the class of all Gorenstein flat left $R$-modules is closed under extensions. The class of left GF-closed rings includes strictly the one of right coherent rings and the one of rings of finite weak dimension.
In this paper, we investigate the Gorenstein flat dimension over left GF-closed rings. Namely, we generalize the fact that the class of all Gorenst…
▽ More
A ring $R$ is called left GF-closed, if the class of all Gorenstein flat left $R$-modules is closed under extensions. The class of left GF-closed rings includes strictly the one of right coherent rings and the one of rings of finite weak dimension.
In this paper, we investigate the Gorenstein flat dimension over left GF-closed rings. Namely, we generalize the fact that the class of all Gorenstein flat left modules is projectively resolving over right coherent rings to left GF-closed rings. Also, we generalize the characterization of Gorenstein flat left modules (then of Gorenstein flat dimension of left modules) over right coherent rings to left GF-closed rings. Finally, using direct products of rings, we show how to construct a left GF-closed ring that is neither right coherent nor of finite weak dimension.
△ Less
Submitted 8 January, 2008;
originally announced January 2008.
-
Global Gorenstein dimensions of polynomial rings and of direct products of rings
Authors:
Driss Bennis,
Najib Mahdou
Abstract:
In this paper, we extend the well-known Hilbert's syzygy theorem to the Gorenstein homological dimensions of rings. Also, we study the Gorenstein homological dimensions of direct products of rings. Our results generate examples of non-Noetherian rings of finite Gorenstein dimensions and infinite classical weak dimension.
In this paper, we extend the well-known Hilbert's syzygy theorem to the Gorenstein homological dimensions of rings. Also, we study the Gorenstein homological dimensions of direct products of rings. Our results generate examples of non-Noetherian rings of finite Gorenstein dimensions and infinite classical weak dimension.
△ Less
Submitted 3 January, 2008;
originally announced January 2008.
-
Rings over which all modules are strongly Gorenstein projective
Authors:
D. Bennis,
N. Mahdou,
K. Ouarghi
Abstract:
One of the main results of this paper is the characterization of the rings over which all modules are strongly Gorenstein projective. We show that these kinds of rings are very particular cases of the well-known quasi-Frobenius rings. We give examples of rings over which all modules are Gorenstein projective but not necessarily strongly Gorenstein projective.
One of the main results of this paper is the characterization of the rings over which all modules are strongly Gorenstein projective. We show that these kinds of rings are very particular cases of the well-known quasi-Frobenius rings. We give examples of rings over which all modules are Gorenstein projective but not necessarily strongly Gorenstein projective.
△ Less
Submitted 12 April, 2008; v1 submitted 2 December, 2007;
originally announced December 2007.
-
Global Gorenstein dimensions of polynomial rings and of direct product of rings
Authors:
D. Bennis,
N. Mahdou
Abstract:
In this paper, we extend the well-known Hilbert's syzygy theorem to the Gorenstein homological dimensions of rings. Also, we study the Gorenstein homological dimensions of direct product of rings, which gives examples of non-Noetherian rings of finite Gorenstein dimensions and infinite classical weak dimension.
In this paper, we extend the well-known Hilbert's syzygy theorem to the Gorenstein homological dimensions of rings. Also, we study the Gorenstein homological dimensions of direct product of rings, which gives examples of non-Noetherian rings of finite Gorenstein dimensions and infinite classical weak dimension.
△ Less
Submitted 8 January, 2008; v1 submitted 2 December, 2007;
originally announced December 2007.
-
Gorenstein Global Dimensions and Cotorsion Dimension of Rings
Authors:
D. Bennis,
N. Mahdou
Abstract:
In this paper, we establish, as a generalization of a result on the classical homological dimensions of commutative rings, an upper bound on the Gorenstein global dimension of commutative rings using the global cotorsion dimension of rings. We use this result to compute the Gorenstein global dimension of some particular cases of trivial extensions of rings and of group rings.
In this paper, we establish, as a generalization of a result on the classical homological dimensions of commutative rings, an upper bound on the Gorenstein global dimension of commutative rings using the global cotorsion dimension of rings. We use this result to compute the Gorenstein global dimension of some particular cases of trivial extensions of rings and of group rings.
△ Less
Submitted 12 April, 2008; v1 submitted 2 December, 2007;
originally announced December 2007.
-
Global Gorenstein dimensions
Authors:
Driss Bennis,
Najib Mahdou
Abstract:
In this paper, we prove that the global Gorenstein projective dimension of a ring $R$ is equal to the global Gorenstein injective dimension of $R$, and that the global Gorenstein flat dimension of $R$ is smaller than the common value of the terms of this equality.
In this paper, we prove that the global Gorenstein projective dimension of a ring $R$ is equal to the global Gorenstein injective dimension of $R$, and that the global Gorenstein flat dimension of $R$ is smaller than the common value of the terms of this equality.
△ Less
Submitted 30 June, 2009; v1 submitted 12 November, 2006;
originally announced November 2006.
-
Strongly Gorenstein projective, injective, and flat modules
Authors:
Driss Bennis,
Najib Mahdou
Abstract:
In this paper, we study a particular case of Gorenstein projective, injective, and flat modules, which we call, respectively, strongly Gorenstein projective, injective, and flat modules. These last three modules give us a new characterization of the first modules, and confirm that there is an analogy between the notion of Gorenstein projective, injective, and flat modules and the notion of the u…
▽ More
In this paper, we study a particular case of Gorenstein projective, injective, and flat modules, which we call, respectively, strongly Gorenstein projective, injective, and flat modules. These last three modules give us a new characterization of the first modules, and confirm that there is an analogy between the notion of Gorenstein projective, injective, and flat modules and the notion of the usual projective, injective, and flat modules.
△ Less
Submitted 29 June, 2006;
originally announced June 2006.