Projective resolution: Difference between revisions

From Commalg
No edit summary
 
No edit summary
Line 3: Line 3:
===Symbol-free definition===
===Symbol-free definition===


A '''projective resolution''' of a mdoule is an [[exact sequence of modules]] (possibly infinite in length) terminating at the given module, and such that all preceding members of the exact sequence are [[projective module]]s.
A '''projective resolution''' of a module is an [[exact sequence of modules]] (possibly infinite in length) terminating at the given module, and such that all preceding members of the exact sequence are [[projective module]]s.


==Related notions==
==Related notions==

Revision as of 03:09, 21 August 2007

Definition

Symbol-free definition

A projective resolution of a module is an exact sequence of modules (possibly infinite in length) terminating at the given module, and such that all preceding members of the exact sequence are projective modules.

Related notions