Related papers: Gorenstein projective modules and Frobenius extens…

In this paper, it is proved that a commutative noetherian local ring admitting a finitely generated module of finite projective and injective dimensions with respect to a semidualizing module is Gorenstein. This result recovers a celebrated…

Motivated by understanding the Nakayama conjecture which states that algebras of infinite dominant dimension should be self-injective, we study self-orthogonal modules with virtually Gorenstein endomorphism algebras and prove the following…

Let $R$ be a local ring of positive characteristic and $X$ a complex with nonzero finitely generated homology and finite injective dimension. We prove that if derived base change of $X$ via the Frobenius (or more generally, via a…

This paper provides a systematic treatment of Gorenstein homological aspects for cleft extensions of rings. In particular, we investigate Goresnteinness, Gorenstein projective modules and singularity categories in the context of cleft…

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…

We define a notion of complexity for modules over infinite groups. We show that if $M$ is a module over the group ring $kG$, and $M$ has complexity $\leq f$ (where $f$ is some complexity function) over some set of finite index subgroups of…

Let $A$ be an Iwanaga-Gorenstein ring. Enomoto conjectured that a self-orthogonal $A$-module has finite projective dimension. We prove this conjecture for $A$ having the property that every indecomposable non-projective maximal…

First we study the Gorenstein cohomological dimension ${\rm Gcd}_RG$ of groups $G$ over coefficient rings $R$, under changes of groups and rings; a characterization for finiteness of ${\rm Gcd}_RG$ is given. Some results in literature…

This paper is the result of a research project completed in the context of the first author's Undergraduate Student Research Award from the Natural Sciences and Engineering Research Council of Canada (NSERC). We prove a nesting phenomenon…

Let $A$ be an Artin algebra, $M$ be a Gorenstein projective $A$-module and $B =$ End$_A M$, then $M$ is a $A$-$B$-bimodule. We use the restricted flat dimension of $M_B$ to give a characterization of the homological dimensions of $A$ and…

We prove that Vop\v{e}nka's Principle implies that for every class $\mathfrak{X}$ of modules over any ring, the class of \textbf{$\boldsymbol{\mathfrak{X}}$-Gorenstein Projective modules}…

In this paper, we study the relation between $m$-strongly Gorenstein projective (resp. injective) modules and $n$-strongly Gorenstein projective (resp. injective) modules whenever $m \neq n$, and the homological behavior of $n$-strongly…

In this paper, we first study the Gorenstein projective/flat dimension of complexes of modules. The relation between the Gorenstein projective/flat dimension for complexes and that for modules are investigated. Then we study Tate, stable…

The separability tensor element of a separable extension of noncommutative rings is an idempotent when viewed in the correct endomorphism ring; so one speaks of a separability idempotent, as one usually does for separable algebras. It is…

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…

We show that a formal power series ring $A[[X]]$ over a noetherian ring $A$ is not a projective module unless $A$ is artinian. However, if $(A,{\mathfrak m})$ is local, then $A[[X]]$ behaves like a projective module in the sense that…

We prove that modules over an Artinian Gorenstein local ring $R$ have rational Poincar\'e series sharing a common denominator if $R/\soc(R)$ is a Golod ring. If $R$ is a Gorenstein local ring with square of the maximal ideal being generated…

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.

Let $\mathcal{A}$ be an essentially small abelian category. We prove that if $\mathcal{A}$ admits a generator $M$ with ${\rm End}_{\mathcal{A}}(M)$ right artinian, then $\mathcal{A}$ admits a projective generator. If $\mathcal{A}$ is…

We characterize left Noetherian rings in terms of the duality property of injective preenvelopes and flat precovers. For a left and right Noetherian ring $R$, we prove that the flat dimension of the injective envelope of any (Gorenstein)…