Question: Let $A$ be an Abelian group with $A \trianglelefteq G$, and let $B \leq G$ be any subgroup. Show that $A \cap B \trianglelefteq AB$.
[ref: this is exercise 20 on page 96 of [DF] := Dummit and Foote's Abstract Algebra, $3^{\text{rd}}$ edition]
My attempt: Clearly, $AB$ is a subgroup of $G$ (because $B \leq G = N_G (A)$, so this is just corollary 15 on page 94 of [DF]). As $A \cap B$ is also a subgroup, we therefore already have $A \cap B \leq AB$, so we only need to show that $AB$ normalises $A \cap B$.
Let $ab \in AB$. What is $(ab) A\cap B (ab)^{-1}$? Choosing any $g \in A \cap B$, we note that in particular $g \in A$, so ab gb^{-1} a^{-1} = aa'a^{-1} = a' \in A, since $A$ is Abelian.
Now, I'm stuck: I would like to show that the same $ab gb^{-1} a^{-1}$ also lies in $B$ by taking into account that $g \in B$. This will then show that $(ab) A\cap B (ab)^{-1} \subset A \cap B$, and we are done.