Groupprops, The Group Properties Wiki (pre-alpha)
Take a short survey about Math Resources on the Internet.

From Groupprops

This article describes a basic fact about permutations, or about the symmetric group or alternating group.
View a complete list of basic facts about permutations

Contents 1 Definition 1.1 For a finite set 1.2 For an arbitrary set 2 Definitions used 2.1 Cycle type 2.2 Conjugacy class 3 Related facts 4 Proof 4.1 Conjugate implies same cycle type 4.2 Same cycle type implies conjugate

Definition

For a finite set

For two permutations on a finite set, the following are equivalent:

1. The two permutations have the same cycle type
2. The two permutations are conjugate in the symmetric group; in other words, they are in the same conjugacy class

A cycle type on a set of size n is described by an unordered integer partition of n, where the parts are the sizes of the individual cycles. Thus, the set of conjugacy classes in the symmetric group on n letters is in bijection with the set of unordered integer partitions of n.

For an arbitrary set

Consider two finitary permutations on a set. By finitary permutation, we mean that the permutation fixes all but finitely many elements. Then the following are equivalent:

1. The two permutations have the same cycle type
2. The two permutations are conjugate in the finitary symmetric group; in other words, they are in the same conjugacy class in this group

Definitions used

Cycle type

Further information: Cycle type of a permutation

The cycle type of a permutation gives numerical information coded in its cycle decomposition. More precisely, it specifies how many cycles there are of each size. The cycle type is typically described as a sequence , where i_j denotes the number of cycles of size j in the cycle decomposition. Note that for a permutation on an infinite set, this also includes , the number of cycles of infinite length.

When we're working with finitary permutations on an infinite set, then i₁ is infinite, but all the other i_js are finite, and there are only finitely many of them that are nonzero.

Conjugacy class

Further information: Conjugacy class, Conjugate elements

Related facts

• Finitary symmetric group is conjugacy-closed in symmetric group
• Splitting criterion for conjugacy classes in the alternating group

Proof

The key idea here is that conjugation by an element of the symmetric group is tantamount to a relabeling of the elements that are being permuted. Thus, if a permutation α sends x to y, then conjugating α by σ gives a permutation that sends σ(x) to σ(y). That's because:

(σασ ^{− 1})(σ(x)) = σ(α(x)) = σ(y)

Conjugate implies same cycle type

Conjugation by σ sends each constituent cycle of the permutation to an equivalent cycle, where all the elements of the cycle are replaced by their images under σ. In other words:

Thus, the lengths of the cycles in the cycle decomposition remain unaffected, so the number of cycles of each length remains unaffected.

Same cycle type implies conjugate

The outline for the case of a finite set:

1. Construct a bijection between cycles in the first permutation and cycles in the second, such that the bijection matches cycles of the same size. Note that such a bijection is not necessarily unique.
2. For a pair of cycles and , define σ(a_i) = b_i. Note that since we can write a cycle to begin with any element, the choice of σ is not necessarily unique.

Then, a σ chosen in this way conjugates the first permutation to the second permutation.

For the case of an infinite set, we can restrict our attention to the union of the finite subsets of elements moved by the two permutations, and construct σ as above, on those two subsets. Such a σ is clearly finitary, and conjugates the first permutation to the second.