Solution (source code)

= Solution

\b[Always true.] Elements of a <subgroup> $H$ commute when they are elements of an <abelian group> $G$, so $H$ is abelian. In the <quotient group>, $(gH)(kH)=gkH=kgH=(kH)(gH)$. Therefore $G/H$ is abelian too.