Projective dimension of a module: Difference between revisions

From Commalg
No edit summary
 
m (2 revisions)
 
(One intermediate revision by the same user not shown)
Line 8: Line 8:


* [[Injective dimension of a module]]
* [[Injective dimension of a module]]
* [[Projective dimension of a ring]]
* [[Global dimension of a ring]]

Latest revision as of 16:33, 12 May 2008

Definition

Symbol-free definition

The projective dimension of a module over a commutative unital ring is defined as the minimum of the lengths of finite projective resolutions of the module (here, the length is the number of members apart from the module itself and zero). If there is no projective resolution of finite length, the projective dimension is taken as .

Related notions