Recall that in the symmetric group , the notion of "conjugacy class" coincides with that of "has the same cycle type" (proof). It turns out to be the case that when we descend to the alternating group $A_{n}$ , the conjugacy classes nearly all remain the same; the exception is those classes in $S_{n}$ which have cycle type all odd and all distinct. Those classes split into exactly two classes in $A_{n}$ .

Proof

Conjugate implies same cycle type

This direction of the proof is identical to the same direction in the proof of the corresponding result on symmetric groups.

Converse: splitting condition

Recall before we start that an even-length cycle can only be written as the product of an odd number of transpositions, and vice versa.

The question is: is every $τ \in A_{n}$ with the same cycle type as $σ \in A_{n}$ conjugate (in $A_{n})$ to $σ$ ? If so, then the conjugacy class in $A_{n}$ of $σ$ is just the same as that of $σ$ in $S_{n}$ ; if not, then the conjugacy class in $S_{n}$ must break into two pieces in $A_{n}$ , namely ${ρ σ ρ^{- 1} : ρ even}$ and ${ρ σ ρ^{- 1} : ρ odd}$ . (Certainly these are conjugacy classes: they only contain even permutations so they are subsets of $A_{n}$ , while everything in either class is conjugate in $A_{n}$ because the definition only depends on the parity of $ρ$ .)

