I would like to do a small sanity check on the following situation:
Let $\pi: G \rightarrow G'$ be a surjective homomorphism of topological groups. Let the topology of $G$ be given by a sequence of subgroups $\left\{G_n\right\}$, i.e. $G=G_0 \supseteq G_1 \supseteq G_2 \supseteq \cdots$ where the $G_n$ form a fundamental system of neighborhoods. Define the topology on $G'$ by letting the open subsets of $G'$ be images of open subsets of $G$ under $\pi$, i.e. for any open set $G_n$ define $G^{'}_n=\pi(G_n)$ to be open.
I want to show that $\pi$ is continuous with respect to this topology. Towards this end, it is enough to show that $\pi^{-1}(G^{'}_n)$ is open in $G$. But $\pi^{-1}(G^{'}_n)=G_n+Ker(g)=\cup_{\xi \in Ker(g)} (G_n + \xi)$ which is open since $G_n + \xi$ is open, because the translation map in $G$ is continuous.
Is this argument sound?
Thanks.