> “…an abelian group is both associative and commutative…”

If something is not associative it is not a group. An abelian group is a group which is commutative.