Abelian group

Definition

Symbol-free definition

An abelian group is a group in which any two elements commute.

Full definition

An abelian group is a set  equipped with a (infix) binary operation  (called the addition or group operation), an identity element  and a (prefix) unary operation , called the inverse map or negation map, satisfying the following:

• For any , . This property is termed associativity.
• For any , .  thus plays the role of an additive identity element or neutral element.
• For any , . Thus,  is an inverse element to  with respect to .
• For any , . This property is termed commutativity.

Notation

When  is an abelian group, we typically use additive notation and terminology. Thus, the group multiplication is termed addition and the product of two elements is termed the sum.

1. The infix operator  is used for the group multiplication, so the sum of two elements  and  is denoted by . The group multiplication is termed addition and the product of two elements is termed the sum.
2. The identity element is typically denoted as  and termed zero
3. The inverse of an element is termed its negative or additive inverse. The inverse of  is denoted .
4.  done  times is denoted , (where ) while  done  times is denoted .

This convention is typically followed in a situation where we are dealing with the abelian group  in isolation, rather than as a subgroup of a possibly non-abelian group. If we are working with subgroups in a non-abelian group, we typically use multiplicative notation even if the subgroup happens to be abelian.

Examples

Some infinite examples

The additive group of integers , the additive group of rational numbers , the additive group of real numbers , the multiplicative group of nonzero rationals , and the multiplicative group of nonzero real numbers  are some examples of Abelian groups.

(More generally, for any field, the additive group, and the multiplicative group of nonzero elements, are abelian groups).

Finite examples

Cyclic groups are good examples of abelian groups, where the cyclic group of order  is the group of integers modulo .

The additive group of the ring of integers, and more generally of any ring, is an abelian group.

Arithmetic functions under Dirichlet product

Further information: Multiplicative functions form abelian group under Dirichlet product

The arithmetic functions, i.e., functions from the set of natural numbers to a commutative unital ring, admit a commutative and associative binary operation called the Dirichlet product. Those arithmetic functions whose value at  is invertible are invertible with respect to this Dirichlet product.

The multiplicative functions form a subgroup of this group.