Relationship between direct sum representation and quotient in Groups Let $V$ is a finite dimensional vector space, and $H_{1}, H_{2}$ be subspaces of $V$ such that $V=H_{1}\oplus H_{2}$. Now $V/H_{1}$ is isomorphic to $H_{2}$.
If we replace the vector space $V$ by a group $G$ and consider $H_1$ ,a normal subgroup of $G$, then under what conditions can we say that if $G=H_{1}\oplus H_{2}$ (which is same as $G = H_1 H_2)$, for some subgroup $H_2$ in $G$, then $G/H_{1}$ is isomorphic to $H_{2}$?
Any help will be appreciated!


Lemma. If $H_1, H_2 \subseteq G$ are two subgroups, with $H_1$ normal, such that $H_1 \cap H_2 = 0$ and $H_1 H_2 = G$, then $G/H_1 \cong H_2$.

Note that when $H_1$ is normal, the set $H_1 H_2$ is just the set of products $h_1 h_2$ with $h_1 \in H_1$ and $h_2 \in H_2$ (the statement here is that the latter subset is already a subgroup).
Proof. Consider the quotient map $G \to G/H_1$, and restrict it to a map $\pi \colon H_2 \to G/H_1$. Then the assumptions imply that $\pi$ is injective and surjective (think!).
