-
Rings whose mininjective modules are injective
Authors:
Yusuf Alagöz,
Sinem Benli-Göral,
Engin Büyükaşık,
Juan Ramón García Rozas,
Luis Oyonarte
Abstract:
The main goal of this paper is to characterize rings over which the mininjective modules are injective, so that the classes of mininjective modules and injective modules coincide. We show that these rings are precisely those Noetherian rings for which every min-flat module is projective and we study this characterization in the cases when the ring is Kasch, commutative and when it is quasi-Frobeni…
▽ More
The main goal of this paper is to characterize rings over which the mininjective modules are injective, so that the classes of mininjective modules and injective modules coincide. We show that these rings are precisely those Noetherian rings for which every min-flat module is projective and we study this characterization in the cases when the ring is Kasch, commutative and when it is quasi-Frobenius. We also treat the case of $n\times n$ upper triangular matrix rings, proving that their mininjective modules are injective if and only if $n=2$.
We use the developed machinery to find a new type of examples of indigent modules (those whose subinjectivity domain contains only the injective modules), whose existence is known, so far, only in some rather restricted situations.
△ Less
Submitted 22 April, 2025;
originally announced April 2025.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
Group convolutional codes
Authors:
S. Estrada,
J. R. Garcia Rozas,
J. Peralta,
E. Sanchez Garcia
Abstract:
In this note we introduce the concept of group convolutional code. We make a complete classification of the minimal $S_3$-convolutional codes over the field of five elements by means of Jategaonkar's theorems.
In this note we introduce the concept of group convolutional code. We make a complete classification of the minimal $S_3$-convolutional codes over the field of five elements by means of Jategaonkar's theorems.
△ Less
Submitted 19 February, 2007;
originally announced February 2007.
