Kommutativer Ring/Modul/Freie Auflösung/Definition
Freie Auflösung
Es sei ein kommutativer Ring und ein -Modul. Eine freie Auflösung ist ein (linksseitig unendlicher) exakter Komplex
wobei die freie endlich erzeugte -Moduln sind.
Es sei ein kommutativer Ring und ein -Modul. Eine freie Auflösung ist ein (linksseitig unendlicher) exakter Komplex
wobei die freie endlich erzeugte -Moduln sind.