scholarly journals EMBEDDING MODULES OF FINITE HOMOLOGICAL DIMENSION

2012 ◽  
Vol 55 (1) ◽  
pp. 85-96
Author(s):  
SEAN SATHER-WAGSTAFF
Keyword(s):  
Projective Dimension ◽  
Homological Dimension ◽  
Finitely Generated ◽  
Injective Dimension ◽  
Locally Finite ◽  
Semidualizing Module ◽  
Finite Projective Dimension ◽  
Finitely Generated Modules ◽  
The Way

AbstractThis paper builds on work of Hochster and Yao that provides nice embeddings for finitely generated modules of finite G-dimension, finite projective dimension or locally finite injective dimension. We extend these results by providing similar embeddings in the relative setting, that is, for certain modules of finite GC-dimension, finite C-projective dimension, locally finite C-injective dimension or locally finite C-injective dimension where C is a semidualizing module. Along the way, we extend some results for modules of finite homological dimension to modules of locally finite homological dimension in the relative setting.

scholarly journals An Euler characteristic for modules of finite G-dimension

2008 ◽  
Vol 102 (2) ◽  
pp. 206 ◽  
Author(s):  
Sean Sather-Wagstaff ◽  
Diana White
Keyword(s):  
Euler Characteristic ◽  
Betti Numbers ◽  
Projective Dimension ◽  
Finitely Generated ◽  
Finite Projective Dimension ◽  
Extremal Behavior ◽  
Classical Invariant ◽  
Category Of Modules ◽  
Finitely Generated Modules

We extend Auslander and Buchsbaum's Euler characteristic from the category of finitely generated modules of finite projective dimension to the category of modules of finite G-dimension using Avramov and Martsinkovsky's notion of relative Betti numbers. We prove analogues of some properties of the classical invariant and provide examples showing that other properties do not translate to the new context. One unexpected property is in the characterization of the extremal behavior of this invariant: the vanishing of the Euler characteristic of a module $M$ of finite G-dimension implies the finiteness of the projective dimension of $M$. We include two applications of the Euler characteristic as well as several explicit calculations.

scholarly journals Homological aspects of semidualizing modules

2010 ◽  
Vol 106 (1) ◽  
pp. 5 ◽  
Author(s):  
Ryo Takahashi ◽  
Diana White
Keyword(s):  
Projective Dimension ◽  
Dual Theory ◽  
Injective Dimension ◽  
Relative Cohomology ◽  
Semidualizing Module ◽  
Finite Projective Dimension ◽  
Semidualizing Modules ◽  
The Relationship ◽  
Cohomology Modules

We investigate the notion of the $C$-projective dimension of a module, where $C$ is a semidualizing module. When $C=R$, this recovers the standard projective dimension. We show that three natural definitions of finite $C$-projective dimension agree, and investigate the relationship between relative cohomology modules and absolute cohomology modules in this setting. Finally, we prove several results that demonstrate the deep connections between modules of finite projective dimension and modules of finite $C$-projective dimension. In parallel, we develop the dual theory for injective dimension and $C$-injective dimension.

REGULAR LOCAL ALGEBRAS OVER VALUATION DOMAINS: WEAK DIMENSION AND REGULAR SEQUENCES

2008 ◽  
Vol 07 (05) ◽  
pp. 575-591
Author(s):  
HAGEN KNAF
Keyword(s):  
Projective Dimension ◽  
Regular Sequence ◽  
Homological Dimension ◽  
Finitely Generated ◽  
Prüfer Domain ◽  
Regular Sequences ◽  
Local Algebras ◽  
Weak Dimension ◽  
Valuation Domains ◽  
Finitely Presented

A local ring O is called regular if every finitely generated ideal I ◃ O possesses finite projective dimension. In the article localizations O = Aq, q ∈ Spec A, of a finitely presented, flat algebra A over a Prüfer domain R are investigated with respect to regularity: this property of O is shown to be equivalent to the finiteness of the weak homological dimension wdim O. A formula to compute wdim O is provided. Furthermore regular sequences within the maximal ideal M ◃ O are studied: it is shown that regularity of O implies the existence of a maximal regular sequence of length wdim O. If q ∩ R has finite height, then this sequence can be chosen such that the radical of the ideal generated by its members equals M. As a consequence it is proved that if O is regular, then the factor ring O/(q ∩ R)O, which is noetherian, is Cohen–Macaulay. If in addition (q ∩ R)Rq ∩ R is not finitely generated, then O/(q ∩ R)O itself is regular.

scholarly journals On modules of finite projective dimension

2015 ◽  
Vol 219 ◽  
pp. 87-111 ◽  
Author(s):  
S. P. Dutta
Keyword(s):  
Local Ring ◽  
Projective Dimension ◽  
Order Ideal ◽  
Local Rings ◽  
Minimal Generator ◽  
Finite Projective Dimension ◽  
Special Cases ◽  
Nonzero Divisor ◽  
Finitely Generated Modules ◽  
Minimal Generators

AbstractWe address two aspects of finitely generated modules of finite projective dimension over local rings and their connection in between: embeddability and grade of order ideals of minimal generators of syzygies. We provide a solution of the embeddability problem and prove important reductions and special cases of the order ideal conjecture. In particular, we derive that, in any local ringRof mixed characteristicp> 0, wherepis a nonzero divisor, ifIis an ideal of finite projective dimension overRandp𝜖Iorpis a nonzero divisor onR/I, then every minimal generator ofIis a nonzero divisor. Hence, ifPis a prime ideal of finite projective dimension in a local ringR, then every minimal generator ofPis a nonzero divisor inR.

