04.4 The Symmetric Group
04.4 The Symmetric Group
We have already met the symmetric group (Sn , ∘) and studied its elements. Here’s a reminder
of what we proved in the first part of the course:
Sn is the set of all bijections from {1, 2, … , n} to itself, that is, all permutations of
{1, 2, … , n} . It is a group under composition of functions.
If a1 , … , am are distinct then (a1 , … , am ) is the permutation which sends ai to ai+1 for
i < m am , to a1 , and anything not equal to ai for some i to itself. Such a permutation is
called an m-cycle, and a permutation which is an m-cycle for some m is called a cycle.
Two cycles (a1 , … , am ) and (b1 , … , bl ) are called disjoint if no ai is equal to any bj .
Any permutation σ ∈ Sn can be written as a product of disjoint cycles.
|Sn | = n! = n(n − 1) ⋯ ⋅ 2 ⋅ 1 .
Not only did we prove that any element σ ∈ Sn equalled a product of disjoint cycles, we saw
how to find the disjoint cycles required by finding the orbits of σ. As a reminder, consider
1 2 3 4 5 6 7
σ = ( ).
4 1 3 2 6 7 5
σ = (1, 4, 2)(3)(5, 6, 7)
and since there aren’t any elements of 1, 2, … , 7 that don’t appear in one of our cycles, the
algorithm stops.
Notice the one-cycle (3) appears. But it is the identity permutation and composing with the
identity doesn’t change anything, so we usually omit one-cycles when we write permutations
like this.