Definition:Permutation on n Letters

Definition
Let $$\N^*_k$$ be defined as the subset of natural numbers $$\N^*_k = \left[{1 \,. \, . \, k}\right] = \left\{{1, 2, 3, \ldots, k}\right\}$$.

A permutation of $$n$$ letters is a permutation $$\pi: \N^*_n \to \N^*_n$$.

The usual symbols for denoting a general permutation are $$\pi$$ (not to be confused with the famous circumference over diameter), $$\rho$$ and $$\sigma$$.

Set of All Permutations
The set of all permutations of $$n$$ letters is denoted $$S_n$$.

Two-Row Notation
Let $$\pi$$ be a permutation on $$n$$ letters.

The two-row notation for $$\pi$$ is written as two rows of elements of $$\N^*_n$$, as follows:


 * $$\pi = \begin{bmatrix}

1 & 2 & 3 & \ldots & n \\ \pi \left({1}\right) & \pi \left({2}\right) & \pi \left({3}\right) & \ldots & \pi \left({n}\right) \end{bmatrix} $$

The bottom row contains the effect of $$\pi$$ on the corresponding entries in the top row.

Cycle Notation
The two-row notation is a cumbersome way of defining a permutation.

Instead, the cycle notation is usually used instead.

The $$k$$-cycle $$\rho$$ is denoted $$\begin{bmatrix} i & \rho \left({i}\right) & \ldots & \rho^{k-1} \left({i}\right) \end{bmatrix}$$.

From Cycle Decomposition, all permutations can be defined as the product of disjoint cycles, and it doesn't matter in what order as Disjoint Permutations Commute.

So, for a given permutation $$\rho$$, the cycle notation for $$\rho$$ consists of all the disjoint cycles into which $$\rho$$ can be decomposed, concatenated as a product.

It is conventional to omit 1-cycles from the expression, and to write those cycles with lowest starting number first.

Canonical Representation
The permutation:


 * $$\begin{bmatrix}

1 & 2 & 3 & 4 & 5 \\ 2 & 1 & 4 & 3 & 5 \end{bmatrix} $$

can be expressed in cycle notation as:


 * $$\begin{bmatrix} 1 & 2 \end{bmatrix} \begin{bmatrix} 3 & 4 \end{bmatrix}$$

or as:


 * $$\begin{bmatrix} 3 & 4 \end{bmatrix} \begin{bmatrix} 5 \end{bmatrix} \begin{bmatrix} 1 & 2 \end{bmatrix}$$

or as:


 * $$\begin{bmatrix} 4 & 3 \end{bmatrix} \begin{bmatrix} 2 & 1 \end{bmatrix}$$

etc.

However, only the first is conventional. This is known as the canonical representation.

Alternative Notation
Some sources use $$S \left({n}\right)$$ for $$S_n$$.

Some sources use round brackets for the two-row notation:


 * $$\pi = \begin{pmatrix}

1 & 2 & 3 & \ldots & n \\ \pi \left({1}\right) & \pi \left({2}\right) & \pi \left({3}\right) & \ldots & \pi \left({n}\right) \end{pmatrix} $$

... and the cycle notation: $$\begin{pmatrix} 1 & 2 \end{pmatrix} \begin{pmatrix} 3 & 4 \end{pmatrix}$$

Also see

 * Symmetric Group