PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] permutation notation (Topic)

There are at least three methods of denoting permutations.

The first method of denoting a permutation that acts on a finite set is to simply list where it sends each element. For example, the function $ f$ defined as follows is a permutation on $ \{ 1,2,3,4,5,6 \}$:

$\displaystyle f(1)=3$

$\displaystyle f(2)=1$

$\displaystyle f(3)=2$

$\displaystyle f(4)=6$

$\displaystyle f(5)=5$

$\displaystyle f(6)=4$

Another method of denoting a permutation that acts on a finite set is to give the information in a matrix. This matrix will have $ 2$ rows and $ n$ columns, where $ n$ is the cardinality of the set on which the permutation is acting. The first row is each of the elements of the set on which the permutation is acting, and the second row is created so that, whenever a column is read, the bottom element is where the permutation sends the top element. If the set on which the permutation is acting has an order on it, then the elements usually occur in the first row according to that order. For example, the function $ f$ as described above would be denoted as:

$\displaystyle \left( \begin{array}{cccccc} 1 & 2 & 3 & 4 & 5 & 6 \ 3 & 1 & 2 & 6 & 5 & 4 \end{array} \right)$

One final method of denoting a permutation is as follows:

  1. Write a left parenthesis and an element that is not sent to itself by the permutation. (If the permutation fixes every element of the set, then it is the identity. In that case, if the set is of the form $ \{1, \dots , n \}$, then this permutation is typically denoted $ (1)$.) If the set on which the permutation is acting has an order on it, then the elements are considered according to that order.
  2. Immediately to the right of the previous element, write the element to which the permutation sends it.
  3. Repeat the previous step until repetition would occur. Instead of repeating the element, put a right parenthesis.
  4. Repeat this procedure for the remainder of the set on which the permutation is acting.

This procedure yields a permutation written in cycle notation.

The procedure will be demonstrated for the function $ f$.

Since the function $ f$ acts on $ \{1,2,3,4,5,6\}$, $ 1$ is the first element of this set, and $ f(1)\neq 1$, we start by writing:

$\displaystyle (1$

Since $ f(1)=3$, we put $ 3$ after $ 1$:

$\displaystyle (13$

Since $ f(3)=2$, we put $ 2$ after $ 3$:

$\displaystyle (132$

Since $ f(2)=1$, we put a right parenthesis:

$\displaystyle (132)$

In the remainder of the set, $ 4$ is the the first element. Since $ f(4)\neq 4$, $ (4$ is added:

$\displaystyle (132)(4$

Since $ f(4)=6$, we put $ 6$ after $ 4$:

$\displaystyle (132(46$

Since $ f(6)=4$, we put a right parenthesis:

$\displaystyle (132)(46)$

The element $ 5$ is the only one remaining. Since it is fixed by the permutation, it need not be written. Thus, the permutation is $ (132)(46)$.

Note that, with this method of denoting permutations, only elements that are not fixed by the permutation are written. Thus, this procedure can be used to denote permutations that act on any set, so long as the number of elements that are not fixed by the permutation is finite. Also, this method of denoting permutations is more concise than the other methods. For these two reasons, this last method is the one that is most often used. The permutation has then been written as a “product” of cycles.



Anyone with an account can edit this entry. Please help improve it!

"permutation notation" is owned by Wkbj79. [ full author list (2) ]
(view preamble)

View style:

See Also: cycle, cycle notation


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: cycles, finite, number, act on, cycle notation, identity, fixes, occur in, cardinality, columns, rows, matrix, function, finite set, acts on, permutations
There are 2 references to this entry.

This is version 5 of permutation notation, born on 2007-08-08, modified 2007-08-09.
Object id is 9842, canonical name is PermutationNotation.
Accessed 770 times total.

Classification:
AMS MSC20B99 (Group theory and generalizations :: Permutation groups :: Miscellaneous)
 03-00 (Mathematical logic and foundations :: General reference works )
 05A05 (Combinatorics :: Enumerative combinatorics :: Combinatorial choice problems )

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)