An abelian group is a group in which the law of composition is commutative.

i.e. the group law ο satisfies

g ο h = h ο g

for any g, h in the group.

Here ο is an operation (+, *, etc)