# Tour:Abelian group

**This article adapts material from the main article:** abelian group

This page is part of the Groupprops guided tour for beginners (Jump to beginning of tour)PREVIOUS: Group|UP: Introduction one (beginners)|NEXT: SubgroupExpected time for this page: 3 minutes

General instructions for the tour | Pedagogical notes for the tour | Pedagogical notes for this part

PREREQUISITES: Definition of group. Return to group if you don't remember thisWHAT YOU NEED TO DO:

- Read, and thoroughly understand, the definition of Abelian group given below. If this is confusing, you might want to return to the page on group and revisit the definition
- Understand the notation and conventions for an Abelian group

## Definition

An **abelian group** is a group where any two elements commute. In symbols, a group is termed **abelian** if for any elements and in , (here denotes the product of and in ). Note that are allowed to be equal, though equal elements commute anyway, so we can restrict attention if we wish to unequal elements.

## 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*.

- 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*. - The identity element is typically denoted as and termed
*zero* - The inverse of an element is termed its
*negative*or*additive inverse*. The inverse of is denoted - 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

VIEW: groups satisfying this property | groups dissatisfying this propertyVIEW: Related group property satisfactions | Related group property dissatisfactions

### 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).

PONDER (WILL BE EXPLORED LATER IN THE TEXT):

- Can you think of an example of a non-Abelian group? How are those examples different from the abelian groups?
- How do you use Abelianness for many of the Abelian groups you usually deal with (like integers, rational numbers etc.) How would the lack of Abelianness affect things?
WHAT'S BELOW: Some more examples of abelian groups and general information regarding abelian groups. Go through it. It may use terminology and ideas that you haven't encountered; ignore those parts.

This page is part of the Groupprops guided tour for beginners (Jump to beginning of tour)PREVIOUS: Group|UP: Introduction one (beginners)|NEXT: Subgroup

General instructions for the tour | Pedagogical notes for the tour | Pedagogical notes for this part

### Finite examples

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

Further, any direct product of cyclic groups is also an abelian group. Further, every finitely generated Abelian group is obtained this way. This is the famous structure theorem for finitely generated abelian groups.

The structure theorem can be used to generate a complete listing of finite abelian groups, as described here: classification of finite Abelian groups.

### Non-examples

Not every group is abelian. The smallest non-abelian group is the symmetric group on three letters: the group of all permutations on three letters, under composition. Its being non-abelian hinges on the fact that the order in which permutations are performed matters.

This page is part of the Groupprops guided tour for beginners (Jump to beginning of tour)PREVIOUS: Group|UP: Introduction one (beginners)|NEXT: Subgroup

General instructions for the tour | Pedagogical notes for the tour | Pedagogical notes for this part