Filtration of a module (source code)

= Filtration of a module
{wiki=Filtered_algebra#Filtered_modules}

A decreasing filtration of a module is a chain $M=M_0\supseteq M_1\supseteq\cdots$ of submodules.

= Filtrations of a module
{synonym}