AATA Definitions and Notation

Section 5.1 Definitions and Notation

In general, the permutations of a set

X

form a group

S_{X} .

X

is a finite set, we can assume

X = {1, 2, \dots, n} .

In this case we write

S_{n}

instead of

S_{X} .

The following theorem says that

S_{n}

is a group. We call this group the symmetric group on

n

letters.

🔗

Theorem 5.1.

🔗

The symmetric group on

n

letters,

S_{n},

is a group with

n!

elements, where the binary operation is the composition of maps.

Proof.

The identity of

S_{n}

is just the identity map that sends

1

1,

2

2,

\dots,

n

n .

f : S_{n} \to S_{n}

is a permutation, then

f^{- 1}

exists, since

f

is one-to-one and onto; hence, every permutation has an inverse. Composition of maps is associative, which makes the group operation associative. We leave the proof that

| S_{n} | = n!

as an exercise.

🔗

A subgroup of

S_{n}

is called a permutation group.

🔗

Example 5.2.

🔗

Consider the subgroup

G

S_{5}

consisting of the identity permutation

id

and the permutations

\begin{aligned} σ & = (\begin{array}{c} 1 & 2 & 3 & 4 & 5 \\ 1 & 2 & 3 & 5 & 4 \end{array}) \\ τ & = (\begin{array}{c} 1 & 2 & 3 & 4 & 5 \\ 3 & 2 & 1 & 4 & 5 \end{array}) \\ μ & = (\begin{array}{c} 1 & 2 & 3 & 4 & 5 \\ 3 & 2 & 1 & 5 & 4 \end{array}) . \end{aligned}

🔗

The following table tells us how to multiply elements in the permutation group

G .

🔗

\begin{array}{ccccc} \circ & id & σ & τ & μ \\ id & id & σ & τ & μ \\ σ & σ & id & μ & τ \\ τ & τ & μ & id & σ \\ μ & μ & τ & σ & id \end{array}

🔗

Remark 5.3.

🔗

Though it is natural to multiply elements in a group from left to right, functions are composed from right to left. Let

σ

and

τ

be permutations on a set

X .

To compose

σ

and

τ

as functions, we calculate

(σ \circ τ) (x) = σ (τ (x)) .

That is, we do

τ

first, then

σ .

There are several ways to approach this inconsistency. We will adopt the convention of multiplying permutations right to left. To compute $σ τ,$ do $τ$ first and then $σ .$ That is, by

σ τ (x)

we mean

σ (τ (x)) .

