I know that the second isomorphism theorem for groups doesn't hold for topological groups, the version that I have for the second isomorphism theorem is:
- If $G$ is a group, $H$ a subgroup of $G$ and $N$ a normal subgroup of $G$, Then $ (HN)/N \cong H/(H\cap N)$.
Under wich conditions we have that the theorem holds for topological groups?,
On the other side the third isomorphism theorem holds for topological groups.
- If $H$ and $K$ are normal subgroups of a topological group $G$ and $K$ is a subgroup of $H$, then $G/H \cong (G/K) /(H/K)$
In the prove for ordinary groups, the homomorphism $\phi: G \longrightarrow (G/K)/(H/K)$ defined by $ \phi (a)= aK(H/K)$ is surjective with kernel $H$, then by the first isomorphism theorem we have the isomorphism.
In the case for topological groups, we need to have that the homomorphism is an open map to use the first isomorphism theorem, how can I prove that the homomorphism is open?.