Zum Inhalt springen

Kommutativer Ring/Projektiver Modul/Freie Auflösung/Stabil frei/Fakt

Aus Wikiversity

Es sei ein kommutativer Ring und ein -Modul. Der Modul sei projektiv und besitze eine endliche freie Auflösung.

Dann gibt es einen freien Modul derart, dass frei ist.