# Element structure of alternating groups

This article discusses the element structure of the alternating group of finite degree . Note that for , the alternating group coincides with the symmetric group, and for , it is trivial, so the interesting behavior begins from .

The article builds heavily on the element structure of symmetric groups. In particular, we use the fact that cycle type determines conjugacy class in the symmetric group . is viewed naturally as the subgroup of comprising even permutations.

## Contents

## Particular cases

## Basic facts

### Condition for a permutation to be even

`Further information: even permutation`

A permutation is an even permutation, i.e., a member of the alternating group, if and only if the number of cycles of even length (which are thus *odd cycles*) in its cycle decomposition is even. Thus, we can count the number of occurrences of even numbers in the cycle type of a permutation to determine whether the permutation is even. If a permutation is not even, it is odd.

Note that any conjugacy class in is either contained completely in (which means all the permutations are even) or it is contained completely outside (which means all the permutations are odd). This is another way of saying that is a normal subgroup of ; it is in fact a subgroup of index two and index two implies normal. It is also the kernel of the sign homomorphism that sends even permutations to and odd permutations to .

### Condition for a conjugacy class to split from to

`Further information: splitting criterion for conjugacy classes in the alternating group`

For a conjugacy class of even permutations in , the conjugacy class is contained inside . There are two possibilities:

- It remains a single conjugacy class inside (the
*unsplit*case): This happens if it is centralized by some odd permutation. In terms of cycle type, this is equivalent to saying that it either contains a cycle of even length or it contains two cycles of equal odd length. - It splits into two conjugacy classes inside (the
*split*case): This happens if its centralizer in is completely contained in . In terms of cycle type, this is equivalent to saying that all its cycles have distinct odd length.

Note that when a conjugacy class splits, the two split halves are still *automorphic* to each other in . The conjugation by an odd permutation in restricts to an outer automorphism on the normal subgroup .

### Condition for a split conjugacy class in to be real

`Further information: criterion for element of alternating group to be real`

Any element whose conjugacy class is unsplit from , is a real element, and in fact a rational element of .

For an element whose conjugacy class is split from , the criterion to determine whether it is real or not is as follows: if are the distinct odd cycle lengths of the permutation, it is real if and only if is even. In other words, the number of s that are congruent to modulo should be even.

## Combinatorics

### Split conjugacy classes

We have canonical bijections:

Conjugacy classes from that split in Partitions of into distinct odd parts (via splitting criterion) Self-conjugate unordered integer partitions of Irreducible representations of that split in

For more on these bijections, see set of self-conjugate unordered integer partitions

For this page, we will denote this number by .

### Non-split conjugacy classes

We have equalities:

Number of conjugacy classes of even permutations in that don't split in = Number of conjugacy classes of odd permutations in = Number of (conjugate) pairs of non-self-conjugate partitions of = Number of pairs (in the sense of restricting to the same thing on ) of irreducible representations of that don't split in .

For this page, we will denote this number by .

### Totals

If equals the number of conjugacy classes from that split in , and equals the number that don't, then:

- The number of conjugacy classes in is
- The number of conjugacy classes in is

## Numerical information in particular cases

### Number of equivalence classes of various kinds

Alternating group | Order | number of conjugacy classes from that split in | number of conjugacy classes from that don't split in | number of conjugacy classes in | number of conjugacy classes in | number of conjugacy classes from which, even after splitting, remain real | number of conjugacy classes of real elements in | number of equivalence classes under real conjugacy in | |
---|---|---|---|---|---|---|---|---|---|

3 | cyclic group:Z3 | 3 | 1 | 1 | 3 | 3 | 0 | 1 | 2 |

4 | alternating group:A4 | 12 | 1 | 2 | 4 | 5 | 0 | 2 | 3 |

5 | alternating group:A5 | 60 | 1 | 3 | 5 | 7 | 1 | 5 | 5 |

6 | alternating group:A6 | 360 | 1 | 5 | 7 | 11 | 1 | 7 | 7 |

7 | alternating group:A7 | 2520 | 1 | 7 | 9 | 15 | 0 | 7 | 8 |

8 | alternating group:A8 | 20160 | 2 | 10 | 14 | 22 | 0 | 10 | 12 |

9 | alternating group:A9 | 181440 | 2 | 14 | 18 | 30 | 1 | 16 | 17 |

10 | alternating group:A10 | 1814400 | 2 | 20 | 24 | 42 | 2 | 24 | 24 |