Filtered module

A module endowed with an increasing or decreasing filtration, that is, an increasing or decreasing family of submodules . A filtration is called exhaustive if , and separable if . If is a submodule of a filtered module , then filtrations are defined on and in a natural way. If is a graded module, then the submodules define an exhaustive separable decreasing filtration on . Conversely, with every filtered module endowed, for example, with a decreasing filtration, there is associated the graded module

where . A filtration constitutes a fundamental system of neighbourhoods of zero. Its topology is separable if and only if the filtration is separable, and discrete if and only if for some .

References

[1]	N. Bourbaki, "Elements of mathematics. Commutative algebra" , Addison-Wesley (1972) (Translated from French)

Comments

In the theory of rings of differential operators, e.g. Weyl algebras (cf. Weyl algebra), and also in connection with enveloping algebras of Lie algebras (cf. Lie algebra), filtered modules play an important part. The notion most encountered there is that of a good filtration: An -module over a filtered ring has good filtration if for some set of elements of and . A very nice class of good filtered modules consists of the holonomic modules, defined by a condition related to a bound on the growth of the , . The associated graded module of a filtered module with good filtration is a finitely-generated graded module. If the ring has a discrete filtration and the associated graded ring is left-Noetherian, then a good filtration on induces a good filtration on any submodule, and any filtration equivalent to a good one is again a good filtration on the module.

References

[a1]	J.-E. Björk, "Rings of differential operators" , North-Holland (1979)
[a2]	P. Schapira, "Microdifferential systems in the complex domain" , Springer (1985)