A permutation of a set is a bijection .
, the symmetric group on letters, is the set of all permutations of .
For any set , the identity function is a permutation.
The function given by is a permutation. is an element of .
The function given by is a permutation. is an element of .
Here are some diagrams illustrating the permutations and :
We need a way of writing down elements of . The simplest is called two row notation. To represent , you write two rows of numbers. The top row is 1, 2, …, . Then underneath each number on the top row you write :
As an example, here are the two row notations for the two permutations of the previous example.
The two row notation for the identity in is particularly simple:
This is a simple and not-that-efficient notation (it is not feasible to write down an element of this way, even if it is a very simple permutation e.g. swaps 1 and 2, leaves 3-100 alone), but it is at least concrete and simple.
, pronounced n factorial, means .
We will count how many possible bottom rows of two row notations for elements of there are. Because a permutation is a bijection — one-to-one and onto — this bottom row consists of the numbers in some order. We just need to show that there are exactly different ways to order the numbers .
We prove this by induction on . For the base case we have and it is clear that there is only one way to order a single 1.
For the inductive step, suppose . An ordering of arises in exactly one way as an ordering of with the number inserted into one of places (the first, or second, or …, or th position). So the number of such orderings is (the number of ways to choose an ordering of ) times the number of ways to insert an , giving . This completes the inductive step. ∎
For example, there are elements of : they are
The first one is the identity function on .