Abelian Group or Commutative Group
If the commutative law holds in a group, then such a group is called an Abelian group or commutative group. Thus the group is said to be an Abelian group or commutative group if .
A group which is not Abelian is called a nonAbelian group. The group is called the group under addition while the group is known as the group under multiplication.
Examples:


The structure is a group, i.e., the set of integers with the addition composition is a group. This is so because addition in numbers is associative. The additive identity belongs to , and the inverse of every element , viz. belongs to . This is known as additive Abelian group of integers.

The structures are all groups, i.e., the sets of rational numbers, real numbers, complex numbers, each with the additive composition, form an Abelian group. But the same sets with the multiplication composition do not form a group, for the multiplicative inverse of the number zero does not exist in any of them.

The structure is an Abelian group, where is the set of nonzero rational numbers. This is so because the operation is associative. The multiplicative identity belongs to , and the multiplicative inverse of every element in the set is , which also belongs to . This is known as the multiplicative Abelian group of nonzero rational.
Obviously and are groups where and are respectively the sets of nonzero real numbers and nonzero complex numbers.
