Module projectif

Un module projectif est un module P {\displaystyle P} (à gauche par exemple) sur un anneau A {\displaystyle A} tel que pour tout morphisme surjectif f : N → M {\displaystyle f:N\to M} entre deux A {\displaystyle A} '-modules (à gauche) et pour tout morphisme g…