Tagged: commutator subgroup

Group Generated by Commutators of Two Normal Subgroups is a Normal Subgroup

Problem 129

Let $G$ be a group and $H$ and $K$ be subgroups of $G$.
For $h \in H$, and $k \in K$, we define the commutator $[h, k]:=hkh^{-1}k^{-1}$.
Let $[H,K]$ be a subgroup of $G$ generated by all such commutators.

Show that if $H$ and $K$ are normal subgroups of $G$, then the subgroup $[H, K]$ is normal in $G$.

Read solution

LoadingAdd to solve later