Procédure consistant à munir un objet algébrique d'une suite emboîtée croissante ou décroissante de sous‑objets indexés par un ensemble ordonné (typiquement Z ou N), appelée filtration.

Principe

Définir une famille {F_i} avec F_i ⊆ F_j pour i ≤ j (croissante) ou F_i ⊇ F_j (décroissante), exiger la compatibilité avec les applications structurelles (par ex. la multiplication envoie F_i · F_j dans F_{i+j}) et imposer des conditions comme exhaustivité ou séparation si nécessaire.

Démonstration

Filtration par le degré sur l'anneau des polynômes k[x] : F_d sont les polynômes de degré ≤ d (croissante) ; la filtration I-adique sur un anneau R utilise les puissances F_n = I^n (décroissante). Les deux imposent une relation filtration-graduation et induisent des topologies ou complétions.

Mauvaise application

Traiter une filtration comme si elle était une graduation (s'attendre à des décompositions en sommes directes) ou supposer que tout morphisme filtré se scinde ; négliger la compatibilité avec la multiplication de sorte que la filtration cesse d'être une algèbre filtrée.

Conséquence

Une filtration bien choisie définit des topologies, engendre des suites spectrales, contrôle les complétions formelles et permet le passage à l'associé gradué qui isole le comportement d'ordre principal.

Inversion

Partir d'une graduation et former une filtration par degrés cumulés (F_i = ⊕_{j≤i} graded_j) inverse la construction : une graduation scinde les couches que la filtration n'approche que par des sous‑espaces emboîtés.

Limite

Les filtrations se définissent en contexte de modules, algèbres, Lie et catégorique ; elles ne se scindent pas nécessairement, peuvent être indexées par divers ensembles ordonnés et exigent des hypothèses de compatibilité explicites pour bien interagir avec produits et morphismes.

Tension sémantique

Filtration vs graduation vs topologie : les filtrations sont des approximations emboîtées qui induisent souvent une topologie, les graduations sont des décompositions en somme directe, et on confond parfois phénomènes filtrés et gradués lorsque des scindages existent.

Synthèse

La construction d'une filtration produit une famille emboîtée de sous‑objets respectant un ordre et les opérations algébriques, créant une approximation en couches de l'objet propice aux complétions, méthodes spectrales et à l'étude de l'associé gradué.