# Tour:Symmetric group

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

This page is part of the Groupprops guided tour for beginners (Jump to beginning of tour)PREVIOUS: Introduction five (beginners)|UP: Introduction five (beginners)|NEXT: Understanding the cycle decompositionExpected time for this page: 20 minutes

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

WHAT YOU NEED TO DO: This is a rather heavy article, introducing the concept of symmetric group.

- Read and understand the definition of symmetric group.
- Convince yourself that this is a group, i.e., that it satisfies the group axioms.
- Try to convince yourself that a bijection of sets induces an isomorphism of their symmetric groups.
- Understand the two-line and one-line notations.

## Contents

## Definition

### Symbol-free definition

The **symmetric group** on a set is defined as follows:

- The elements of the group are permutations on the given set (i.e., bijective maps from the set to itself).
- The product of two elements is their composite as permutations, i.e., function composition.
- The identity element of the group is the identity function from the set to itself.
- The inverse of an element in the group is its inverse as a function.

A group is said to be a symmetric group if it is isomorphic to the symmetric group on some set. The symmetric group of degree is defined as the symmetric group on a set of size .

### Definition with symbols

The **symmetric group** over a set (denoted as ) is defined as follows:

- The elements of the group are permutations on , (i.e., bijective maps from to itself).
- The product of two permutations is the permutation , i.e., the permutation given by .
- The identity element of the group is the identity map of .
- The inverse of a permutation is the permutation that sends each element to the unique such that .

A group is termed a **symmetric group** if for some set .

A bijection between sets gives rise to an isomorphism of the corresponding symmetric groups. Thus, there is only one symmetric group, upto isomorphism, on a set of given cardinality. The symmetric group on a set of cardinality is denoted , or sometimes , and is also sometimes termed the *symmetric group of degree* .

## Elements

The elements of the symmetric group on a set are the permutations of that set. The permutations can be described in a number of ways. Two most common ways of describing permutations are the one-line notation and the cycle decomposition.

### Two-line notation and one-line notation

`Further information: two-line notation for permutations, one-line notation for permutations`

The two-line notation for a permutation on a finite set of size is described as follows. It is a matrix with two rows and columns. The first row contains the elements of the set (in any arbitrary order). The element in the second row equals the image of the element above it, under the permutation.

For instance, consider the two-line notation for a permutation on the set :

Here, the image of 1 under the permutation is 2, the image of 3 is 5, the image of 2 is 1, the image of 5 is 4, and the image of 4 is 3.

The two-line notation for a permutation is not unique, because the order of elements in the first row is arbitrary.

It is easy to multiply permutations written in the two-line notation, but hard to determine the order of such a permutation.

If we fix, once and for all, the order of elements in the first row of the permutation, then we can omit the first row of the permutation and simply write the second row. This is termed the one-line notation for permutations. For instance, for the set , we can decide that the first row will always have 1,2,3,4,5 in that order. In this case, the two-line notation is:

Thus, the one-line notation for the above permutation is:

## Order

### For a finite set

The symmetric group on a finite set of size , has order equal to the factorial of , denoted , where:

.

This is proved by a simple counting argument: for a permutation on a finite set, there are possibilities for the image of the first element, possibilities for the image of the second element, and so on. The product rule yields that the total number of permutations is .

WHAT'S MORE: Some more things about the symmetric group, based on material seen later in the tour. Skip if reading for the first time.

### Cycle decomposition for permutations

`Further information: cycle decomposition for permutations, cycle decomposition theorem for permutations, understanding the cycle decomposition`

Any permutation can be expressed uniquely as a product of disjoint cycles. A cycle being in a permutation means that under the permutation, gets mapped to , and gets mapped to . Two cycles are disjoint if they do not have any element in common. Note that the cycles and are the same.

For instance, the cycle decomposition of the permutation discussed in the previous example is:

In other words, the permutation sends 1 to 2, 2 to 1. It sends 3 to 5, 5 to 4, and 4 to 3. It turns out that, for the symmetric group on a finite set, every permutation can be uniquely expressed as a product of disjoint cycles (upto the order of the cycles). This is the cycle decomposition theorem for permutations. Permutations written in terms of cycle decompositions are easy to multiply and invert, and their order can also be determined easily.

The cycle decomposition:

refers to a permutation that interchanges 2 and 5 and does not move any of the other elements. In other words, it is short for:

where we omit writing the cycles of size one.

A cycle of size two is termed a transposition.

### Upto conjugacy

The elements of the symmetric group on a set are divided into a number of conjugacy classes. It turns out that, for a finite group, the conjugacy class of a permutation is completely characterized by the sizes of the cycles in its cycle decomposition. In other words, if two permutations have an equal number of cycles of each size in their cycle decomposition, they are conjugate; conversely, if they are conjugate, they have an equal number of cycles of each size in their cycle decomposition.

`Further information: cycle type determines conjugacy class, element structure of symmetric groups`

### Upto automorphism

Except for the symmetric group of degree six, the cycle type of a permutation also determines it uniquely upto automorphism. In the symmetric group of order six, the cycle type of transpositions (a single cycle of size two), and triple transpositions (product of three disjoint cycles of size two) are related by an outer automorphism.

### For an infinite set

The symmetric group on an infinite set has order equal to the cardinality of the *power set* of that set. In particular, no symmetric group on an infinite set is countable.

The finitary symmetric group on an infinite set (i.e., the group of those permutations that move only finitely many elements) has order equal to the cardinality of that infinite set. In particular, it is always a *proper* subgroup of the whole symmetric group on that infinite set.

This page is part of the Groupprops guided tour for beginners (Jump to beginning of tour)PREVIOUS: Introduction five (beginners)|UP: Introduction five (beginners)|NEXT: Understanding the cycle decompositionExpected time for this page: 20 minutes

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