When is the group abelian?

Question

Let $1 \rightarrow H \rightarrow G\rightarrow K\rightarrow 1$ be an exact sequence such that $H$ and $K$ be abelian groups. When one can say that $G$ is abelian. One condition is that if the section from $K$ to $G$ is a homomorphism, then $G$ is direct product of $H$ and $K$. Is there anything that guarantees for $G$ to be abelian?

Answer 1

The direct product of abelian groups is again abelian...