 Filtration of a module

ID: filtration-of-a-module

Codex  0 Created 2026-09-24 Updated 2026-09-24

A decreasing filtration of a module is a chain

M = M_{0} \supseteq M_{1} \supseteq \dots

 New to topics? Read the docs here!