Group of exponent two is abelian ($g^2=1\forall g⟹ab=ba$)

If every element of a group squares to the identity, every element equals its inverse. Then $ab=(ab{)}^{-1}=b^{-1}{a}^{-1}=ba$, so the group is an abelian group. The argument does not require a finite group.