Filtered ring (source code)

= Filtered ring
{wiki=Filtered_algebra}

A filtered ring is a ring with subgroups $(R_n)$ satisfying $R_mR_n\subseteq R_{m+n}$.