Equivalent filtrations of a module (source code)

= Equivalent filtrations of a module

Two decreasing filtrations $(M_n)$ and $(N_n)$ are equivalent when each contains a fixed shift of the other: $M_{n+a}\subseteq N_n$ and $N_{n+b}\subseteq M_n$ for fixed $a,b$ and every $n$.