Derived subgroup is trivial if and only if group is abelian

Statement

Let $G$ be a group. $G$ has the trivial group as its derived subgroup if and only if $G$ is abelian.

Proof

The proof is elementary. See these pages for the two directions:

• Derived subgroup of abelian group is trivial
• Derived subgroup is trivial implies group is abelian