## Return to Question

3 deleted 2 characters in body

Let $R$ be a local ring, $a_{\lambda}$ be a decreasing net of ideals, indexed by a directed set, such that each $a_{\lambda}$ is contained in the nilradical ideal and $\bigcap a_{\lambda}=(0)$. Then for any integer $k$, there exists an integer index $\lambda$ such that $a_{\lambda}\subseteq m^{k}$. That is, the linear topology defined by $a_{\lambda}$ is finer than the topology defined by $m^{k}$.

Could anyone give a proof of this statement or a counter example? Feel free to add some more assumptions...

2 added 76 characters in body; edited tags; edited title

Let $R$ be a local ring, $a_{\lambda}$ be a decreasing net of ideals, indexed by a directed set, such that each $a_{\lambda}$ is contained in the nilradical ideal and $\bigcap a_{\lambda}=(0)$. Then for any integer $k$, there exists an integer $l$ \lambda$such that$\bigcap_{\lambda} (m^{l}+a_{\lambda})\subseteq a_{\lambda}\subseteq m^{k}$. That is, the linear topology defined by$a_{\lambda}$is finer than the topology defined by$m^{k}$. Could anyone give a proof of this statement or a counter example? Feel free to add some more mild assumptions... 1 # An analogue of Artin-Rees lemma for a general linear topology Let$R$be a local ring,$a_{\lambda}$be a decreasing net of ideals, indexed by a directed set, such that each$a_{\lambda}$is contained in the nilradical ideal and$\bigcap a_{\lambda}=(0)$. Then for any integer$k$, there exists an integer$l$such that$\bigcap_{\lambda} (m^{l}+a_{\lambda})\subseteq m^{k}\$.

Could anyone give a proof of this statement or a counter example? Feel free to add some more mild assumptions...