Es sei R {\displaystyle {}R} ein kommutativer lokaler Ring und M {\displaystyle {}M} ein endlich erzeugter R {\displaystyle {}R} -Modul. Dann ist M {\displaystyle {}M} genau dann frei, wenn M {\displaystyle {}M} ein projektiver Modul ist.
