Es sei R {\displaystyle {}R} ein noetherscher kommutativer Ring und M {\displaystyle {}M} ein endlich erzeugter R {\displaystyle {}R} -Modul.
Dann besitzt M {\displaystyle {}M} eine freie Auflösung mit endlich erzeugten freien Moduln.
