An algebra A endowed with an increasing sequence of subspaces ... = F_{-1} ⊆ F_0 ⊆ F_1 ⊆ ... whose union equals A and such that multiplication satisfies F_i · F_j ⊆ F_{i+j}; the filtration organizes elements by complexity rather than exact degree.

Principle

A compatible filtration records a hierarchy of 'size' or 'order' so that products raise complexity predictably; the associated graded algebra gr_F(A) = ⊕ F_i / F_{i-1} connects filtered and graded techniques.

Demonstration

The universal enveloping algebra U(g) of a Lie algebra g is filtered by tensor degree: finite sums of products of ≤n Lie elements lie in F_n, and the Poincaré–Birkhoff–Witt construction identifies gr_F(U(g)) with the symmetric algebra of g.

Misapplication

Treating a filtration as if it were a direct-sum grading, or ignoring completion issues when working with infinite decreasing filtrations, can lead to invalid conclusions; assuming associated graded equals original is unsafe.

Consequence

Filtrations allow the use of spectral sequences, define completions and topologies (adic completions), and often permit passage to the associated graded object to compute invariants or prove structure theorems.

Reversal

The reverse concept is a strictly graded algebra with an exact direct-sum decomposition; some results simplify in the graded setting but must be recovered for filtered algebras via associated graded constructions.

Boundary

Requires an increasing (or exhaustive) chain of subspaces compatible with multiplication whose union is the whole algebra; excludes decompositions that are not nested or filtrations not respected by multiplication and non-exhaustive chains.

Semantic Tension

There is tension between filtration and grading: filtrations are more flexible and appear naturally, but many algebraic results are easiest in the graded case and require extra work to lift from gr to the filtered object.

Synthesis

A filtered algebra is an algebra equipped with a nested family of subspaces compatible with multiplication; by passing to the associated graded and considering completions, one bridges computational advantages of graded methods with the flexibility of filtrations.