Construction Graduée Associée

Une procédure fonctorielle qui transforme un objet algébrique filtré (algèbre filtrée, module, algèbre de Lie filtrée, etc.) en un objet gradué en prenant les quotients successifs gr_F(V) = ⊕_i F_i V / F_{i-1} V. Le gradué associé enregistre le comportement d'ordre dominant de la filtration et simplifie souvent les relations multiplicatives en passant aux composantes graduées.

Opération qui transforme un objet filtré en un objet gradué en prenant les quotients successifs Gr(F) = ⊕_i F_i / F_{i-1}, encodant ainsi la filtration sous forme d'une somme directe de couches.