Related papers: Injective Envelopes and (Gorenstein) Flat Covers

Let $\mathcal{P}$ be the class of rings for which every indecomposable right module is pure-projective or pure-injective. When $R$ is a Noetherian local commutative ring of maximal ideal $P$, it is proven that $R\in\mathcal{P}$ if and only…

We introduce a general version of singular compactness theorem which makes it possible to show that being a $\Sigma$-cotorsion module is a property of the complete theory of the module. As an application of the powerful tools developed…

Injective, pure-injective and fp-injective modules are well known to provide for approximations in the category Mod-R for an arbitrary ring R. We prove that this fails for many other generalizations of injectivity: the $C_1$, $C_2$, $C_3$,…

We answer a question of Celikbas, Dao, and Takahashi by establishing the following characterization of Gorenstein rings: a commutative noetherian local ring $(R,\mathfrak m)$ is Gorenstein if and only if it admits an integrally closed…

For a Noetherian ring $R$ and a cotilting $R$-module $T$ of injective dimension at least $1$, we prove that the derived dimension of $R$ with respect to the category $\mathcal{X}_T$ is precisely the injective dimension of $T$ by applying…

A generalization of Grothendieck's non-vanishing theorem is proved for a module which is finite over a local homomorphism. It is also proved that the Gorenstein injective dimension of such a module, if finite, is bounded below by its Krull…

It is shown that a ring is left semihereditary if and only each homomorphic image of its injective hull as left module is FP-injective. It is also proven that a commutative ring R is reduced and arithmetical if and only if E/U if…

Given a two-sided noetherian ring $A$ with a dualizing complex, we show that the big finitistic dimension of $A$ is finite if and only if every bounded below Gorenstein-projective-acyclic cochain complex of Gorenstein-projective $A$-modules…

Let $R$ be a valuation ring and let $Q$ be its total quotient ring. It is proved that any singly projective (respectively flat) module is finitely projective if and only if $Q$ is maximal (respectively artinian). It is shown that each…

We define a notion of total acyclicity for complexes of flat quasi-coherent sheaves over a semi-separated noetherian scheme, generalising complete flat resolutions over a ring. By studying these complexes as objects of the pure derived…

In this paper, we investigate the notions of $\mathcal{X}^\bot$-projective, $\mathcal{X}$-injective and $\mathcal{X}$-flat modules and give some characterizations of these modules, where $\mathcal{X}$ is a class of left $R$-modules. We…

We consider the homotopy category of complexes of projective modules over a Noetherian ring. Truncation at degree zero induces a fully faithful triangle functor from the totally acyclic complexes to the stable derived category. We show that…

It is well-known that a class of all modules, which are torsion-free with respect to a set of ideals, is closed under injective envelopes. In this paper, we consider a kind of a dual to this statement - are the divisibility classes closed…

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…

Let $A$ be a commutative noetherian ring, let $\mathfrak{a}\subseteq A$ be an ideal, and let $I$ be an injective $A$-module. A basic result in the structure theory of injective modules states that the $A$-module $\Gamma_{\mathfrak{a}}(I)$…

We show that Iacob-Iyengar's answer to a question of Avromov-Foxby extends from Noetherian to coherent rings. In particular, a coherent ring R is regular if and only if the injective (resp. projective) dimension of each complex X of…

This paper investigates the homological properties of the faithfully flat Hopf Galois extension $A \subseteq B$. It establishes that when $B$ is a noetherian affine PI algebra and $A$ is AS Gorenstein, $B$ inherits the AS Gorenstein…

Let R be a commutative noetherian local ring. A finitely generated R-module C is semidualizing if it is self-orthogonal and satisfies the condition Hom_R(C,C) \cong R. We prove that a Cohen-Macaulay ring R with dualizing module D admits a…

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 T be a tilting module.In this paper, some relative Gorenstein projective and Gortenstein injective modules are studied.