module projectif

concept un module 𝑃 sur un anneau 𝐴 tel que pour tout morphisme surjectif 𝑓 : 𝑁 → 𝑀 entre deux 𝐴‐modules et pour tout morphisme 𝑔 : 𝑃 → 𝑀, il existe un morphisme ℎ : 𝑃 → 𝑁 tel que 𝑔 = 𝑓ℎ