Projektive Auflösung

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein Kettenkomplex projektiver Moduln (oder projektiver Objekte in einer abelschen Kategorie) zusammen mit einer Quasiisomorphie (oder Augmentierung) auf ein gegebenes Modul M, der bis auf Grad null exact ist; verwendet zur Berechnung abgeleiteter Funktoren wie Ext und Tor.