Assoziierte Graduierte Konstruktion

Ein funktorielles Verfahren, das ein filtriertes algebraisches Objekt (z. B. filtrierte Algebra, Modul, Lie-Algebra) in ein graduiertes Objekt überführt, indem man sukzessive Quotienten nimmt: gr_F(V) = ⊕_i F_i V / F_{i-1} V. Das assoziierte Graduierte zeichnet das führende Verhalten der Filtration auf und vereinfacht oftmals multiplikative Relationen durch Überführung in grade Komponenten.

Operation, die ein gefiltertes Objekt in ein graduertes Objekt überführt, indem sukzessive Quotienten Gr(F) = ⊕_i F_i / F_{i-1} gebildet werden und so die Filtration als Direktsumme von Schichten kodiert wird.