Cut the knot: learn to enjoy mathematics
A math books store at a unique math study site. Learn to enjoy mathematics.
Google
Web CTK
Best sites for teachers
Sites for teachers
Sites for parents
Terms of use
Awards

Interactive Activities
CTK Exchange
CTK Insights - a blog

Games & Puzzles
What Is What
Arithmetic/Algebra
Geometry
Probability
Outline Mathematics
Make an Identity
Book Reviews
Eye Opener
Analog Gadgets
Inventor's Paradox
Did you know?...
Proofs
Math as Language
Things Impossible
Visual Illusions
My Logo
Math Poll
Cut The Knot!
MSET99 Talk
Other Math sites
Front Page
Movie shortcuts
Personal info
Reciprocal links
Privacy Policy

Guest book
News sites

Recommend this site

Best sites for teachers
Sites for teachers
Sites for parents

Education & Parenting

Manifesto: what CTK is about Search CTK Buying a book is a commitment to learning Table of content Things you can find on CTK Chronology of updates Email to Cut The Knot Recommend this page

Transpositions

With our earlier conventions, a permutation is a 1-1 correspondence f: {1, 2, ..., n}{1, 2, ..., n}. Pick an x{1,2,...n} and consider its orbit x, f(x), f(f(x)), ...

Since, on the whole, we only have a finite number of elements, sooner or later we'll necessarily get f(f(...f(x))) = x. Let x = x1, f(x) = x2 and so on. Under the permutation f, x1 becomes x2, x2 becomes x3, ..., and let xk+1 happen to be x1 again for the first time. The permutation that scrolls x1, ..., xk this way while keeping all the remaining numbers fixed, is called a cycle and is denoted (x1 x2 ... xk). If f = (x1 x2 ... xk) then k = n and there is nothing we can add to describe f. However, if there exists y1 that does not belong to the orbit of x, it has an orbit of its own with which we associate another cycle: (y1 y2 ... ym). Eventually all the elements will be associated with one cycle or another but each with one cycle only. We can then write f = (x1 x2 ... xk)(y1 y2 ... ym)... meaning by this consecutive scrolling of elements along their corresponding orbits. Two cycles associated with the orbits of two different elements either coincide or have empty intersection. In the latter case the cycles are called disjoint. Two disjoint f and g cycles commute: fg = gf. It can be shown that the representation of a permutation as a product of disjoint cycles is unique up to the order of the cycles.


A fixed point forms a one-element (or trivial) cycle. A 2-element cycle (xi xj) is called a transposition.

Theorem 1

Any permutation is a product of transpositions.

Remark

As before, this means that f produces the same effect as consecutive application of a series of transpositions.

Proof of Theorem 1

Given a permutation f, first factor it into a product of cycles: f = g1g2 ... Let g1 = (x1 x2 ... xk). Then it's easy to see that

(1) (x1 x2 ... xk) = (x1 xk)(x1 xk-1) ... (x1 x2)

The product is not symmetric and the transpositions are performed from right to left. We can apply this argument to all the cycles g and then execute all thus obtained transpositions sequentially.


Representation of a permutation as a product of (disjoint) cycles is unique. Its representation as a product of transpositions is not. However, one quantity related to a permutation is invariant under its various representations as a product of transpositions. This is the parity of the number of transpositions in the representation.

Theorem 2

Assume that for a permutation f, f = g1g2 ... gk = h1h2...hm where all gi's and hi's are transpositions. Then k and m have the same parity, i.e. they are either both even or both odd.


Thus there are even and odd permutations. The former are obtained as a product of an even number of transpositions; the latter are formed by an odd number of terms. Multiplying a permutation by a transposition obviously changes its parity. As a consequence, parity of the product (consecutive execution) of two or, for that matter, any number of permutations obeys the laws of the arithmetic modulo 2. In other words, the product of two permutations (which is definitely another permutation) will be even iff the component permutations are either both even or both odd.

Pemutations have an additional visualization in a circular fashion. Quite a convenience.


References

  1. J. Landin, An Introduction to Algebraic Structures, Dover, NY, 1969.


Copyright © 1996-2008 Alexander Bogomolny

28742354Page copy protected against web site content infringement by Copyscape


Search:
Keywords:


Latest on CTK Exchange
Math
Posted by Laura
2 messages
06:56 AM, Apr-15-08

Divisibility rules - Jargon buste ...
Posted by Carolyn
2 messages
08:35 AM, Apr-04-08

drawing puzzle
Posted by martin gran
31 messages
06:53 PM, May-09-08

conway's game of life
Posted by frequency
0 messages
11:52 PM, May-12-08

Mistake on the page (an aside, Be ...
Posted by Max
4 messages
10:28 AM, Feb-28-08

Deriving functions based on diffe ...
Posted by ke_45
1 messages
12:47 PM, May-10-08

Josephus Flavius (correction)
Posted by David Turner
1 messages
09:42 AM, May-14-08