Related papers: Ascent Properties for Test Modules
Given a homomorphism of commutative noetherian rings R --> S and an S-module N, it is proved that the Gorenstein flat dimension of N over R, when finite, may be computed locally over S. When, in addition, the homomorphism is local and N is…
It is proved that a module $M$ over a Noetherian ring $R$ of positive characteristic $p$ has finite flat dimension if there exists an integer $t\ge 0$ such that $\operatorname{Tor}_i^R(M, {}^{f^{e}}\!R)=0$ for $t\le i\le t+\dim R$ and…
In this paper, we study the small finitistic dimension of a commutative ring from the viewpoint of finitistic flat homological algebra. Using the class $FPR(R)$ of modules admitting finite projective resolutions, we investigate the…
We analyze stable homology over associative rings and obtain results over Artin algebras and commutative noetherian rings. Our study develops similarly for these classes; for simplicity we only discuss the latter here. Stable homology is a…
The ascent and descent of the Mittag-Leffler property were instrumental in proving Zariski locality of the notion of an (infinite dimensional) vector bundle by Raynaud and Gruson in \cite{RG}. More recently, relative Mittag-Leffler modules…
For finitely generated modules $M$ and $N$ over a Gorenstein local ring $R$, one has $depth M + depth N= depth(M\otimes N) +depth R$, i.e., the depth formula holds, if $M$ and $N$ are Tor-independent and Tate homology…
Let $\Lambda$ be a left and right noetherian ring. First, for $m,n\in\mathbb{N}\cup\{\infty\}$, we give equivalent conditions for a given $\Lambda$-module to be $n$-torsionfree and have $m$-torsionfree transpose. Using them, we investigate…
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…
In this paper, we define a class of relative derived functors in terms of left or right weak flat resolutions to compute the weak flat dimension of modules. Moreover, we investigate two classes of modules larger than that of weak injective…
Let $ R $ be a $ d $-dimensional Cohen-Macaulay (CM) local ring of minimal multiplicity. Set $ S := R/({\bf f}) $, where $ {\bf f} := f_1,\ldots,f_c $ is an $ R $-regular sequence. Suppose $ M $ and $ N $ are maximal CM $ S $-modules. It is…
We use the machinery of relative homological algebra to study modules of finite Gorenstein flat dimension.
In this paper we develop the homological properties of the $(\mathcal{L}, \mathcal{A})$-Gorenstein flat $R$-modules $\mathcal{GF}_{(\mathcal{F}(R), \mathcal{A})}$ proposed by Gillespie. Where the class $\mathcal{A} \subseteq \mathrm{Mod}…
In this paper, some results on vanishing and non-vanishing of generalized local cohomology modules are presented and some relations between those modules and, Ext and ordinary local cohomology modules are studied. Also, several cofiniteness…
Let $\varphi: R\rightarrow S$ be a flat local homomorphism between commutative Noetherian local rings. In this paper, the ascent and descent of Artinian module structures between $R$ and $S$ are investigated. For an Artinian $R$-module $A$,…
Using approximations, we give several characterizations of separability of bimodules. We also discuss how separability properties can be used to transfer some representation theoretic properties from one ring to another one: contravariant…
Let R be a Cohen-Macaulay ring and M a maximal Cohen-Macaulay R-module. Inspired by recent striking work by Iyama, Burban-Iyama-Keller-Reiten and Van den Bergh we study the question of when the endomorphism ring of M has finite global…
Considering modules of finite complete intersection dimension over commutative Noetherian local rings, we prove (co)homology vanishing results in which we assume the vanishing of nonconsecutive (co)homology groups. In fact, the (co)homology…
We study self-extensions of modules over symmetric artin algebras. We show that non-projective modules with eventually vanishing self-extensions must lie in AR components of stable type $\mathbb{Z}A_{\infty}$. Moreover, the degree of the…
Let (A,m_A) -> (B,m_B) be a local morphism of local noetherian rings and M a finitely generated B-module. Then it follows from Tor^A_1(M,A/m_A) = 0 that M is a flat A-module. This is usually called the "local criterion of flatness". We give…
In the first part of this paper the projective dimension of the structural modules in the BGG category $\mathcal{O}$ is studied. This dimension is computed for simple, standard and costandard modules. For tilting and injective modules an…