Projective resolution: Difference between revisions
No edit summary |
m (3 revisions) |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 3: | Line 3: | ||
===Symbol-free definition=== | ===Symbol-free definition=== | ||
A '''projective resolution''' of a | A '''projective resolution''' of a [[module]] over a [[commutative unital ring]] is an [[exact sequence of modules]] (possibly infinite in length) terminating at 0, with the second last member being the given module, and such that all preceding members of the exact sequence are [[projective module]]s. | ||
==Related notions== | ==Related notions== | ||
Latest revision as of 16:33, 12 May 2008
Definition
Symbol-free definition
A projective resolution of a module over a commutative unital ring is an exact sequence of modules (possibly infinite in length) terminating at 0, with the second last member being the given module, and such that all preceding members of the exact sequence are projective modules.