Lemma 15.36.2. Let $\varphi : R \to S$ be a ring map. Let $I \subset R$ and $J \subset S$ be ideals and endow $R$ with the $I$-adic topology and $S$ with the $J$-adic topology. Then $\varphi$ is a homomorphism of topological rings if and only if $\varphi (I^ n) \subset J$ for some $n \geq 1$.

Proof. Omitted. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).