Vorgehen, ein algebraisches Objekt mit einer wach­senden oder fallenden geschachtelten Folge von Teilobjekten zu versehen, die nach einer geordneten Menge (typ. Z oder N) indiziert ist; diese Folge heißt Filtration.

Prinzip

Lege eine Familie {F_i} mit F_i ⊆ F_j für i ≤ j (wachsend) oder F_i ⊇ F_j (fallend) fest, fordere Kompatibilität mit Strukturabbildungen (z. B. Multiplikation sendet F_i · F_j in F_{i+j}) und setze Bedingungen wie Exhaustivität oder Separiertheit falls relevant.

Demonstration

Gradfiltration auf dem Polynomring k[x]: F_d sind Polynome vom Grad ≤ d (wachsend); die I-adische Filtration auf einem Ring R benutzt Potenzen F_n = I^n (fallend). Beide erzeugen eine Filtration‑Graduation‑Relation und induzieren Topologien oder Komplettierungen.

Fehlanwendung

Eine Filtration als Graduation behandeln (Direktsummenzerlegung erwarten) oder annehmen, jedes filtrierte Abbild spalte sich; Kompatibilität mit der Multiplikation vernachlässigen, sodass die Filtration keine gefilterte Algebra mehr ist.

Konsequenz

Eine geeignete Filtration definiert Topologien, liefert Spektralsequenzen, kontrolliert formale Komplettierungen und erlaubt den Übergang zum assoziierten Graduierten, der das führende Verhalten isoliert.

Umkehrung

Aus einer Graduation eine Filtration durch kumulative Grade bilden (F_i = ⊕_{j≤i} graded_j) kehrt die Konstruktion um: Eine Graduation spaltet die Schichten, die eine Filtration nur durch verschachtelte Teilräume approximiert.

Abgrenzung

Filtrationen werden in Modul-, Algebra-, Lie- und kategorischen Kontexten definiert; sie müssen nicht splitten, können verschieden indiziert sein und benötigen explizite Verträglichkeitsannahmen, um korrekt mit Produkten und Morphismen zu interagieren.

Semantische Spannung

Filtration vs Graduation vs Topologie: Filtrationen sind verschachtelte Approximationen, die oft eine Topologie induzieren; Graduierungen sind Direktsummente, und bei vorhandenem Splitten verwechselt man leicht gefilterte mit graduierten Phänomenen.

Synthese

Die Konstruktion einer Filtration erzeugt eine geschachtelte Familie von Teilobjekten, die eine Ordnung und die algebraischen Operationen respektiert und eine geschichtete Approximation des Objekts liefert, nützlich für Komplettierungen, Spektralmethoden und das assoziierte Graduierte.