In combinatorics, a permutation is a sequence of elements in which no element appears more than once. In a sequence, unlike in a set, the order in which the elements are written down matters. Suppose you have a total of n distinct objects at your disposal and you want to create permutations of k elements selected from those n, where k≤n.
In how many ways can that be done?
See also Combinations, Josephus permutation.
In abstract algebra and other fields, the term permutation is usually reserved for a bijective map from a finite set to itself.
There are two main notations for such permutations.
In relation notation, one can just arrange the "natural" ordering of the elements being permuted on a row, and the new ordering on another row:
A permutation consists of one cycle is itself called a cycle. The number of entries of a cycle is called the length. For example, the length of (1 2 5) is three.
An identity permutation is the permutation which fixes everything.
A transposition is a permutation which exchanges two elements and keeps all others fixed. For example (1 3) is a transposition. A transposition is a cycle of length two.
One can define product of two permutations, see Symmetric group and Permutation group. An even permutation is a permutation which can be expressed as a product of even number of transpositions, and the identity permutation is a even permutation as it equals (1 2)(1 2). An odd permutation is an permutation which can be expressed as a product of odd number of transpositions.
A permutation matrix is a matrix representation of permutation.
Summarizing, we find that a total of
different permutations of k objects, taken from a pool of n objects, exist. If we denote this number
by P(n, k) and use the factorial notation, we can write
In FFPA notation, one can write the cycles induced by the permutation; that is, one takes any element (say 1); then the element the first one is being sent to (here 2); then the element this one is sent to (here 5), and so on, until one comes back to the first.
This is a cycle.
The next cycle begins with any other element not considered till now, until every element appears in a cycle.
So the previous permutation has cycle form (1 2 5)(3 4).
Of course, the same permutation could be written as (4 3)(2 5 1), or any other variant, but the "canonical" form for a permutation places the lowest-numbered position in each cycle first in that cycle and then orders the cycles by increasing first element.
FFPA notation often omits fixed points, that is, elements mapped to themselves; thus (1 3)(2)(4 5) can become simply (1 3)(4 5).