Kommutativer Ring/Projektiver Modul/Freie Auflösung/Stabil frei/Fakt
Erscheinungsbild
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.