Homological Dimensions with Respect to a Semidualizing Module and Tensor Products of Algebras

2015 ◽  
Vol 22 (02) ◽  
pp. 215-222
Author(s):  
Maryam Salimi ◽  
Elham Tavasoli ◽  
Siamak Yassemi
Keyword(s):  
Commutative Ring ◽  
Noetherian Ring ◽  
Tensor Products ◽  
Projective Dimension ◽  
Injective Dimension ◽  
Semidualizing Module ◽  
Homological Dimensions

Let C be a semidualizing module for a commutative ring R. It is shown that the [Formula: see text]-injective dimension has the ability to detect the regularity of R as well as the [Formula: see text]-projective dimension. It is proved that if D is dualizing for a Noetherian ring R such that id R(D) = n < ∞, then [Formula: see text] for every flat R-module F. This extends the result due to Enochs and Jenda. Finally, over a Noetherian ring R, it is shown that if M is a pure submodule of an R-module N, then [Formula: see text]. This generalizes the result of Enochs and Holm.

𝐿-dimension for modules over a local ring

2021 ◽  
pp. 83-91
Author(s):  
Courtney Gibbons ◽  
David Jorgensen ◽  
Janet Striuli
Keyword(s):  
Local Ring ◽  
Complete Intersection ◽  
Residue Field ◽  
Free Resolution ◽  
Homological Dimension ◽  
Finitely Generated ◽  
Content Type ◽  
Commutative Local Ring ◽  
Finitely Generated Modules

We introduce a new homological dimension for finitely generated modules over a commutative local ring R R , which is based on a complex derived from a free resolution L L of the residue field of R R , and called L L -dimension. We prove several properties of L L -dimension, give some applications, and compare L L -dimension to complete intersection dimension.

scholarly journals On modules of finite projective dimension

2015 ◽  
Vol 219 ◽  
pp. 87-111
Author(s):  
S. P. Dutta
Keyword(s):  
Local Ring ◽  
Projective Dimension ◽  
Order Ideal ◽  
Local Rings ◽  
Minimal Generator ◽  
Finite Projective Dimension ◽  
Special Cases ◽  
Nonzero Divisor ◽  
Finitely Generated Modules ◽  
Minimal Generators

AbstractWe address two aspects of finitely generated modules of finite projective dimension over local rings and their connection in between: embeddability and grade of order ideals of minimal generators of syzygies. We provide a solution of the embeddability problem and prove important reductions and special cases of the order ideal conjecture. In particular, we derive that, in any local ring R of mixed characteristic p > 0, where p is a nonzero divisor, if I is an ideal of finite projective dimension over R and p 𝜖 I or p is a nonzero divisor on R/I, then every minimal generator of I is a nonzero divisor. Hence, if P is a prime ideal of finite projective dimension in a local ring R, then every minimal generator of P is a nonzero divisor in R.

Grothendieck groups for categories of complexes

2008 ◽  
Vol 3 (1) ◽  
pp. 165-203 ◽  
Author(s):  
Hans-Bjørn Foxby ◽  
Esben Bistrup Halvorsen
Keyword(s):  
Local Ring ◽  
Finite Length ◽  
Full Subcategory ◽  
Grothendieck Group ◽  
Projective Dimension ◽  
Intersection Theorem ◽  
Projective Modules ◽  
Finitely Generated ◽  
Grothendieck Groups ◽  
Finitely Generated Modules

AbstractThe new intersection theorem states that, over a Noetherian local ring R, for any non-exact complex concentrated in degrees n,…,0 in the category P(length) of bounded complexes of finitely generated projective modules with finite-length homology, we must have n ≥ d = dim R.One of the results in this paper is that the Grothendieck group of P(length) in fact is generated by complexes concentrated in the minimal number of degrees: if Pd(length) denotes the full subcategory of P(length) consisting of complexes concentrated in degrees d,…0, the inclusion Pd(length) → P(length) induces an isomorphism of Grothendieck groups. When R is Cohen–Macaulay, the Grothendieck groups of Pd(length) and P(length) are naturally isomorphic to the Grothendieck group of the category M(length) of finitely generated modules of finite length and finite projective dimension. This and a family of similar results are established in this paper.

scholarly journals Cohomological dimensions with respect to sum and intersection of ideals

2017 ◽  
Vol 102 (116) ◽  
pp. 115-120
Author(s):  
Alireza Vahidi
Keyword(s):  
Noetherian Ring ◽  
Projective Dimension ◽  
Equivalent Condition ◽  
Finitely Generated ◽  
Commutative Noetherian Ring ◽  
Finite Projective Dimension

Let R be a commutative Noetherian ring with non-zero identity, a and b proper ideals of R,M a finitely generated R-module with finite projective dimension, and X a finitely generated R-module. We study the cohomological dimensions of M and X with respect to a + b and a ? b. We show that the inequality cda+b(M,X) ? cda(M,X) + cdb(X) holds true and we find an equivalent condition for it to be equality.

Sign in / Sign up

Export Citation Format

Share Document