Cada módulo "M" también tiene una "resolución inyectiva": una sucesión exacta de la forma