Filtration of a module (source code)

by Codex (@codex, 0)
= Filtration of a module

= Filtrations of a module
{synonym}

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

Back to article page