Cyclic permutation explained

In mathematics, and in particular in group theory, a cyclic permutation is a permutation consisting of a single cycle.[1] [2] In some cases, cyclic permutations are referred to as cycles;[3] if a cyclic permutation has k elements, it may be called a k-cycle. Some authors widen this definition to include permutations with fixed points in addition to at most one non-trivial cycle.[4] In cycle notation, cyclic permutations are denoted by the list of their elements enclosed with parentheses, in the order to which they are permuted.

For example, the permutation (1 3 2 4) that sends 1 to 3, 3 to 2, 2 to 4 and 4 to 1 is a 4-cycle, and the permutation (1 3 2)(4) that sends 1 to 3, 3 to 2, 2 to 1 and 4 to 4 is considered a 3-cycle by some authors. On the other hand, the permutation (1 3)(2 4) that sends 1 to 3, 3 to 1, 2 to 4 and 4 to 2 is not a cyclic permutation because it separately permutes the pairs and .

For the wider definition of a cyclic permutation, allowing fixed points, these fixed points each constitute trivial orbits of the permutation, and there is a single non-trivial orbit containing all the remaining points. This can be used as a definition: a cyclic permutation (allowing fixed points) is a permutation that has a single non-trivial orbit. Every permutation on finitely many elements can be decomposed into cyclic permutations whose non-trivial orbits are disjoint.[5]

The individual cyclic parts of a permutation are also called cycles, thus the second example is composed of a 3-cycle and a 1-cycle (or fixed point) and the third is composed of two 2-cycles.

Definition

A cyclic permutation consisting of a single 8-cycle.|thumb

There is not widespread consensus about the precise definition of a cyclic permutation. Some authors define a permutation of a set to be cyclic if "successive application would take each object of the permuted set successively through the positions of all the other objects", or, equivalently, if its representation in cycle notation consists of a single cycle. Others provide a more permissive definition which allows fixed points.

A nonempty subset of is a cycle of

\sigma

if the restriction of

\sigma

to is a cyclic permutation of . If is finite, its cycles are disjoint, and their union is . That is, they form a partition, called the cycle decomposition of

\sigma.

So, according to the more permissive definition, a permutation of is cyclic if and only if is its unique cycle.

For example, the permutation, written in cycle notation and two-line notation (in two ways) as

\begin{align} (1 4 6 &8 3 7)(2)(5)\\ &= \begin{pmatrix}1&2&3&4&5&6&7&8\ 4&2&7&6&5&8&1&3\end{pmatrix}\\ &= \begin{pmatrix}1&4&6&8&3&7&2&5\ 4&6&8&3&7&1&2&5\end{pmatrix}\end{align}

has one 6-cycle and two 1-cycles its cycle diagram is shown at right. Some authors consider this permutation cyclic while others do not.

thumb|A permutation that is cyclic for the enlarged definition but not for the restricted one, with two fixed points (1-cycles) and a 6-cycleWith the enlarged definition, there are cyclic permutations that do not consist of a single cycle.

More formally, for the enlarged definition, a permutation

\sigma

of a set X, viewed as a bijective function

\sigma:X\toX

, is called a cycle if the action on X of the subgroup generated by

\sigma

has at most one orbit with more than a single element. This notion is most commonly used when X is a finite set; then the largest orbit, S, is also finite. Let

s0

be any element of S, and put
i(s
s
0)
for any

i\inZ

. If S is finite, there is a minimal number

k\geq1

for which

sk=s0

. Then

S=\{s0,s1,\ldots,sk-1\}

, and

\sigma

is the permutation defined by

\sigma(si)=si+1

for 0 ≤ i < k

and

\sigma(x)=x

for any element of

X\setminusS

. The elements not fixed by

\sigma

can be pictured as

s0\mapstos1\mapstos2\mapsto\mapstosk-1\mapstosk=s0

.

\sigma=(s0~s1~...~sk-1)

(there are no commas between elements in this notation, to avoid confusion with a k-tuple). The length of a cycle is the number of elements of its largest orbit. A cycle of length k is also called a k-cycle.

