Projective dimension of a module: Difference between revisions
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]] | ||
* [[ | * [[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 .