Related papers: Subprojectivity in abelian categories
We show that an iteration of the procedure used to define the Gorenstein projective modules over a commutative ring $R$ yields exactly the Gorenstein projective modules. Specifically, given an exact sequence of Gorenstein projective…
We prove that for a Frobenius extension, if a module over the extension ring is Gorenstein projective, then its underlying module over the the base ring is Gorenstein projective; the converse holds if the Frobenius extension is either…
The Gorenstein projective modules are proved to form a precovering class in the module category of a ring which has a dualizing complex.
We introduce the notion of relative singularity category with respect to any self-orthogonal subcategory $\omega$ of an abelian category. We introduce the Frobenius category of $\omega$-Cohen-Macaulay objects, and under some reasonable…
New homotopy invariant finiteness conditions on modules over commutative rings are introduced, and their properties are studied systematically. A number of finiteness results for classical homological invariants like flat dimension,…
Let $T$ be a right exact functor from an abelian category $\mathscr{B}$ into another abelian category $\mathscr{A}$. Then there exists a functor ${\bf p}$ from the product category $\mathscr{A}\times\mathscr{B}$ to the comma category…
Let $\X$ be a resolving subcategory of an abelian category. In this paper we investigate the singularity category $\ds(\underline\X)=\db(\mod\underline\X)/\kb(\proj(\mod\underline\X))$ of the stable category $\underline\X$ of $\X$. We…
Let $R$ be a ring with unity and $\mathcal{X}$ a semibrick in the module category $\mathrm{Mod}\,R$, that is, a class of pairwise orthogonal finitely presented modules whose endomorphism rings are division rings. We study the full…
Gorenstein homological dimensions are refinements of the classical homological dimensions, and finiteness singles out modules with amenable properties reflecting those of modules over Gorenstein rings. As opposed to their classical…
We introduce a similarity relation between submodules of a module $M$ over a ring $R$, extending the classical notion of similarity for right ideals. Focusing on (faithfully) projective modules, we establish a sharp lower bound for the…
In this paper, some new characterizations on Gorenstein projective, injective and flat modules over commutative noetherian local ring are given.
We give a new characterization of silting subcategories in the stable category of a Frobenius extriangulated category, generalizing the result of Di et al. (J. Algebra 525 (2019) 42-63) about the Auslander-Reiten type correspondence for…
For any ring R the category of monomorphisms is a full subcategory of the morphsim category over R, where the latter is equivalent to the module category of the triangular matrix ring with entries the ring R. In this work, we consider the…
We investigate the relationship between the level of a bounded complex over a commutative ring with respect to the class of Gorenstein projective modules and other invariants of the complex or ring, such as projective dimension, Gorenstein…
We study the classification of submodules of module categories over monoidal categories, extending ideas of Coulembier on the classification of tensor ideals in monoidal categories. We develop a framework that applies to module categories…
We consider an arbitrary Abelian category $\mathcal{A}$ and a subcategory $\mathcal{T}$ closed under extensions and direct summands, and characterize those $\mathcal{T}$ that are (semi-)special preenveloping in $\mathcal{A}$; as a…
We introduce a notion of total acyclicity associated to a subcategory of an abelian category and consider the Gorenstein objects they define. These Gorenstein objects form a Frobenius category, whose induced stable category is equivalent to…
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…
This paper is devoted to the more elementary aspects of the contramodule story, and can be viewed as an extended introduction to the more technically complicated arXiv:1503.05523. Reduced cotorsion abelian groups form an abelian category,…
We show that a direct limit of projective contramodules (over a right linear topological ring) is projective if it has a projective cover. A similar result is obtained for $\infty$-strictly flat contramodules of projective dimension not…