Related papers: The Right Orthogonal Class $\GP(R)^{\perp}$ via $\…

Let $R$ be any ring. We prove that all direct products of flat right $R$-modules have finite flat dimension if and only if each finitely generated left ideal of $R$ has finite projective dimension relative to the class of all $\mathcal…

It is a well-known result of Auslander and Reiten that contravariant finiteness of the class $\mathcal{P}^{\mathrm{fin}}_\infty$ (of finitely generated modules of finite projective dimension) over an Artin algebra is a sufficient condition…

For a given class of modules $\mathcal{A}$, we denote by $\widetilde{\mathcal{A}}$ the class of exact complexes $X$ having all cycles in $\mathcal{A}$, and by $dw(\mathcal{A})$ the class of complexes $Y$ with all components $Y_j$ in…

Let $\mathcal B$ be an extriangulated category with enough projectives and enough injectives. We define a proper $m$-term subcategory $\mathcal G$ on $\mathcal B$, which is an extriangulated subcategory. Then we give a correspondence…

We study the notions of $n$-hereditary rings and its connection to the classes of finitely $n$-presented modules, FP$_n$-injective modules, FP$_n$-flat modules and $n$-coherent rings. We give characterizations of $n$-hereditary rings in…

Let $C$ be a semidualizing module. We first investigate the properties of finitely generated $G_C$-projective modules. Then, relative to $C$, we introduce and study the rings of Gorenstein (weak) global dimensions at most 1, which we call…

In this paper we prove that if R is a left Noetherian and left regular ring such that all finitely generated projective left R-modules are stably free, then the same is true for the completion R[[x;\sigma,\delta]] of any Ore extension…

Let $R$ be a ring and Ch($R$) the category of chain complexes of $R$-modules. We put an abelian model structure on Ch($R$) whose homotopy category is equivalent to $K(Proj)$, the homotopy category of all complexes of projectives. However,…

Let R be a ring (not necessarily commutative). A left R-module is said to be cotorsion if Ext 1 R (G, M) = 0 for any flat R-module G. It is well known that each pure-injective left R-module is cotorsion, but the converse does not hold: for…

Let k be a field and q a non-zero element of k. In Part I, we have exhibited a 6-dimensional k-algebra A = A(q) and we have shown that if q has infinite multiplicative order, then A has a 3-dimensional local module which is…

It is proved that, for a left hereditary ring, an arbitrary left module has a representation in the form of the direct sum of a stable left module and indecomposable projective left modules (if and only if an arbitrary left module has a…

We introduce the notions of Gorenstein projective $\tau$-rigid modules, Gorenstein projective support $\tau$-tilting modules and Gorenstein torsion pairs and give a Gorenstein analog to Adachi-Iyama-Reiten's bijection theorem on support…

We define, via Gorenstein homomorphisms, a class of local rings over which there exist non-trivial totally reflexive modules. We also provide a general construction of such rings, which indicates their abundance.

It is proved that if a ring is left hereditary, left perfect and right coherent, then the stable category has cokernels. Moreover, we show that the condition for a ring to be left perfect and right coherent is also necessary for the stable…

We introduce the concepts of generalized compatible and cocompatible bimodules in order to characterize Gorenstein projective, injective and flat modules over trivial ring extensions. Let $R\ltimes M$ be a trivial extension of a ring $R$ by…

The ring of dual integers is the bounded polynomial ring $\mathbb Z[\epsilon]=\mathbb Z[T]/(T^2)$ with integer coefficients. We describe the (finitely generated) Gorenstein-projective $\mathbb Z[\epsilon]$-modules as the torsionless…

For a tensor ring $T_R(M)$, we obtain sufficient and necessary conditions to describe all complete projective resolutions and all Gorenstein projective modules. As a consequence, we provide a method for constructing Gorenstein projective…

For a ring $R$ and an additive subcategory $\C$ of the category $\Mod R$ of left $R$-modules, under some conditions we prove that the right Gorenstein subcategory of $\Mod R$ and the left Gorenstein subcategory of $\Mod R^{op}$ relative to…

We investigate when a commutative ring spectrum $R$ satisfies a homotopical version of local Gorenstein duality, extending the notion previously studied by Greenlees. In order to do this, we prove an ascent theorem for local Gorenstein…

In this paper, we introduce and study relative Auslander--Gorenstein pairs. This consists of a finite-dimensional Gorenstein algebra together with a self-orthogonal module that provides a further homological feature of the algebra in terms…