I-adic filtration (source code)

= I-adic filtration
{c}
{title2=$(I^nM)$}
{wiki=I-adic_topology}

For an ideal $I$, the $I$-adic filtration of a module $M$ is $M\supseteq IM\supseteq I^2M\supseteq\cdots$.