Stable I-filtration (source code)

= Stable I-filtration
{c}

An $I$-filtration $(M_n)$ is stable when $IM_n=M_{n+1}$ for all sufficiently large $n$. Every stable $I$-filtration is equivalent to the $I$-adic filtration.