Cyclic permutation
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.[3][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 {1, 3} and {2, 4}.
The set of elements that are not fixed by a cyclic permutation is called the
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
There is not widespread consensus about the precise definition of a cyclic permutation. Some authors define a permutation σ of a set X to be cyclic if "successive application would take each object of the permuted set successively through the positions of all the other objects",[1] or, equivalently, if its representation in cycle notation consists of a single cycle.[2] Others provide a more permissive definition which allows fixed points.[3][4]
A nonempty subset S of X is a cycle of if the restriction of to S is a cyclic permutation of S. If X is
For example, the permutation, written in
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.
With the enlarged definition, there are cyclic permutations that do not consist of a single cycle.
More formally, for the enlarged definition, a permutation of a set X, viewed as a bijective function , is called a cycle if the action on X of the subgroup generated by has at most one orbit with more than a single element.[5] This notion is most commonly used when X is a finite set; then the largest orbit, S, is also finite. Let be any element of S, and put for any . If S is finite, there is a minimal number for which . Then , and is the permutation defined by
- for 0 ≤ i < k
and for any element of . The elements not fixed by can be pictured as
- .
A cyclic permutation can be written using the compact
The orbit of a 1-cycle is called a fixed point of the permutation, but as a permutation every 1-cycle is the
Basic properties
One of the basic results on
The number of k-cycles in the symmetric group Sn is given, for , by the following equivalent formulas:
A k-cycle has
The inverse of a cycle is given by reversing the order of the entries: . In particular, since , 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 that swaps 2 and 4. Since it is a 2-cycle, it can be written as .
Properties
Any permutation can be expressed as the composition (product) of transpositions—formally, they are generators for the group.[9] In fact, when the set being permuted is {1, 2, ..., n} for some integer n, then any permutation can be expressed as a product of adjacent transpositions and so on. This follows because an arbitrary transposition can be expressed as the product of adjacent transpositions. Concretely, one can express the transposition where by moving k to l one step at a time, then moving l back to where k was, which interchanges these two and makes no other changes:
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:
This means the initial request is to move to to to and finally to Instead one may roll the elements keeping 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 to the position of so after the first permutation, the elements and are not yet at their final positions. The transposition executed thereafter, then addresses by the index of to swap what initially were and
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.
See also
- Cycle sort – a sorting algorithm that is based on the idea that the permutation to be sorted can be factored into cycles, which can individually be rotated to give a sorted result
- Cycles and fixed points
- Cyclic permutation of integer
- Cycle notation
- Circular permutation in proteins
- Fisher–Yates shuffle
Notes
- ^ Note that the cycle notation is not unique: each k-cycle can itself be written in k different ways, depending on the choice of in its orbit.
References
- ^ ISBN 978-1-58488-743-0.
- ^ a b Knuth, Donald E. (2002). The Art of Computer Programming. Addison-Wesley. p. 35.
- ^ ISBN 978-0-12-110830-4.
- ^ ISBN 978-0-8493-0149-0.
- ^ Fraleigh 1993, p. 103
- ^ Rotman 2006, p. 108
- ^ Sagan 1991, p. 2
- ^ Rotman 2006, p. 117, 121
- ^ Rotman 2006, p. 118, Prop. 2.35
- ^ Rotman 2006, p. 122
Sources
- Anderson, Marlow and Feil, Todd (2005), A First Course in Abstract Algebra, Chapman & Hall/CRC; 2nd edition. ISBN 1-58488-515-7.
- Fraleigh, John (1993), A first course in abstract algebra (5th ed.), Addison Wesley, ISBN 978-0-201-53467-2
- Rotman, Joseph J. (2006), A First Course in Abstract Algebra with Applications (3rd ed.), Prentice-Hall, ISBN 978-0-13-186267-8
- Sagan, Bruce E. (1991), The Symmetric Group / Representations, Combinatorial Algorithms & Symmetric Functions, Wadsworth & Brooks/Cole, ISBN 978-0-534-15540-7
External links
- Cycle Notation of Permutations, video explains cyclic decomposition.
This article incorporates material from cycle on