The orbit of a 1-cycle is called a fixed point of the permutation, but as a permutation every 1-cycle is the identity permutation. When cycle notation is used, the 1-cycles are often omitted when no confusion will result.

Basic properties

One of the basic results on symmetric groups is that any permutation can be expressed as the product of disjoint cycles (more precisely: cycles with disjoint orbits); such cycles commute with each other, and the expression of the permutation is unique up to the order of the cycles. The multiset of lengths of the cycles in this expression (the cycle type) is therefore uniquely determined by the permutation, and both the signature and the conjugacy class of the permutation in the symmetric group are determined by it.

The number of k-cycles in the symmetric group Sn is given, for

1\leqk\leqn

, by the following equivalent formulas:\binom nk(k-1)!=\frac=\frac.

A k-cycle has signature (−1)k − 1.

The inverse of a cycle

\sigma=(s0~s1~...~sk-1)

is given by reversing the order of the entries:

\sigma-1=(sk~...~s1~s0)

. In particular, since

(a~b)=(b~a)

, every two-cycle is its own inverse. Since disjoint cycles commute, the inverse of a product of disjoint cycles is the result of reversing each of the cycles separately.

Transpositions

A cycle with only two elements is called a transposition. For example, the permutation

\pi=\begin{pmatrix}1&2&3&4\ 1&4&3&2\end{pmatrix}

that swaps 2 and 4. Since it is a 2-cycle, it can be written as

\pi=(2,4)

.

Properties

Any permutation can be expressed as the composition (product) of transpositions—formally, they are generators for the group. In fact, when the set being permuted is for some integer, then any permutation can be expressed as a product of

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

and so on. This follows because an arbitrary transposition can be expressed as the product of adjacent transpositions. Concretely, one can express the transposition

(k~~l)

where

k<l

by moving to one step at a time, then moving back to where was, which interchanges these two and makes no other changes:

(k~~l)=(k~~k+1)(k+1~~k+2)(l-1~~l)(l-2~~l-1)(k~~k+1).

The decomposition of a permutation into a product of transpositions is obtained for example by writing the permutation as a product of disjoint cycles, and then splitting iteratively each of the cycles of length 3 and longer into a product of a transposition and a cycle of length one less:

(a~b~c~d~\ldots~y~z)=(a~b)(b~c~d~\ldots~y~z).

This means the initial request is to move

a

to

b,

b

to

c,

y

to

z,

and finally

z

to

a.

Instead one may roll the elements keeping

a

where it is by executing the right factor first (as usual in operator notation, and following the convention in the article Permutation). This has moved

z

to the position of

b,

so after the first permutation, the elements

a

and

z

are not yet at their final positions. The transposition

(a~b),

executed thereafter, then addresses

z

by the index of

b

to swap what initially were

a

and

z.

In fact, the symmetric group is a Coxeter group, meaning that it is generated by elements of order 2 (the adjacent transpositions), and all relations are of a certain form.

One of the main results on symmetric groups states that either all of the decompositions of a given permutation into transpositions have an even number of transpositions, or they all have an odd number of transpositions. This permits the parity of a permutation to be a well-defined concept.

See also

References

Sources

External links

Notes and References

  1. Book: Gross, Jonathan L. . Combinatorial methods with computer applications . 2008 . Chapman & Hall/CRC . 978-1-58488-743-0 . Discrete mathematics and its applications . Boca Raton, Fla. . 29.
  2. Book: Knuth, Donald E. . The Art of Computer Programming . Addison-Wesley . 2002 . 35.
  3. Book: Bogart, Kenneth P. . Introductory combinatorics . 2000 . Harcourt Academic Press . 978-0-12-110830-4 . 3 . London . 554.
  4. Book: Rosen, Kenneth H. . Handbook of discrete and combinatorial mathematics . 2000 . CRC press . 978-0-8493-0149-0 . Boca Raton London New York.
  5. Book: Ehrlich, Gertrude. Fundamental Concepts of Abstract Algebra. Dover Books on Mathematics. Courier Corporation. 2013. 9780486291864. 69.