(Another way of solving this problem would be to write functions on the right; that is, instead of writing

σ (x),

we could write

(x) σ .

We could also multiply permutations left to right to agree with the usual way of multiplying elements in a group. Certainly all of these methods have been used.

🔗

Example 5.4.

🔗

Permutation multiplication is not usually commutative. Let

\begin{aligned} σ & = (\begin{array}{c} 1 & 2 & 3 & 4 \\ 4 & 1 & 2 & 3 \end{array}) \\ τ & = (\begin{array}{c} 1 & 2 & 3 & 4 \\ 2 & 1 & 4 & 3 \end{array}) . \end{aligned}

🔗

Then

σ τ = (\begin{matrix} 1 & 2 & 3 & 4 \\ 1 & 4 & 3 & 2 \end{matrix}),

🔗

but

τ σ = (\begin{matrix} 1 & 2 & 3 & 4 \\ 3 & 2 & 1 & 4 \end{matrix}) .

🔗

Subsection Cycle Notation

🔗

The notation that we have used to represent permutations up to this point is cumbersome, to say the least. To work effectively with permutation groups, we need a more streamlined method of writing down and manipulating permutations.

🔗

A permutation

σ \in S_{X}

is a cycle of length

k

if there exist elements

a_{1}, a_{2}, \dots, a_{k} \in X

such that

\begin{aligned} σ (a_{1}) & = a_{2} \\ σ (a_{2}) & = a_{3} \\ ⋮ \\ σ (a_{k}) & = a_{1} \end{aligned}

🔗

and

σ (x) = x

for all other elements

x \in X .

We will write

(a_{1}, a_{2}, \dots, a_{k})

to denote the cycle

σ .

Cycles are the building blocks of all permutations.

🔗

Example 5.5.

🔗

The permutation

σ = (\begin{matrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 \\ 6 & 3 & 5 & 1 & 4 & 2 & 7 \end{matrix}) = (1 6 2 3 5 4)

🔗

is a cycle of length

6,

whereas

τ = (\begin{matrix} 1 & 2 & 3 & 4 & 5 & 6 \\ 1 & 4 & 2 & 3 & 5 & 6 \end{matrix}) = (2 4 3)

🔗

is a cycle of length

3 .

🔗

Not every permutation is a cycle. Consider the permutation

(\begin{matrix} 1 & 2 & 3 & 4 & 5 & 6 \\ 2 & 4 & 1 & 3 & 6 & 5 \end{matrix}) = (1 2 4 3) (5 6) .

🔗

This permutation actually contains a cycle of length 2 and a cycle of length

4 .

🔗

Example 5.6.

🔗

It is very easy to compute products of cycles. Suppose that

σ = (1 3 5 2) and τ = (2 5 6) .

🔗

If we think of

σ

1 \mapsto 3, 3 \mapsto 5, 5 \mapsto 2, 2 \mapsto 1,

🔗

and

τ

2 \mapsto 5, 5 \mapsto 6, 6 \mapsto 2,

🔗

then for

σ τ

remembering that we apply

τ

first and then

σ,

it must be the case that

1 \mapsto 3, 3 \mapsto 5, 5 \mapsto 6, 6 \mapsto 2 \mapsto 1,

🔗

σ τ = (1 3 5 6) .

μ = (1 6 3 4),

then

σ μ = (1 6 5 2) (3 4) .

🔗

Two cycles in

S_{X},

σ = (a_{1}, a_{2}, \dots, a_{k})

and

τ = (b_{1}, b_{2}, \dots, b_{l}),

are disjoint if

a_{i} \neq b_{j}

for all

i

and

j .

🔗

Example 5.7.

🔗

The cycles

(1 3 5)

and

(2 7)

are disjoint; however, the cycles

(1 3 5)

and

(3 4 7)

are not. Calculating their products, we find that

\begin{aligned} (1 3 5) (2 7) & = (1 3 5) (2 7) \\ (1 3 5) (3 4 7) & = (1 3 4 7 5) . \end{aligned}

🔗

The product of two cycles that are not disjoint may reduce to something less complicated; the product of disjoint cycles cannot be simplified.

🔗

Proposition 5.8.

🔗

Let

σ

and

τ

be two disjoint cycles in

S_{X} .

Then

σ τ = τ σ .

Proof.

Let

σ = (a_{1}, a_{2}, \dots, a_{k})

and

τ = (b_{1}, b_{2}, \dots, b_{l}) .

We must show that

σ τ (x) = τ σ (x)

for all

x \in X .

x

is neither in

{a_{1}, a_{2}, \dots, a_{k}}

nor

{b_{1}, b_{2}, \dots, b_{l}},

then both

σ

and

τ

fix

x .

That is,

σ (x) = x

and

τ (x) = x .

Hence,

σ τ (x) = σ (τ (x)) = σ (x) = x = τ (x) = τ (σ (x)) = τ σ (x) .

Do not forget that we are multiplying permutations right to left, which is the opposite of the order in which we usually multiply group elements. Now suppose that

x \in {a_{1}, a_{2}, \dots, a_{k}} .

Then

σ (a_{i}) = a_{(i mod k) + 1};

that is,

\begin{aligned} a_{1} & \mapsto a_{2} \\ a_{2} & \mapsto a_{3} \\ ⋮ \\ a_{k - 1} & \mapsto a_{k} \\ a_{k} & \mapsto a_{1} . \end{aligned}

However,

τ (a_{i}) = a_{i}

since

σ

and

τ

are disjoint. Therefore,

\begin{aligned} σ τ (a_{i}) & = σ (τ (a_{i})) \\ = σ (a_{i}) \\ = a_{(i mod k) + 1} \\ = τ (a_{(i mod k) + 1}) \\ = τ (σ (a_{i})) \\ = τ σ (a_{i}) . \end{aligned}

Similarly, if

x \in {b_{1}, b_{2}, \dots, b_{l}},

then

σ

and

τ

also commute.

🔗

Theorem 5.9.

🔗

Every permutation in

S_{n}

can be written as the product of disjoint cycles.

Proof.

We can assume that

X = {1, 2, \dots, n} .

σ \in S_{n}

and we define

X_{1}

to be

{σ (1), σ^{2} (1), \dots},

then the set

X_{1}

is finite since

X

is finite. Now let

i

be the first integer in

X

that is not in

X_{1}

and define

X_{2}

{σ (i), σ^{2} (i), \dots} .

Again,

X_{2}

is a finite set. Continuing in this manner, we can define finite disjoint sets

X_{3}, X_{4}, \dots .

Since

X

is a finite set, we are guaranteed that this process will end and there will be only a finite number of these sets, say

r .

σ_{i}

is the cycle defined by

σ_{i} (x) = {\begin{cases} σ (x) & x \in X_{i} \\ x & x \notin X_{i} \end{cases},

then

σ = σ_{1} σ_{2} \dots σ_{r} .

Since the sets

X_{1}, X_{2}, \dots, X_{r}

are disjoint, the cycles

σ_{1}, σ_{2}, \dots, σ_{r}

must also be disjoint.

🔗

Example 5.10.

🔗

Let

\begin{aligned} σ & = (\begin{array}{c} 1 & 2 & 3 & 4 & 5 & 6 \\ 6 & 4 & 3 & 1 & 5 & 2 \end{array}) \\ τ & = (\begin{array}{c} 1 & 2 & 3 & 4 & 5 & 6 \\ 3 & 2 & 1 & 5 & 6 & 4 \end{array}) . \end{aligned}

🔗

Using cycle notation, we can write

\begin{aligned} σ & = (1 6 2 4) \\ τ & = (1 3) (4 5 6) \\ σ τ & = (1 3 6) (2 4 5) \\ τ σ & = (1 4 3) (2 5 6) . \end{aligned}

🔗

Remark 5.11.

🔗

From this point forward we will find it convenient to use cycle notation to represent permutations. When using cycle notation, we often denote the identity permutation by

(1) .

🔗

Subsection Transpositions

🔗

The simplest permutation is a cycle of length

2 .

Such cycles are called transpositions. Since

(a_{1}, a_{2}, \dots, a_{n}) = (a_{1}, a_{n}) (a_{1}, a_{n - 1}) \dots (a_{1}, a_{3}) (a_{1}, a_{2}),

🔗

any cycle can be written as the product of transpositions, leading to the following proposition.

🔗

Proposition 5.12.

🔗

Any permutation of a finite set containing at least two elements can be written as the product of transpositions.

🔗

Example 5.13.

🔗

Consider the permutation

(1 6) (2 5 3) = (1 6) (2 3) (2 5) = (1 6) (4 5) (2 3) (4 5) (2 5) .

🔗

As we can see, there is no unique way to represent permutation as the product of transpositions. For instance, we can write the identity permutation as

(1 2) (1 2),

(1 3) (2 4) (1 3) (2 4),

and in many other ways. However, as it turns out, no permutation can be written as the product of both an even number of transpositions and an odd number of transpositions. For instance, we could represent the permutation

(1 6)

(2 3) (1 6) (2 3)

🔗

or by

(3 5) (1 6) (1 3) (1 6) (1 3) (3 5) (5 6),

🔗

but

(1 6)

will always be the product of an odd number of transpositions.

🔗

Lemma 5.14.

🔗

If the identity is written as the product of

r

transpositions,

id = τ_{1} τ_{2} \dots τ_{r},

🔗

then

r

is an even number.

Proof.

We will employ induction on

r .

A transposition cannot be the identity; hence,

r > 1 .

r = 2,

then we are done. Suppose that

r > 2 .

In this case the product of the last two transpositions,

τ_{r - 1} τ_{r},

must be one of the following cases:

\begin{aligned} (a, b) (a, b) & = id \\ (b, c) (a, b) & = (a, c) (b, c) \\ (c, d) (a, b) & = (a, b) (c, d) \\ (a, c) (a, b) & = (a, b) (b, c), \end{aligned}

where

a,

b,

c,

and

d

are distinct.

The first equation simply says that a transposition is its own inverse. If this case occurs, delete

τ_{r - 1} τ_{r}

from the product to obtain

id = τ_{1} τ_{2} \dots τ_{r - 3} τ_{r - 2} .

By induction

r - 2

is even; hence,

r

must be even.

In each of the other three cases, we can replace

τ_{r - 1} τ_{r}

with the right-hand side of the corresponding equation to obtain a new product of

r

transpositions for the identity. In this new product the last occurrence of

a

will be in the next-to-the-last transposition. We can continue this process with

τ_{r - 2} τ_{r - 1}

to obtain either a product of

r - 2

transpositions or a new product of

r

transpositions where the last occurrence of

a

is in

τ_{r - 2} .

If the identity is the product of

r - 2

transpositions, then again we are done, by our induction hypothesis; otherwise, we will repeat the procedure with

τ_{r - 3} τ_{r - 2} .

At some point either we will have two adjacent, identical transpositions canceling each other out or

a

will be shuffled so that it will appear only in the first transposition. However, the latter case cannot occur, because the identity would not fix

a

in this instance. Therefore, the identity permutation must be the product of

r - 2

transpositions and, again by our induction hypothesis, we are done.

🔗

Theorem 5.15.

🔗

If a permutation

σ

can be expressed as the product of an even number of transpositions, then any other product of transpositions equaling

σ

must also contain an even number of transpositions. Similarly, if

σ

can be expressed as the product of an odd number of transpositions, then any other product of transpositions equaling

σ

must also contain an odd number of transpositions.

Proof.

Suppose that

σ = σ_{1} σ_{2} \dots σ_{m} = τ_{1} τ_{2} \dots τ_{n},

where

m

is even. We must show that

n

is also an even number. The inverse of

σ

σ_{m} \dots σ_{1} .

Since

id = σ σ_{m} \dots σ_{1} = τ_{1} \dots τ_{n} σ_{m} \dots σ_{1},

n

must be even by Lemma 5.14. The proof for the case in which

σ

can be expressed as an odd number of transpositions is left as an exercise.

🔗

In light of Theorem 5.15, we define a permutation to be even if it can be expressed as an even number of transpositions and odd if it can be expressed as an odd number of transpositions.

🔗

Subsection The Alternating Groups

🔗

One of the most important subgroups of

S_{n}

is the set of all even permutations,

A_{n} .

The group

A_{n}

is called the alternating group on

n

letters.

🔗

Theorem 5.16.

🔗

The set

A_{n}

is a subgroup of

S_{n} .

Proof.

Since the product of two even permutations must also be an even permutation,

A_{n}

is closed. The identity is an even permutation and therefore is in

A_{n} .

σ

is an even permutation, then

σ = σ_{1} σ_{2} \dots σ_{r},

where

σ_{i}

is a transposition and

r

is even. Since the inverse of any transposition is itself,

σ^{- 1} = σ_{r} σ_{r - 1} \dots σ_{1}

is also in

A_{n} .

🔗

Proposition 5.17.

🔗

The number of even permutations in

S_{n},

n \geq 2,

is equal to the number of odd permutations; hence, the order of

A_{n}

n! / 2 .

Proof.

Let

A_{n}

be the set of even permutations in

S_{n}

and

B_{n}

be the set of odd permutations. If we can show that there is a bijection between these sets, they must contain the same number of elements. Fix a transposition

σ

S_{n} .

Since

n \geq 2,

such a

σ

exists. Define

λ_{σ} : A_{n} \to B_{n}

λ_{σ} (τ) = σ τ .

Suppose that

λ_{σ} (τ) = λ_{σ} (μ) .

Then

σ τ = σ μ

and so

τ = σ^{- 1} σ τ = σ^{- 1} σ μ = μ .

Therefore,

λ_{σ}

is one-to-one. We will leave the proof that

λ_{σ}

is surjective to the reader.

🔗

Example 5.18.

🔗

The group

A_{4}

is the subgroup of

S_{4}

consisting of even permutations. There are twelve elements in

A_{4} :

\begin{aligned} (1) & (1 2) (3 4) & (1 3) (2 4) & (1 4) (2 3) \\ (1 2 3) & (1 3 2) & (1 2 4) & (1 4 2) \\ (1 3 4) & (1 4 3) & (2 3 4) & (2 4 3) . \end{aligned}

🔗

One of the end-of-chapter exercises will be to write down all the subgroups of

A_{4} .

You will find that there is no subgroup of order 6. Does this surprise you?

🔗

Subsection Historical Note

🔗

Lagrange first thought of permutations as functions from a set to itself, but it was Cauchy who developed the basic theorems and notation for permutations. He was the first to use cycle notation. Augustin-Louis Cauchy (1789–1857) was born in Paris at the height of the French Revolution. His family soon left Paris for the village of Arcueil to escape the Reign of Terror. One of the family’s neighbors there was Pierre-Simon Laplace (1749–1827), who encouraged him to seek a career in mathematics. Cauchy began his career as a mathematician by solving a problem in geometry given to him by Lagrange. Cauchy wrote over 800 papers on such diverse topics as differential equations, finite groups, applied mathematics, and complex analysis. He was one of the mathematicians responsible for making calculus rigorous. Perhaps more theorems and concepts in mathematics have the name Cauchy attached to them than that of any other mathematician.

Prev Top Next