Splitting criterion for conjugacy classes in the alternating group

From Groupprops
Revision as of 20:15, 22 August 2008 by Vipul (talk | contribs) (New page: ==Statement== Suppose <math>n</math> is a natural number. Let <math>S_n</math> be the symmetric group on <math>n</math> letters, and <math>A_n</math> be the alternating group: the...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statement

Suppose n is a natural number. Let Sn be the symmetric group on n letters, and An be the alternating group: the subgroup of even permutations. Then, given a conjugacy class in Sn of even permutations (i.e., a conjugacy class that lies completely inside An), the following two possibilities hold:

  • This conjugacy class is equal to a single conjugacy class in An.
  • This conjugacy class splits into two conjugacy classes in An.

The criterion that determines the fate of a conjugacy class (i.e., whether or not it splits) is termed the splitting criterion, and this criterion can be formulated both in the language of centralizers and the language of cycle decompositions.

In terms of centralizers

The conjugacy class of an element gAn:

  • splits if the centralizer CSn(g) of g in Sn is contained in An, i.e., if any permutation that commutes with g is even; and
  • does not split if the centralizer CSn(g) of g in Sn is not contained in An, i.e., if there exists an odd permutation that commutes with g.

In terms of cycle decompositions

The conjugacy class of an element gAn:

  • splits if the cycle decomposition of g comprises cycles of distinct odd length. Note that the fixed points are here treated as cycles of length 1, so it cannot have more than one fixed point; and
  • does not split if the cycle decomposition of g contains an even cycle or contains two cycles of the same length.