Let $σ = c_{1} \dots c_{k}$ , and $τ = c_{1}^{'} \dots c_{k}^{'}$ of the same cycle type: $c_{i} = (a_{i 1} \dots a_{i r_{i}})$ , $c_{i}^{'} = (b_{i 1} \dots b_{i r_{i}})$ .

Define $ρ$ to be the permutation which takes $a_{i j}$ to $b_{i j}$ , but otherwise does not move any other letter. Then $ρ σ ρ^{- 1} = τ$ , so if $ρ$ lies in $A_{n}$ then we are done: $σ$ and $τ$ are conjugate in $A_{n}$ .

That is, we may assume without loss of generality that $ρ$ is odd.

If any of the cycles is even in length

Suppose without loss of generality that $r_{1}$ , the length of the first cycle, is even. Then we can rewrite $c_{1}^{'} = (b_{11} \dots b_{1 r_{1}})$ as $(b_{12} b_{13} \dots b_{1 r_{1}} b_{11})$ , which is the same cycle expressed slightly differently.

Now $c_{1}^{'}$ is even in length, so it is an odd permutation (being a product of an odd number of transpositions, $(b_{1 r_{1}} b_{11}) (b_{1 (r_{1} - 1)} b_{11}) \dots (b_{13} b_{11}) (b_{12} b_{11})$ ). Hence $ρ c_{1}^{'}$ is an even permutation.

But conjugating $τ$ by $ρ c_{1}^{'}$ yields $σ$ : $σ = ρ τ ρ^{- 1} = ρ c_{1}^{'} (c_{1}^{' - 1} τ c_{1}^{'}) c_{1}^{' - 1} ρ^{- 1}$ which is the result of conjugating $c_{1}^{' - 1} τ c_{1}^{'} = τ$ by $ρ c_{1}^{'}$ .

(It is the case that $c_{1}^{' - 1} τ c_{1}^{'} = τ$ , because $c_{1}^{'}$ commutes with all of $τ$ except with the first cycle $c_{1}^{'}$ , so the expression is $c_{1}^{' - 1} c_{1}^{'} c_{1}^{'} c_{2}^{'} \dots c_{k}^{'}$ , where we have pulled the final $c_{1}^{'}$ through to the beginning of the expression $τ = c_{1}^{'} c_{2}^{'} \dots c_{k}^{'}$ .)

Example

Suppose $σ = (12) (3456), τ = (23) (1467)$ .

We have that $τ$ is taken to $σ$ by conjugating with $ρ = (67) (56) (31) (23) (12)$ , which is an odd permutation so isn't in $A_{n}$ . But we can rewrite $τ = (32) (1467)$ , and the new permutation we'll conjugate with is $ρ c_{1}^{'} = (67) (56) (31) (23) (12) (32)$ , where we have appended $c_{1}^{'} = (23) = (32)$ . It is the case that $ρ$ is an even permutation and hence is in $A_{n}$ , because it is the result of multiplying the odd permutation $ρ$ by the odd permutation $c_{1}^{'}$ .

Now the conjugation is the composition of two conjugations: first by $(32)$ , to yield $(32) τ (32)^{- 1} = (23) (1467)$ (which is $τ$ still!), and then by $ρ$ . But we constructed $ρ$ so as to take $τ$ to $σ$ on conjugation, so this works just as we needed.

If all the cycles are of odd length, but some length is repeated

Without loss of generality, suppose $r_{1} = r_{2}$ (and label them both $r$ ), so the first two cycles are of the same length: say $σ$ 's version is $(a_{1} a_{2} \dots a_{r}) (c_{1} c_{2} \dots c_{r})$ , and $τ$ 's version is $(b_{1} b_{2} \dots b_{r}) (d_{1} d_{2} \dots d_{r})$ .

Then define $ρ^{'} = ρ (b_{1} d_{1}) (b_{2} d_{2}) \dots (b_{r} d_{r})$ . Since $r$ is odd and $ρ$ is an odd permutation, $ρ^{'}$ is an even permutation.

Now conjugating by $ρ^{'}$ is the same as first conjugating by $(b_{1} d_{1}) (b_{2} d_{2}) \dots (b_{r} d_{r})$ and then by $ρ$ .

But conjugating by $(b_{1} d_{1}) (b_{2} d_{2}) \dots (b_{r} d_{r})$ takes $τ$ to $τ$ , because it has the effect of replacing all the $b_{i}$ by $d_{i}$ and all the $d_{i}$ by $b_{i}$ , so it simply swaps the two cycles round.

Hence the conjugation of $τ$ by $ρ^{'}$ yields $σ$ , and $ρ^{'}$ is in $A_{n}$ .

Example

Suppose $σ = (123) (456), τ = (154) (237)$ .

Then conjugation of $τ$ by $ρ = (67) (35) (42) (34) (25)$ , an odd permutation, yields $σ$ .

Now, if we first perform the conjugation $(12) (53) (47)$ , we take $τ$ to itself, and then performing $ρ$ yields $σ$ . The combination of $ρ$ and $(12) (53) (47)$ is an even permutation, so it does line in $A_{n}$ .

If all the cycles are of odd length, and they are all distinct

In this case, we are required to check that the conjugacy class does split. Remember, we started out by supposing $σ$ and $τ$ have the same cycle type, and they are conjugate in $S_{n}$ by an odd permutation (so they are not obviously conjugate in $A_{n}$ ); we need to show that indeed they are not conjugate in $A_{n}$ .

Indeed, the only ways to rewrite $τ$ into $σ$ (that is, by conjugation) involve taking each individual cycle and conjugating it into the corresponding cycle in $σ$ . There is no choice about which $τ$ -cycle we take to which $σ$ -cycle, because all the cycle lengths are distinct. But the permutation $ρ$ which takes the $τ$ -cycles to the $σ$ -cycles is odd, so is not in $A_{n}$ .

Moreover, since each cycle is odd, we can't get past the problem by just cycling round the cycle (for instance, by taking the cycle $(123)$ to the cycle $(231)$ ), because that involves conjugating by the cycle itself: an even permutation, since the cycle length is odd. Composing with the even permutation can't take $ρ$ from being odd to being even.

Therefore $τ$ and $σ$ genuinely are not conjugate in $A_{n}$ , so the conjugacy class splits.

Example

Suppose $σ = (12345) (678), τ = (12345) (687)$ in $A_{8}$ .

Then conjugation of $τ$ by $ρ = (87)$ , an odd permutation, yields $σ$ . Can we do this with an even permutation instead?

Conjugating $τ$ by anything at all must keep the cycle type the same, so the thing we conjugate by must take $(12345)$ to $(12345)$ and $(687)$ to $(678)$ .

The only ways of $(12345)$ to $(12345)$ are by conjugating by some power of $(12345)$ itself; that is even. The only ways of taking $(687)$ to $(678)$ are by conjugating by $(87)$ , or by $(87)$ and then some power of $(678)$ ; all of these are odd.

Therefore the only possible ways of taking $τ$ to $σ$ involve conjugating by an odd permutation $(678)^{m} (87)$ , possibly alongside some powers of an even permutation $(12345)$ ; therefore to get from $τ$ to $σ$ requires an odd permutation, so they are in fact not conjugate in $A_{8}$ .

Example

In $A_{7}$ , the cycle types are $(7)$ , $(5, 1, 1)$ , $(4, 2, 1)$ , $(3, 2, 2)$ , $(3, 3, 1)$ , $(3, 1, 1, 1, 1)$ , $(1, 1, 1, 1, 1, 1, 1)$ , and $(2, 2, 1, 1, 1)$ . The only class which splits is the $7$ -cycles, of cycle type $(7)$ ; it splits into a pair of half-sized classes with representatives $(1234567)$ and $(12) (1234567) (12)^{- 1} = (2134567)$ .