Kommutativer Ring/Noethersch/Lokal frei/Projektiv/Fakt
Zur Navigation springen
Zur Suche springen
Es sei ein noetherscher kommutativer Ring und ein endlich erzeugter -Modul. Dann ist genau dann lokal frei, wenn ein projektiver Modul ist.