Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ Proceedings of the A...arrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao
zbMATH Open
Article . 1977
Data sources: zbMATH Open
Proceedings of the American Mathematical Society
Article . 1976 . Peer-reviewed
Data sources: Crossref
Proceedings of the American Mathematical Society
Article . 1976 . Peer-reviewed
Data sources: Crossref
versions View all 3 versions
addClaim

On Finite Weak and Injective Dimension

On finite weak and injective dimension
Authors: Chouinard, Leo G.;

On Finite Weak and Injective Dimension

Abstract

An extension is given of the theorem relating projective dimen- sion to depth for a finitely generated module of finite projective dimension over a commutative Noetherian local ring. This extension is dualized to relate injective dimension to a concept of codepth when the injective dimension is known to be finite. 1. Introduction and notation. A classical result on the projective dimension of modules over a commutative Noetherian local ring says that if the module is finitely generated and of finite projective dimension, then that dimension is the difference between the depth of the ring and that of the module (1, Theorem 3.7). We extend this result by changing the context to weak dimension. We then dualize to injective dimension, and the result we get seems to be known only in the special case of finitely generated modules. For the duration of the paper, all rings are commutative Noetherian with unit, and all modules are unitary. If M is an R-module, then we denote the weak, projective, and injective dimensions of M over R by w.d.RM, p.d.RM, and i.d.RM respectively, and we use ER(M) to denote the injective envelope of M over R. If R is local with residue field k, then we use Mv to stand for the Matlis dual HomR(M, ER(k)) of M. If M is any R-module, and I is an ideal in R, then we define the depth of M over I as the lowest degree in which ExtR (R/I, M) is nonzero, and the codepth of M over I as the lowest degree in which TorR(R/I, M) is nonzero; we denote these by depth, M and codepth, M respectively. If ExtR(R/I, M) is 0 in all degrees, we say depth, M = ox, and likewise for codepth. We adopt the convention that if we ask for the largest dimension in which a positively graded object is nonzero, and that object is 0 in all degrees, then the requested dimension is - ox. Thus, for example, the projective dimension of 0 over R will be - oo, since it is the supremum over all R-modules A of the largest dimension in which ExtR (0, A) is nonzero. The author wishes to thank Professor Everett L. Lady for referring him to the article (5) which appears to be the origin of the spectral sequence needed here, and Professor Melvin Hochster for pointing out nonhomological proofs of two of the following corollaries.

Related Organizations
Keywords

Dimension theory, depth, related commutative rings (catenary, etc.), Homological dimension and commutative rings

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    13
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Top 10%
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
13
Average
Top 10%
Average
bronze