Related papers: Model structures, n-Gorenstein flat modules and PG…
We give sufficient conditions for a Frobenius category to be equivalent to the category of Gorenstein projective modules over an Iwanaga-Gorenstein ring. We then apply this result to the Frobenius category of special Cohen-Macaulay modules…
We prove that if $f:R \rightarrow S$ is a local homomorphism of noetherian local rings of finite flat dimension and $M$ is a non-zero finitely generated $S$-module whose Gorenstein flat dimension over $R$ is bounded by the difference of the…
We generalise notions of Gorenstein homological algebra for rings to the context of arbitrary abelian categories. The results are strongest for module categories of rngs with enough idempotents. We also reformulate the notion of Frobenius…
Under semi-weak and weak compatibility of bimodules, we establish sufficient and necessary conditions of Gorenstein-projective modules over rings of Morita contexts with one bimodule homomorphism zero. This generalises and extends results…
We prove that a finite dimensional algebra $A$ with representation-finite subcategory consisting of modules that are semi-Gorenstein-projective and $n$-th syzygy modules is left weakly Gorenstein. This generalises a theorem of Ringel and…
Exact categories are a natural generalisation of abelian categories and provide a fertile ground to develop relative homological algebra. In this paper, starting from a class of relative Gorenstein projective objects in an exact category…
Let $T=\left( \begin{array}{cc} R & M 0 & S \end{array} \right) $ be a triangular matrix ring with $R$ and $S$ rings and $_RM_S$ an $R$-$S$-bimodule. We describe Gorenstein projective modules over $T$. In particular, we refine a result of…
We develop a theory of G-dimension for modules over local homomorphisms which encompasses the classical theory of G-dimension for finite modules over local rings. As an application, we prove that a local ring R of characteristic p is…
In this paper, we study the relationship of Gorenstein projective objects among three Abelian categories in a recollement. As an application, we introduce the relation of $n$-Gorenstein tilting modules (and Gorenstein syzygy modules) in…
Let $R$ be a ring. An $R$-module $M$ is said to be an absolutely $w$-pure module if and only if $\Ext^1_R(F,M)$ is a GV-torsion module for any finitely presented module $F$. In this paper, we introduce and study the concept of…
We study homological properties of test modules that are, in principle, modules that detect finite homological dimensions. The main outcome of our results is a generalization of a classical theorem of Auslander and Bridger: we prove that,…
We define the symmetric Auslander category A^s(R) to consist of complexes of projective modules whose left- and right-tails are equal to the left- and right tails of totally acyclic complexes of projective modules. The symmetric Auslander…
The purpose of this paper and its sequel, is to introduce a new class of modules over a commutative ring $R$, called $\mathbb{P}$-radical modules (modules $M$ satisfying the prime radical condition "$(\sqrt[p]{{\cal{P}}M}:M)={\cal{P}}$" for…
We prove that for all noetherian rings, the level of any homologically bounded complex $M$ with respect to the collection of projective or injective modules is bounded above by the projective dimension of $\bigoplus H(M)$ plus one or the…
For an $(n-1)$-Auslander algebra $\Lambda$ with global dimension $n$, we give some necessary conditions for $\Lambda$ admitting a maximal $(n-1)$-orthogonal subcategory in terms of the properties of simple $\Lambda$-modules with projective…
We give a sufficient condition for the class of Gorenstein injective modules be precovering: if $R$ is right noetherian and if the class of Gorenstein injective modules, $\mathcal{GI}$, is closed under filtrations, then $\mathcal{GI}$ is…
Let H be a coFrobenius Hopf algebra over a field k. Let A be a right H-comodule algebra over k. We recall that the category of right H-comodules admits a certain model structure whose homotopy category is equivalent to the stable category…
Let $R$ be a commutative ring. An $R$-module $M$ is said to be super finitely presented if there is an exact sequence of $R$-modules $\cdots\rightarrow P_n\rightarrow\cdots \rightarrow P_1\rightarrow P_0\rightarrow M\rightarrow 0$ where…
We study totally acyclic complexes of projective modules over triangular matrix rings and then use it to classify Gorenstein projective modules over such rings. We also use this classification to obtain some information concerning…
Let $R$ be a commutative Noetherian local ring with residue field $k$. Using the structure of Vogel cohomology, for any finitely generated module $M$, we introduce a new dimension, called $\zeta$-dimension, denoted by $\zeta-dim_R M$. This…