Definition of Abelian Group

A group that satisfies the commutative law.