Endlich erzeugter Modul/Lokal freie Garbe/Projektiv und flach/Fakt

Es sei ${}R$ ein kommutativer noetherscher Ring und ${}M$ ein endlich erzeugter ${}R$-Modul. Dann sind folgende Aussagen äquivalent.

1. ${}M$ ist lokal frei.
2. ${}M$ ist ein projektiver Modul.
3. ${}M$ ist ein flacher Modul.

Einen Beweis erstellen