Kommutativer Ring/Noethersch/Lokal frei/Projektiv/Fakt

Aus Wikiversity

Zur Navigation springen Zur Suche springen

Es sei ${}R$ ein noetherscher kommutativer Ring und ${}M$ ein endlich erzeugter ${}R$ -Modul. Dann ist ${}M$ genau dann lokal frei, wenn ${}M$ ein projektiver Modul ist.

Zum Beweis, Alternativen Beweis erstellen

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Kommutativer_Ring/Noethersch/Lokal_frei/Projektiv/Fakt&oldid=841104“